Magma V2.19-8 Tue Aug 20 2013 16:16:15 on localhost [Seed = 1781266071] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0518 geometric_solution 4.52860865 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.286947237744 0.084058492132 0 1 0 1 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.810242062064 0.259690067395 3 0 3 0 0132 2310 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.546098553424 1.335587552564 2 2 4 5 0132 3201 0132 0132 0 0 0 0 0 -1 1 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 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.783541816247 1.402273214499 6 5 5 3 0132 2031 1230 0132 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 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.600704669902 0.680513698801 4 6 3 4 1302 3201 0132 3012 0 0 0 0 0 0 0 0 0 0 1 -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 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.600704669902 0.680513698801 4 6 5 6 0132 2310 2310 3201 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 -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.770877055729 0.423750669314 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(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' : d['c_0011_4'], 'c_1100_5' : d['c_0110_5'], 'c_1100_4' : d['c_0110_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0110_5'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : 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_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : negation(d['c_0110_5']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_0']), '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 5040572871899712/48052485702113*c_0110_5^17 + 104017923375558639/48052485702113*c_0110_5^16 - 21457501194942419/1117499667491*c_0110_5^15 + 4520495444554887363/48052485702113*c_0110_5^14 - 12888785834448253109/48052485702113*c_0110_5^13 + 19637479788401958586/48052485702113*c_0110_5^12 - 7956634792920918046/48052485702113*c_0110_5^11 - 18533727862021891668/48052485702113*c_0110_5^10 + 18774197661213544084/48052485702113*c_0110_5^9 + 9861092512406137934/48052485702113*c_0110_5^8 - 8996582728541115805/48052485702113*c_0110_5^7 - 5507623676864811/27256089451*c_0110_5^6 + 850193214832108863/48052485702113*c_0110_5^5 + 2424841865587881364/48052485702113*c_0110_5^4 + 658048467087093443/48052485702113*c_0110_5^3 - 42995205890060007/48052485702113*c_0110_5^2 - 47966491374909627/48052485702113*c_0110_5 - 345467155446728/48052485702113, c_0011_0 - 1, c_0011_2 + 12079063487546/1172011846393*c_0110_5^17 - 246101882474508/1172011846393*c_0110_5^16 + 49895849172410/27256089451*c_0110_5^15 - 10248432466055380/1172011846393*c_0110_5^14 + 28003592137035068/1172011846393*c_0110_5^13 - 38752648295056175/1172011846393*c_0110_5^12 + 6147600415870342/1172011846393*c_0110_5^11 + 50255455934059232/1172011846393*c_0110_5^10 - 33590982218804895/1172011846393*c_0110_5^9 - 36344476114100037/1172011846393*c_0110_5^8 + 16139570926855507/1172011846393*c_0110_5^7 + 684886584335665/27256089451*c_0110_5^6 + 3691812187171857/1172011846393*c_0110_5^5 - 6783370466312329/1172011846393*c_0110_5^4 - 3087460366633424/1172011846393*c_0110_5^3 - 214942478118208/1172011846393*c_0110_5^2 + 167743117910309/1172011846393*c_0110_5 + 32832109636424/1172011846393, c_0011_4 + 8420715900827/1172011846393*c_0110_5^17 - 171761153863558/1172011846393*c_0110_5^16 + 34879347197497/27256089451*c_0110_5^15 - 7181413064943275/1172011846393*c_0110_5^14 + 19705296684615300/1172011846393*c_0110_5^13 - 27542430613301295/1172011846393*c_0110_5^12 + 5086768014248792/1172011846393*c_0110_5^11 + 34745314538071145/1172011846393*c_0110_5^10 - 24266130618212109/1172011846393*c_0110_5^9 - 24530782429581577/1172011846393*c_0110_5^8 + 11756835102815296/1172011846393*c_0110_5^7 + 467786458333655/27256089451*c_0110_5^6 + 2106180926139469/1172011846393*c_0110_5^5 - 4713264377033784/1172011846393*c_0110_5^4 - 2039440758864503/1172011846393*c_0110_5^3 - 114507973164485/1172011846393*c_0110_5^2 + 117960148310406/1172011846393*c_0110_5 + 21156106153184/1172011846393, c_0101_0 - 4811889250399/1172011846393*c_0110_5^17 + 97804412002135/1172011846393*c_0110_5^16 - 19763087545871/27256089451*c_0110_5^15 + 4038692185534022/1172011846393*c_0110_5^14 - 10937250560317415/1172011846393*c_0110_5^13 + 14803517983749806/1172011846393*c_0110_5^12 - 1455834107103462/1172011846393*c_0110_5^11 - 20465849806940089/1172011846393*c_0110_5^10 + 12469979766434018/1172011846393*c_0110_5^9 + 15497075780252859/1172011846393*c_0110_5^8 - 5969225073171624/1172011846393*c_0110_5^7 - 285597545978304/27256089451*c_0110_5^6 - 1942133358194231/1172011846393*c_0110_5^5 + 2813833618958973/1172011846393*c_0110_5^4 + 1369989018264918/1172011846393*c_0110_5^3 + 105627703228424/1172011846393*c_0110_5^2 - 76639467958899/1172011846393*c_0110_5 - 15683658894501/1172011846393, c_0101_1 - 2042199656273/1172011846393*c_0110_5^17 + 42165149956800/1172011846393*c_0110_5^16 - 8702427285998/27256089451*c_0110_5^15 + 1834060709140237/1172011846393*c_0110_5^14 - 5229160875732138/1172011846393*c_0110_5^13 + 7953251161171919/1172011846393*c_0110_5^12 - 3145817917848173/1172011846393*c_0110_5^11 - 7718484964187010/1172011846393*c_0110_5^10 + 7795451389414202/1172011846393*c_0110_5^9 + 4108661543493677/1172011846393*c_0110_5^8 - 3916538221287285/1172011846393*c_0110_5^7 - 91614765784659/27256089451*c_0110_5^6 + 474812109833387/1172011846393*c_0110_5^5 + 1027079385653795/1172011846393*c_0110_5^4 + 236147847783321/1172011846393*c_0110_5^3 - 29264084019646/1172011846393*c_0110_5^2 - 18509225242816/1172011846393*c_0110_5 - 660558008284/1172011846393, c_0101_4 - 9454716554499/1172011846393*c_0110_5^17 + 192690174045633/1172011846393*c_0110_5^16 - 39082719401236/27256089451*c_0110_5^15 + 8032235980605733/1172011846393*c_0110_5^14 - 21970141497344370/1172011846393*c_0110_5^13 + 30476369418702152/1172011846393*c_0110_5^12 - 5026907365483753/1172011846393*c_0110_5^11 - 39253673355347605/1172011846393*c_0110_5^10 + 26488733806011274/1172011846393*c_0110_5^9 + 28277377107125368/1172011846393*c_0110_5^8 - 12766318851761900/1172011846393*c_0110_5^7 - 534458275994724/27256089451*c_0110_5^6 - 2760497790346096/1172011846393*c_0110_5^5 + 5321748733550137/1172011846393*c_0110_5^4 + 2391929728953408/1172011846393*c_0110_5^3 + 149662766313589/1172011846393*c_0110_5^2 - 134792546639356/1172011846393*c_0110_5 - 25129622997698/1172011846393, c_0110_5^18 - 20*c_0110_5^17 + 170*c_0110_5^16 - 782*c_0110_5^15 + 2001*c_0110_5^14 - 2341*c_0110_5^13 - 692*c_0110_5^12 + 4354*c_0110_5^11 - 1228*c_0110_5^10 - 4052*c_0110_5^9 + 217*c_0110_5^8 + 2941*c_0110_5^7 + 1213*c_0110_5^6 - 452*c_0110_5^5 - 466*c_0110_5^4 - 112*c_0110_5^3 + 8*c_0110_5^2 + 8*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB