Magma V2.19-8 Tue Aug 20 2013 16:19:02 on localhost [Seed = 2378961126] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3189 geometric_solution 6.33742916 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.593153484252 1.044995724195 0 4 0 3 0132 0132 0321 2310 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.517267602982 0.588424084111 3 0 5 5 1302 0132 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.355056823025 0.594660611931 1 2 0 4 3201 2031 0132 3120 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.347625388048 1.003748779649 3 1 6 6 3120 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.208824986546 1.615733275829 2 6 2 6 2310 3120 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.168349454997 0.888575322913 4 5 5 4 3201 3120 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.021867597126 0.744741305200 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : negation(d['c_0101_4']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_0011_5']), 'c_1010_0' : negation(d['c_0101_5'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0011_6, c_0101_0, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 17185757401562402532432/31624588004610279695*c_0101_5^13 - 36417251126586503344064/94873764013830839085*c_0101_5^12 + 809740904282951728458508/94873764013830839085*c_0101_5^11 + 183838472640767927152376/6324917600922055939*c_0101_5^10 + 3046076106277105276348246/94873764013830839085*c_0101_5^9 + 346627557796908407381782/31624588004610279695*c_0101_5^8 - 3395528801640725187459029/379495056055323356340*c_0101_5^7 - 1681481731961756520943613/126498352018441118780*c_0101_5^6 - 355183708643662696031851/94873764013830839085*c_0101_5^5 + 714380688340138646529748/94873764013830839085*c_0101_5^4 + 1113308584766155180572481/126498352018441118780*c_0101_5^3 + 1487088682965743204358041/379495056055323356340*c_0101_5^2 + 277951458425585098786541/379495056055323356340*c_0101_5 + 10351333952006635781947/189747528027661678170, c_0011_0 - 1, c_0011_3 + 67207256300355367936/6324917600922055939*c_0101_5^13 - 707707112747546112/6324917600922055939*c_0101_5^12 + 1012817036461573070400/6324917600922055939*c_0101_5^11 + 4336614655580049985280/6324917600922055939*c_0101_5^10 + 6322465438935175114384/6324917600922055939*c_0101_5^9 + 3604833598063513197184/6324917600922055939*c_0101_5^8 - 641732416284430352808/6324917600922055939*c_0101_5^7 - 2470415749909948434880/6324917600922055939*c_0101_5^6 - 1391280945236744539599/6324917600922055939*c_0101_5^5 + 807593611164955076937/6324917600922055939*c_0101_5^4 + 1735682544502786874130/6324917600922055939*c_0101_5^3 + 1061168647320818584248/6324917600922055939*c_0101_5^2 + 281291908597822997204/6324917600922055939*c_0101_5 + 26845402550620587413/6324917600922055939, c_0011_5 + 73664483868321180416/6324917600922055939*c_0101_5^13 - 21991031242770992320/6324917600922055939*c_0101_5^12 + 1121627747043114107136/6324917600922055939*c_0101_5^11 + 4429096753745298650576/6324917600922055939*c_0101_5^10 + 5728738251340867300112/6324917600922055939*c_0101_5^9 + 2625622452407600818168/6324917600922055939*c_0101_5^8 - 1107304198631566364772/6324917600922055939*c_0101_5^7 - 2314549109482484034891/6324917600922055939*c_0101_5^6 - 992189921350522405360/6324917600922055939*c_0101_5^5 + 1027801537442403996170/6324917600922055939*c_0101_5^4 + 1576576800510305052511/6324917600922055939*c_0101_5^3 + 813279226684049584253/6324917600922055939*c_0101_5^2 + 168517603777003342588/6324917600922055939*c_0101_5 + 7701145087497022179/6324917600922055939, c_0011_6 - 23963835058838880672/6324917600922055939*c_0101_5^13 - 12672492813300129536/6324917600922055939*c_0101_5^12 - 373093104493656271112/6324917600922055939*c_0101_5^11 - 1712968358653864089104/6324917600922055939*c_0101_5^10 - 3308538750996836959284/6324917600922055939*c_0101_5^9 - 2816787419756130046300/6324917600922055939*c_0101_5^8 - 817620783167072673809/12649835201844111878*c_0101_5^7 + 2491998094875997893433/12649835201844111878*c_0101_5^6 + 1109931658804547924597/6324917600922055939*c_0101_5^5 - 18920277410973163689/6324917600922055939*c_0101_5^4 - 1828816233771747287483/12649835201844111878*c_0101_5^3 - 1612517872661560211211/12649835201844111878*c_0101_5^2 - 551014021174273089787/12649835201844111878*c_0101_5 - 28375939631967830291/6324917600922055939, c_0101_0 + 66762752211934608160/6324917600922055939*c_0101_5^13 - 34791172108753576832/6324917600922055939*c_0101_5^12 + 1032706129907222228520/6324917600922055939*c_0101_5^11 + 3774727497921212612400/6324917600922055939*c_0101_5^10 + 4491143782864003394804/6324917600922055939*c_0101_5^9 + 1765605531977535254108/6324917600922055939*c_0101_5^8 - 2021105706844284709667/12649835201844111878*c_0101_5^7 - 3523180825758373088137/12649835201844111878*c_0101_5^6 - 643175361059002167654/6324917600922055939*c_0101_5^5 + 909395773112561244974/6324917600922055939*c_0101_5^4 + 2387874652405754497101/12649835201844111878*c_0101_5^3 + 1136889204910222252219/12649835201844111878*c_0101_5^2 + 266706285169467879461/12649835201844111878*c_0101_5 + 17779944874619707587/6324917600922055939, c_0101_4 - 30843945532999622240/6324917600922055939*c_0101_5^13 + 7036511314644099904/6324917600922055939*c_0101_5^12 - 485109536382200933432/6324917600922055939*c_0101_5^11 - 1865321097413361497504/6324917600922055939*c_0101_5^10 - 2795445008917818987772/6324917600922055939*c_0101_5^9 - 1953396518199114241596/6324917600922055939*c_0101_5^8 - 149130174231446382703/12649835201844111878*c_0101_5^7 + 2167953002788537253185/12649835201844111878*c_0101_5^6 + 760592958250528826837/6324917600922055939*c_0101_5^5 - 201017479664692652924/6324917600922055939*c_0101_5^4 - 1501881472778847701827/12649835201844111878*c_0101_5^3 - 1189972516336142837867/12649835201844111878*c_0101_5^2 - 404373138795475697347/12649835201844111878*c_0101_5 - 17729187269282585907/6324917600922055939, c_0101_5^14 + 61/4*c_0101_5^12 + 129/2*c_0101_5^11 + 781/8*c_0101_5^10 + 507/8*c_0101_5^9 - 91/64*c_0101_5^8 - 2309/64*c_0101_5^7 - 391/16*c_0101_5^6 + 69/8*c_0101_5^5 + 1657/64*c_0101_5^4 + 1191/64*c_0101_5^3 + 403/64*c_0101_5^2 + 31/32*c_0101_5 + 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB