ideal |
Syntax |
ideal(g1: RINGELEM,...,gn: RINGELEM): IDEAL ideal(L: LIST): IDEAL ideal(R: RING, L: LIST): IDEAL |
Description |
Example |
/**/ use R ::= QQ[x,y,z]; /**/ I := ideal(x-y^2, x*y-z); /**/ I; ideal(-y^2 +x, x*y -z) /**/ L := [x*y-z, x-y^2]; /**/ J := ideal(L); -- same as ideal(R, L) /**/ I = J; true /**/ ideal(R, []); ideal() |