The fvector of C. This is printed always when printing a complex and the faces are known.
i1 : R=QQ[x_0..x_5]; |
i2 : C=fullCyclicPolytope(3,R); |
i3 : fvector C
o3 = {1, 6, 12, 8, 1}
o3 : List
|
i4 : eulerCharacteristic C o4 = 0 |
i5 : dC=boundaryOfPolytope(C); |
i6 : fvector dC
o6 = {1, 6, 12, 8, 0}
o6 : List
|
i7 : eulerCharacteristic dC o7 = 1 |