-- -*- M2-comint -*- hash: 9807677777707125298

i1 : R = QQ[x,y];

i2 : v1 = newSimplexCell({},x);

i3 : v2 = newSimplexCell({},y);

i4 : e1 = newSimplexCell({v1,v2},x);

i5 : e2 = newSimplexCell({v1,v2},y);

i6 : f = newCell({(e1,1),(e2,-1)},x*y);

i7 : isWellDefined f

o7 = true

i8 : isWellDefined cellComplex(R,{f})

o8 = false

i9 : R = QQ[x,y];

i10 : S = ZZ[a,b];

i11 : v1 = newSimplexCell({},x);

i12 : v2 = newSimplexCell({},a);

i13 : isWellDefined cellComplex(R,{v1,v2})

o13 = false

i14 : 
