localA1Degree -- computes a local A1-Brouwer degree of a list of n polynomials in n variables over a field k at a prime ideal in the zero locus
localA1Degree(List,Ideal) -- computes a local A1-Brouwer degree of a list of n polynomials in n variables over a field k at a prime ideal in the zero locus
localAlgebraBasis -- produces a basis for a local finitely generated algebra over a field k