i1 : n={1,1} o1 = {1, 1} o1 : List |
i2 : kk=ZZ/101 -- the ground field o2 = kk o2 : QuotientRing |
i3 : (S,E)=setupRings(ZZ/101,n) o3 = (S, E) o3 : Sequence |
i4 : (coefficientRing S) === (coefficientRing E) o4 = true |
i5 : trim (ideal vars S)^2 2 2 o5 = ideal (x , x x , x x , x x , x , x x , x x , 1,1 1,0 1,1 0,1 1,1 0,0 1,1 1,0 0,1 1,0 0,0 1,0 ------------------------------------------------------------------------ 2 2 x , x x , x ) 0,1 0,0 0,1 0,0 o5 : Ideal of S |
i6 : trim (ideal vars E)^2 o6 = ideal (e e , e e , e e , e e , e e , e e ) 1,0 1,1 0,1 1,1 0,0 1,1 0,1 1,0 0,0 1,0 0,0 0,1 o6 : Ideal of E |