i1 : R = QQ[x,y] o1 = R o1 : PolynomialRing
i2 : I = ideal(x^3,y^2) 3 2 o2 = ideal (x , y ) o2 : Ideal of R
i3 : J = janetBasis I;
i4 : basisElements J o4 = | y2 xy2 x3 x2y2 | 1 4 o4 : Matrix R <--- R