getLocalAlgebraBasis(L, p)
Given an endomorphism of affine space, $f=(f_1,\dots ,f_n)$, given as a list of polynomials called L and the prime ideal of an isolated zero, this command returns a list of basis elements of the local k-algebra $Q_p(f)$ by computing a normal basis for $(I:(I:p^{\infty}))$ (see [S02, Proposition 2.5]).
|
|
|
|
Citations:
The object getLocalAlgebraBasis is a method function.
The source of this document is in A1BrouwerDegrees/Documentation/ArithmeticMethodsDoc.m2:44:0.