restart R=QQ[x..y] I=ideal(x*y^2) decompose I primaryDecomposition I restart R=QQ[x..z] J=ideal(z-x^2-y^2) isPrime J degree J dim J degree(R/J) dim(R/J) restart R=QQ[x..z] I=ideal(random(4,R),random(3,R)) G=ideal groebnerBasis I ideal leadTerm(I) lm=monomialIdeal I radical lm numgens(R)-numgens radical lm dim I dim(R/I) --Bezout's Theorem degree I (first degree(I_0))*(first degree(I_1))