QuotientBasisSorted -- vector space basis for zero-dimensional quotient rings |
Syntax |
QuotientBasisSorted(I: IDEAL): LIST |
Description |
Example |
/**/ use P ::= QQ[x,y,z]; /**/ I := intersection(ideal(x,y,z)^2, ideal(x-1, y+1, z)^2); /**/ QBS := QuotientBasisSorted(I); QBS; [1, z, y, x, y*z, y^2, x*y, y^3] /**/ QB := QuotientBasis(I); QB; [1, z, y, y*z, y^2, y^3, x, x*y] |
See Also |