QuotientBasis -- vector space basis for zero-dimensional quotient rings |
Syntax |
QuotientBasis(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); /**/ QB := QuotientBasis(I); /**/ QB; -- power-products underneath the reduced GBasis of I [1, z, y, y*z, y^2, y^3, x, x*y] |
See Also |