gap> G:=Image(NqEpimorphismNilpotentQuotient(FreeGroup(3),2));;
gap> R:=ResolutionNilpotentGroup(G,10);;
gap> S:=ContractedComplex(R);;
gap> C:=TensorWithIntegers(S);;
gap> List([1..10],i->IsZero(BoundaryMatrix(C,i)));
[ true, true, true, true, true, true, true, true, true, true ]
¤ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet am 2026-05-15)
¤
*© Formatika GbR, Deutschland
