CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418346
gap> START_TEST("HAP library");
gap> 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] ] ];;
gap> G:=AffineCrystGroupOnLeft(gens);;
gap> G:=StandardAffineCrystGroup(G);;
gap> G:=Image(IsomorphismPcpGroup(G));;
gap> E_G:=Resolution(G,4);;
gap> C:=HomToIntegers(E_G);;
gap> Cohomology(C,1);
[ 0 ]
gap> Cohomology(C,2);
[ 0 ]
gap> Cohomology(C,3);
[ 0 ]
gap> CupProduct(E_G,1,2,[1],[1]);
[ -1 ]
gap> STOP_TEST( "tst.tst", 1000 );