| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/hap/tutorial/tutex/ (Algebra von RWTH Aachen Version 4.15.1©) Datei vom 19.6.2025 mit Größe 1017 B |
|
Quelle bianchi.13.txt Sprache: Text |
|||||||||
|
gap> OQ:=RingOfIntegers(QuadraticNumberField(-23));;
gap> I:=QuadraticIdeal(OQ,[Sqrt(-23)]); ideal of norm 23 in O(Q(Sqrt(-23))) gap> G:=HAP_CongruenceSubgroupGamma0(I); <group of 2x2 matrices in characteristic 0> gap> IndexInSL2O(G); 24 gap> K:=BianchiGcomplex(-23);; gap> R:=FreeGResolution(K,11);; gap> R:=QuadraticToCyclotomicCoefficients(R);; gap> S:=ResolutionFiniteSubgroup(R,G);; gap> List([0..10],n->Homology(TensorWithIntegers(S),n)); [ [ 0 ], [ 2, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 2, 2, 2, 2, 2, 2, 2, 2, 0, 0, 0, 0, 0, 0, 0 ], [ 2, 2, 2, 2, 2, 2, 2, 2 ], [ 2, 2, 2, 2, 2, 2, 2, 2 ], [ 2, 2, 2, 2, 2, 2, 2, 2 ], [ 2, 2, 2, 2, 2, 2, 2, 2 ], [ 2, 2, 2, 2, 2, 2, 2, 2 ], [ 2, 2, 2, 2, 2, 2, 2, 2 ], [ 2, 2, 2, 2, 2, 2, 2, 2 ], [ 2, 2, 2, 2, 2, 2, 2, 2 ] ] gap> P:=PresentationOfResolution(S);; gap> H:=SimplifiedFpGroup(P!.freeGroup/P!.relators); <fp group on the generators [ f8, f10, f15, f70, f86, f125, f132, f138, f182, f187, f191, f273, f279 ]> gap> Length(RelatorsOfFpGroup(H)); 24 ¤ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28