The following is an example of the basic task that this package was written to accomplish.
i1 : P = fromFVector({1,6,5,1});
|
i2 : I = stanleyPosetIdeal(P);
o2 : Ideal of QQ[x , x , x , x , x , x , x , x , x , x , x , x , x ]
000 001 010 011 100 101 110 111 1 2 3 4 5
|
i3 : R = ring(I)/I; |
i4 : getFVector(P)
o4 = {1, 6, 5, 1}
o4 : List
|
i5 : isSimplicial(P) o5 = true |