-- -*- M2-comint -*- hash: 11623370513226811622

i1 : R = QQ[x,y];

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

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

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

i5 : isWellDefined v1

o5 = true

i6 : isWellDefined v2

o6 = true

i7 : isWellDefined e

o7 = false

i8 : R = QQ[x,y];

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

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

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

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

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

i14 : isWellDefined e1

o14 = false

i15 : isWellDefined e2

o15 = false

i16 : isWellDefined f

o16 = true

i17 : 
