|
#This example uses Polymake.
gens:=
[ [ [-1,0,0,0], [0,-1,0,0], [0,0,1,1/2], [0,0,0,1] ],
[ [0,-1,0,0], [1,-1,0,0], [0,0,1,1/3], [0,0,0,1] ],
[ [1,0,0,1], [0,1,0,0], [0,0,1,0], [0,0,0,1] ] ];;
G:=AffineCrystGroupOnLeft(gens);;
G:=StandardAffineCrystGroup(G);;
Y:=EquivariantEuclideanSpace(G,[0,0,0]);
Print(Y!.dimension(0),"\n");
Print(Y!.dimension(1),"\n");
Print(Y!.dimension(2),"\n");
Print(Y!.dimension(3),"\n");
C:=ChainComplexOfQuotient(Y);
Print(Homology(C,0),"\n");;
Print(Homology(C,1),"\n");;
Print(Homology(C,2),"\n");;
Print(Homology(C,3),"\n");;
[ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
]
|
