-- -*- M2-comint -*- {* hash: 1391773738 *} i1 : loadPackage "SimplicialComplexes"; i2 : R = ZZ[a..g]; i3 : bipyramid = simplicialComplex monomialIdeal( a*g, b*d, b*e, c*e, c*f, d*f) o3 = | efg bfg deg cdg bcg aef abf ade acd abc | o3 : SimplicialComplex i4 : f = fVector bipyramid o4 = HashTable{-1 => 1} 0 => 7 1 => 15 2 => 10 o4 : HashTable i5 : f#0 o5 = 7 i6 : f#1 o6 = 15 i7 : f#2 o7 = 10 i8 : void = simplicialComplex monomialIdeal 1_R o8 = 0 o8 : SimplicialComplex i9 : fVector void o9 = HashTable{-1 => 0} o9 : HashTable i10 : S = ZZ[x_1..x_4, y_1..y_4, z_1..z_4]; i11 : I = monomialIdeal(x_1*x_2*x_3*x_4, y_1*y_2*y_3*y_4, z_1*z_2*z_3*z_4, x_1*x_2*x_3*y_1*y_2*z_1, x_1*y_1*y_2*y_3*z_1*z_2, x_1*x_2*y_1*z_1*z_2*z_3); o11 : MonomialIdeal of S i12 : D = simplicialComplex I; i13 : fVector D o13 = HashTable{-1 => 1 } 0 => 12 1 => 66 2 => 220 3 => 492 4 => 768 5 => 837 6 => 609 7 => 264 8 => 51 o13 : HashTable i14 :