Magma V2.19-8 Tue Aug 20 2013 16:16:06 on localhost [Seed = 593674222] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0356 geometric_solution 4.38134335 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 1230 3012 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.521587049280 0.029260198186 0 2 0 2 0132 0132 2310 1023 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 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.567202072723 0.077955671423 3 1 3 1 0132 0132 2310 1023 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 -1 0 1 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.244499575723 1.247875799950 2 2 5 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 1 0 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 -1 1 0 1 0 0 -1 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.603012144516 1.780816649406 6 6 3 5 0132 2310 0132 3012 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 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.400162142991 0.781866318416 6 6 4 3 1023 3201 1230 0132 0 0 0 0 0 -1 1 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 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.400162142991 0.781866318416 4 5 5 4 0132 1023 2310 3201 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.518717871905 1.013509248455 ==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' : negation(d['1']), 's_2_0' : negation(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' : negation(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' : negation(d['1']), 's_0_4' : negation(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_4']), 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_6'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_0'])})} 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t - 32/3, c_0011_0 - 1, c_0011_4 + 1, c_0101_0 + c_0101_2, c_0101_1 - 1/2, c_0101_2^2 - 3/4, c_0101_3 + 1/2, c_0101_6 + 1/2 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 398733873919503436174/2972505504906962599*c_0101_6^14 - 38392594363854135184859/14862527524534812995*c_0101_6^13 + 321615463775543614680678/14862527524534812995*c_0101_6^12 - 2877695589858994611341401/29725055049069625990*c_0101_6^11 + 6247083721653185995006139/29725055049069625990*c_0101_6^10 - 662522119622411565637931/2972505504906962599*c_0101_6^9 + 594408254630278399771798/14862527524534812995*c_0101_6^8 + 2494538409942435781907798/14862527524534812995*c_0101_6^7 - 5374474910193109903029141/29725055049069625990*c_0101_6^6 + 2159561092000508934558963/29725055049069625990*c_0101_6^5 + 19492468703475167352003/2972505504906962599*c_0101_6^4 - 325059788905205336227494/14862527524534812995*c_0101_6^3 + 31341740692271290771453/2972505504906962599*c_0101_6^2 - 79269234602240228001889/29725055049069625990*c_0101_6 + 8393828975796819977131/29725055049069625990, c_0011_0 - 1, c_0011_4 + 4318037870918776012/2972505504906962599*c_0101_6^14 - 82713662674392907694/2972505504906962599*c_0101_6^13 + 688293538053489224552/2972505504906962599*c_0101_6^12 - 3048840967532653838855/2972505504906962599*c_0101_6^11 + 6475148845275990080656/2972505504906962599*c_0101_6^10 - 6599392009842339729245/2972505504906962599*c_0101_6^9 + 764416852629320425597/2972505504906962599*c_0101_6^8 + 5374391604686998112769/2972505504906962599*c_0101_6^7 - 5326718402849506033863/2972505504906962599*c_0101_6^6 + 1935262110184633910948/2972505504906962599*c_0101_6^5 + 333972001154658610027/2972505504906962599*c_0101_6^4 - 666832850730506803952/2972505504906962599*c_0101_6^3 + 295007157599130402165/2972505504906962599*c_0101_6^2 - 66407441826170333926/2972505504906962599*c_0101_6 + 4022160100763142153/2972505504906962599, c_0101_0 + 24872165792093705099/2972505504906962599*c_0101_2*c_0101_6^1\ 4 - 955905833322525502295/5945011009813925198*c_0101_2*c_0101_6^13 + 7986249646687646266987/5945011009813925198*c_0101_2*c_0101_6^12 - 17793047541998824254545/2972505504906962599*c_0101_2*c_0101_6^11 + 76570287301993087286777/5945011009813925198*c_0101_2*c_0101_6^10 - 39934032969043180229324/2972505504906962599*c_0101_2*c_0101_6^9 + 6040101557868300401474/2972505504906962599*c_0101_2*c_0101_6^8 + 62519967922068303839769/5945011009813925198*c_0101_2*c_0101_6^7 - 64858002756006614631551/5945011009813925198*c_0101_2*c_0101_6^6 + 12359188052271017478895/2972505504906962599*c_0101_2*c_0101_6^5 + 3366311100513656854167/5945011009813925198*c_0101_2*c_0101_6^4 - 7972378283495970461733/5945011009813925198*c_0101_2*c_0101_6^3 + 3615929649580754663225/5945011009813925198*c_0101_2*c_0101_6^2 - 841954703191894958221/5945011009813925198*c_0101_2*c_0101_6 + 45350089528381312357/2972505504906962599*c_0101_2, c_0101_1 - 9669392167259694589/2972505504906962599*c_0101_6^14 + 373301213801535939481/5945011009813925198*c_0101_6^13 - 3138263564984656770793/5945011009813925198*c_0101_6^12 + 7063619731500805767077/2972505504906962599*c_0101_6^11 - 31156066071990661060733/5945011009813925198*c_0101_6^10 + 17214829355437087865592/2972505504906962599*c_0101_6^9 - 4457332034491591824324/2972505504906962599*c_0101_6^8 - 22725985834120889542399/5945011009813925198*c_0101_6^7 + 27830327477357236926691/5945011009813925198*c_0101_6^6 - 6682624751720810724630/2972505504906962599*c_0101_6^5 + 341471180311597897209/5945011009813925198*c_0101_6^4 + 3286089802414853560867/5945011009813925198*c_0101_6^3 - 1897585169771853192467/5945011009813925198*c_0101_6^2 + 538232272883477267145/5945011009813925198*c_0101_6 - 29379593316559984180/2972505504906962599, c_0101_2^2 + 3216116856358511827/2972505504906962599*c_0101_6^14 - 123353731818272959347/5945011009813925198*c_0101_6^13 + 1027953276602850366589/5945011009813925198*c_0101_6^12 - 2281558938173997197804/2972505504906962599*c_0101_6^11 + 9736819857394751118901/5945011009813925198*c_0101_6^10 - 5003333082949886244183/2972505504906962599*c_0101_6^9 + 645193415971608352602/2972505504906962599*c_0101_6^8 + 8020065309841636998179/5945011009813925198*c_0101_6^7 - 8081261832445712839971/5945011009813925198*c_0101_6^6 + 1500085875074859352034/2972505504906962599*c_0101_6^5 + 441570897001573550139/5945011009813925198*c_0101_6^4 - 990010151052881880259/5945011009813925198*c_0101_6^3 + 443605381504809274813/5945011009813925198*c_0101_6^2 - 103901720844677345253/5945011009813925198*c_0101_6 + 4022822166051368206/2972505504906962599, c_0101_3 + 3727606461183960400/2972505504906962599*c_0101_6^14 - 70960284945251940513/2972505504906962599*c_0101_6^13 + 1171213110332857080333/5945011009813925198*c_0101_6^12 - 5119835461792206774765/5945011009813925198*c_0101_6^11 + 5266850287405082287656/2972505504906962599*c_0101_6^10 - 9995218374217069556925/5945011009813925198*c_0101_6^9 - 51319637620212449054/2972505504906962599*c_0101_6^8 + 4696274146342965946491/2972505504906962599*c_0101_6^7 - 7941489335055202984991/5945011009813925198*c_0101_6^6 + 2176365394357424477605/5945011009813925198*c_0101_6^5 + 458097172695159937751/2972505504906962599*c_0101_6^4 - 1040738917773370586157/5945011009813925198*c_0101_6^3 + 342884529121411317879/5945011009813925198*c_0101_6^2 - 59185637078966233883/5945011009813925198*c_0101_6 + 692979603234680209/5945011009813925198, c_0101_6^15 - 39/2*c_0101_6^14 + 166*c_0101_6^13 - 761*c_0101_6^12 + 1743*c_0101_6^11 - 4093/2*c_0101_6^10 + 1421/2*c_0101_6^9 + 2343/2*c_0101_6^8 - 1654*c_0101_6^7 + 878*c_0101_6^6 - 88*c_0101_6^5 - 175*c_0101_6^4 + 239/2*c_0101_6^3 - 79/2*c_0101_6^2 + 7*c_0101_6 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB