-- -*- M2-comint -*- hash: 9410657145591864301

i1 : R = QQ[x]

o1 = R

o1 : PolynomialRing

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

i3 : b1 = newCell {a,a};

i4 : b2 = newCell {a,a};

i5 : C = cellComplex(R,{b1,b2});

i6 : complex C

      1      1      2
o6 = R  <-- R  <-- R
                    
     -1     0      1

o6 : Complex

i7 : complex(C,Reduced=>false)

      1      2
o7 = R  <-- R
             
     0      1

o7 : Complex

i8 : R = QQ[x,y,z];

i9 : I = ideal(x,y,z);

o9 : Ideal of R

i10 : vx = newSimplexCell({},x);

i11 : vy = newSimplexCell({},y);

i12 : vz = newSimplexCell({},z);

i13 : exy = newSimplexCell({vx,vy});

i14 : exz = newSimplexCell({vx,vz});

i15 : eyz = newSimplexCell({vy,vz});

i16 : f = newSimplexCell({exy,exz,eyz});

i17 : C = cellComplex(R,{f});

i18 : betti complex(C)[-1]

             0 1 2 3
o18 = total: 1 3 3 1
          0: 1 3 3 1

o18 : BettiTally

i19 : assert(betti complex(C)[-1] == betti res I);

i20 : R = QQ[x,y]

o20 = R

o20 : PolynomialRing

i21 : a = newSimplexCell({},x);

i22 : b = newSimplexCell({},y);

i23 : e = newCell {a,b};

i24 : C = cellComplex(R,{e});

i25 : complex C

       1      2      1
o25 = R  <-- R  <-- R
                     
      -1     0      1

o25 : Complex

i26 : complex(C,Prune=>false)

       1
o26 = R  <-- image | x 0 | <-- image | xy |
                   | 0 y |      
      -1                       1
             0

o26 : Complex

i27 : 
