Magma V2.19-8 Tue Aug 20 2013 16:16:09 on localhost [Seed = 2732801634] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0414 geometric_solution 4.47528144 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 2310 0 0 0 0 0 0 -1 1 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 1 0 -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 -4.052093617192 1.878579106764 0 0 3 3 0132 3201 3201 0132 0 0 0 0 0 -1 0 1 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 1 0 -1 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.297378611458 0.202603357506 0 0 2 2 3201 0132 1230 3012 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 1 0 -1 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.134257599109 0.037180011055 1 4 1 5 2310 0132 0132 0132 0 0 0 0 0 1 -1 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 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.870986969892 0.755233492167 6 3 5 5 0132 0132 3012 1230 0 0 0 0 0 -1 1 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 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.180857643296 1.252766347325 4 4 3 6 3012 1230 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.180857643296 1.252766347325 4 6 5 6 0132 2310 0132 3201 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 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.213916313847 0.812262083825 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], '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' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0110_2'])})} 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_0101_0, c_0101_1, c_0101_4, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 13594484393*c_0110_2^26 + 35052075372*c_0110_2^25 + 300263159386*c_0110_2^24 + 425665799459*c_0110_2^23 - 2267575360174*c_0110_2^22 - 7481400939272*c_0110_2^21 - 2555793383490*c_0110_2^20 + 32814259738382*c_0110_2^19 + 63332393190001*c_0110_2^18 - 98425592042045*c_0110_2^17 - 237847538662410*c_0110_2^16 + 266196794466958*c_0110_2^15 + 423659347586531*c_0110_2^14 - 541486764111003*c_0110_2^13 - 355779216261171*c_0110_2^12 + 690132705905628*c_0110_2^11 + 26165992052240*c_0110_2^10 - 487656201223328*c_0110_2^9 + 194744019735955*c_0110_2^8 + 140335377047856*c_0110_2^7 - 137223817478034*c_0110_2^6 + 20804980532195*c_0110_2^5 + 23337356476594*c_0110_2^4 - 15119692180215*c_0110_2^3 + 4132463940813*c_0110_2^2 - 568217561391*c_0110_2 + 32229418353, c_0011_0 - 1, c_0011_3 + 18*c_0110_2^26 - 53*c_0110_2^25 - 381*c_0110_2^24 - 417*c_0110_2^23 + 3218*c_0110_2^22 + 8820*c_0110_2^21 - 312*c_0110_2^20 - 44918*c_0110_2^19 - 68031*c_0110_2^18 + 162031*c_0110_2^17 + 269178*c_0110_2^16 - 470783*c_0110_2^15 - 439283*c_0110_2^14 + 930535*c_0110_2^13 + 221719*c_0110_2^12 - 1102971*c_0110_2^11 + 288861*c_0110_2^10 + 679721*c_0110_2^9 - 493420*c_0110_2^8 - 106508*c_0110_2^7 + 255747*c_0110_2^6 - 89720*c_0110_2^5 - 25065*c_0110_2^4 + 31977*c_0110_2^3 - 12078*c_0110_2^2 + 2286*c_0110_2 - 189, c_0011_5 + 170*c_0110_2^26 - 493*c_0110_2^25 - 3620*c_0110_2^24 - 4100*c_0110_2^23 + 30205*c_0110_2^22 + 84638*c_0110_2^21 + 860*c_0110_2^20 - 424078*c_0110_2^19 - 661395*c_0110_2^18 + 1500290*c_0110_2^17 + 2608137*c_0110_2^16 - 4327955*c_0110_2^15 - 4338016*c_0110_2^14 + 8588354*c_0110_2^13 + 2471316*c_0110_2^12 - 10293146*c_0110_2^11 + 2270596*c_0110_2^10 + 6504980*c_0110_2^9 - 4363459*c_0110_2^8 - 1191740*c_0110_2^7 + 2353593*c_0110_2^6 - 742489*c_0110_2^5 - 266003*c_0110_2^4 + 288126*c_0110_2^3 - 101269*c_0110_2^2 + 17595*c_0110_2 - 1286, c_0101_0 + c_0110_2^26 - 3*c_0110_2^25 - 21*c_0110_2^24 - 22*c_0110_2^23 + 180*c_0110_2^22 + 480*c_0110_2^21 - 44*c_0110_2^20 - 2493*c_0110_2^19 - 3641*c_0110_2^18 + 9204*c_0110_2^17 + 14443*c_0110_2^16 - 26957*c_0110_2^15 - 22907*c_0110_2^14 + 52969*c_0110_2^13 + 9375*c_0110_2^12 - 61797*c_0110_2^11 + 19481*c_0110_2^10 + 36680*c_0110_2^9 - 29450*c_0110_2^8 - 4281*c_0110_2^7 + 14446*c_0110_2^6 - 5787*c_0110_2^5 - 1071*c_0110_2^4 + 1836*c_0110_2^3 - 773*c_0110_2^2 + 171*c_0110_2 - 19, c_0101_1 - 44490492*c_0110_2^26 + 115676748*c_0110_2^25 + 980425338*c_0110_2^24 + 1371240084*c_0110_2^23 - 7456584933*c_0110_2^22 - 24332136304*c_0110_2^21 - 7795957118*c_0110_2^20 + 107710366871*c_0110_2^19 + 205010759544*c_0110_2^18 - 327173351062*c_0110_2^17 - 772651401382*c_0110_2^16 + 889567820910*c_0110_2^15 + 1372180715533*c_0110_2^14 - 1806068718043*c_0110_2^13 - 1134385638893*c_0110_2^12 + 2291956097853*c_0110_2^11 + 44855188404*c_0110_2^10 - 1608733009800*c_0110_2^9 + 669083731750*c_0110_2^8 + 453858056204*c_0110_2^7 - 460763872928*c_0110_2^6 + 74800859832*c_0110_2^5 + 76757179176*c_0110_2^4 - 51077332296*c_0110_2^3 + 14169835683*c_0110_2^2 - 1974082158*c_0110_2 + 113430375, c_0101_4 - 253479808*c_0110_2^26 + 660638352*c_0110_2^25 + 5583157734*c_0110_2^24 + 7774840768*c_0110_2^23 - 42564600243*c_0110_2^22 - 138427959018*c_0110_2^21 - 43353533653*c_0110_2^20 + 614839442121*c_0110_2^19 + 1164986758289*c_0110_2^18 - 1874281983391*c_0110_2^17 - 4398811327948*c_0110_2^16 + 5100985204937*c_0110_2^15 + 7814314672587*c_0110_2^14 - 10349516940448*c_0110_2^13 - 6450254104293*c_0110_2^12 + 13123883840051*c_0110_2^11 + 228180262225*c_0110_2^10 - 9206709122634*c_0110_2^9 + 3840476156279*c_0110_2^8 + 2596373419340*c_0110_2^7 - 2639394175613*c_0110_2^6 + 428017950670*c_0110_2^5 + 439822698274*c_0110_2^4 - 292234144599*c_0110_2^3 + 80923248494*c_0110_2^2 - 11247024969*c_0110_2 + 644311684, c_0110_2^27 - 3*c_0110_2^26 - 21*c_0110_2^25 - 22*c_0110_2^24 + 180*c_0110_2^23 + 480*c_0110_2^22 - 44*c_0110_2^21 - 2493*c_0110_2^20 - 3641*c_0110_2^19 + 9204*c_0110_2^18 + 14443*c_0110_2^17 - 26957*c_0110_2^16 - 22907*c_0110_2^15 + 52969*c_0110_2^14 + 9375*c_0110_2^13 - 61797*c_0110_2^12 + 19481*c_0110_2^11 + 36680*c_0110_2^10 - 29450*c_0110_2^9 - 4281*c_0110_2^8 + 14446*c_0110_2^7 - 5787*c_0110_2^6 - 1071*c_0110_2^5 + 1836*c_0110_2^4 - 773*c_0110_2^3 + 170*c_0110_2^2 - 20*c_0110_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB