Magma V2.19-8 Tue Aug 20 2013 16:14:26 on localhost [Seed = 4071845619] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s429 geometric_solution 4.73155119 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 2 0132 0132 0132 2310 0 0 0 0 0 0 -1 1 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 0 2 -2 -1 0 1 0 0 0 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.920674835418 0.378580918097 0 3 3 4 0132 0213 3012 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 1 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 0.720720430644 0.721569584885 0 0 2 2 3201 0132 2031 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 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.630338056509 0.166683298879 4 1 1 0 1023 1230 0213 0132 0 0 0 0 0 -1 0 1 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 -2 0 0 1 -1 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.720720430644 0.721569584885 5 3 1 5 0132 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.581605152474 0.672615758067 4 5 5 4 0132 3201 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 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.368489940498 0.489748835703 ==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_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_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_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_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' : negation(d['c_0011_3']), 'c_0011_4' : 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_0101_5']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_3']), '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' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0110_2'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_5, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 2090140217496905030/238540925168245093*c_0110_2^20 - 14190621888959810152/238540925168245093*c_0110_2^19 + 824612945630672930/238540925168245093*c_0110_2^18 + 176845168995255810436/238540925168245093*c_0110_2^17 - 304651226489324874947/238540925168245093*c_0110_2^16 - 515433204349943025504/238540925168245093*c_0110_2^15 + 95639377195279641395/14031819127543829*c_0110_2^14 + 115347765656110476059/238540925168245093*c_0110_2^13 - 3339838625467923869269/238540925168245093*c_0110_2^12 + 1389797560002240381666/238540925168245093*c_0110_2^11 + 3393777338400661490878/238540925168245093*c_0110_2^10 - 2264828678127060233563/238540925168245093*c_0110_2^9 - 1673528692382337428253/238540925168245093*c_0110_2^8 + 1537379537331365944934/238540925168245093*c_0110_2^7 + 465397313984549880/825401125149637*c_0110_2^6 - 452324557107688923306/238540925168245093*c_0110_2^5 + 215844516237027182465/238540925168245093*c_0110_2^4 + 20734868730113467067/238540925168245093*c_0110_2^3 - 54597284520185209083/238540925168245093*c_0110_2^2 + 11503793607299852693/238540925168245093*c_0110_2 - 3584843431872817645/238540925168245093, c_0011_0 - 1, c_0011_3 + 572531545123934437/238540925168245093*c_0110_2^20 - 3853373795192209414/238540925168245093*c_0110_2^19 - 25978410919236167/238540925168245093*c_0110_2^18 + 48576145507690791025/238540925168245093*c_0110_2^17 - 80373578430543718061/238540925168245093*c_0110_2^16 - 148049925267503142988/238540925168245093*c_0110_2^15 + 25731849505803497236/14031819127543829*c_0110_2^14 + 68457343046217330669/238540925168245093*c_0110_2^13 - 921799315009945322697/238540925168245093*c_0110_2^12 + 298348443175759605414/238540925168245093*c_0110_2^11 + 984758422797866694814/238540925168245093*c_0110_2^10 - 523393281287950467158/238540925168245093*c_0110_2^9 - 551467726163962445043/238540925168245093*c_0110_2^8 + 358781050245600705226/238540925168245093*c_0110_2^7 + 388256276288111559/825401125149637*c_0110_2^6 - 107194270218248008529/238540925168245093*c_0110_2^5 + 30125825147445933902/238540925168245093*c_0110_2^4 + 9506636680710035195/238540925168245093*c_0110_2^3 - 12082582928332275623/238540925168245093*c_0110_2^2 - 170137837910592466/238540925168245093*c_0110_2 - 562506196721758912/238540925168245093, c_0101_0 + 195087964555669157/238540925168245093*c_0110_2^20 - 1403074318712255364/238540925168245093*c_0110_2^19 + 592018248776439074/238540925168245093*c_0110_2^18 + 16530722404796964185/238540925168245093*c_0110_2^17 - 34628531284269829565/238540925168245093*c_0110_2^16 - 38228608088002762003/238540925168245093*c_0110_2^15 + 9896027963743393394/14031819127543829*c_0110_2^14 - 36392604672367910524/238540925168245093*c_0110_2^13 - 315500936599452660276/238540925168245093*c_0110_2^12 + 207892062913526652499/238540925168245093*c_0110_2^11 + 292603330214298819927/238540925168245093*c_0110_2^10 - 267663610601093265253/238540925168245093*c_0110_2^9 - 134460722097198767820/238540925168245093*c_0110_2^8 + 154278824204645640555/238540925168245093*c_0110_2^7 + 42665463841612525/825401125149637*c_0110_2^6 - 32679027634781978207/238540925168245093*c_0110_2^5 + 14091602406151869771/238540925168245093*c_0110_2^4 - 1442157368501192448/238540925168245093*c_0110_2^3 - 3819488206191148714/238540925168245093*c_0110_2^2 + 89725021946440831/238540925168245093*c_0110_2 - 234960433207451882/238540925168245093, c_0101_1 - 232546531378240422/238540925168245093*c_0110_2^20 + 1567458071554784859/238540925168245093*c_0110_2^19 - 51754582434914160/238540925168245093*c_0110_2^18 - 19411670048927635319/238540925168245093*c_0110_2^17 + 32783411010260811145/238540925168245093*c_0110_2^16 + 56056895764127922423/238540925168245093*c_0110_2^15 - 10081969184993586304/14031819127543829*c_0110_2^14 - 17016350829278850066/238540925168245093*c_0110_2^13 + 342502758456938370829/238540925168245093*c_0110_2^12 - 121763506501942469541/238540925168245093*c_0110_2^11 - 343943004742359905640/238540925168245093*c_0110_2^10 + 189190211100656363643/238540925168245093*c_0110_2^9 + 177104116057658931924/238540925168245093*c_0110_2^8 - 117598265343849638837/238540925168245093*c_0110_2^7 - 94174964108038899/825401125149637*c_0110_2^6 + 30283903464272409802/238540925168245093*c_0110_2^5 - 12367083383618665240/238540925168245093*c_0110_2^4 - 2063696525190126301/238540925168245093*c_0110_2^3 + 3167679494224571407/238540925168245093*c_0110_2^2 + 155215495903886432/238540925168245093*c_0110_2 + 433628889723914250/238540925168245093, c_0101_5 - 110735536650872871/14031819127543829*c_0110_2^20 + 750010957381848333/14031819127543829*c_0110_2^19 - 19351779851280762/14031819127543829*c_0110_2^18 - 9436906582296057141/14031819127543829*c_0110_2^17 + 15897166666699666225/14031819127543829*c_0110_2^16 + 28559996599042983242/14031819127543829*c_0110_2^15 - 5071998286559640803/825401125149637*c_0110_2^14 - 12135203579460956871/14031819127543829*c_0110_2^13 + 182116266702240047305/14031819127543829*c_0110_2^12 - 60749012095528358413/14031819127543829*c_0110_2^11 - 196099593926219885019/14031819127543829*c_0110_2^10 + 105387071875203149247/14031819127543829*c_0110_2^9 + 111419544456083071738/14031819127543829*c_0110_2^8 - 72211947340819059948/14031819127543829*c_0110_2^7 - 1376290248982215531/825401125149637*c_0110_2^6 + 21476492798385817947/14031819127543829*c_0110_2^5 - 6177092374646409604/14031819127543829*c_0110_2^4 - 1981863428367394440/14031819127543829*c_0110_2^3 + 2606859490925800400/14031819127543829*c_0110_2^2 + 76677739560558090/14031819127543829*c_0110_2 + 150319608595505756/14031819127543829, c_0110_2^21 - 6*c_0110_2^20 - 5*c_0110_2^19 + 85*c_0110_2^18 - 78*c_0110_2^17 - 364*c_0110_2^16 + 575*c_0110_2^15 + 692*c_0110_2^14 - 1530*c_0110_2^13 - 690*c_0110_2^12 + 2124*c_0110_2^11 + 391*c_0110_2^10 - 1659*c_0110_2^9 - 117*c_0110_2^8 + 666*c_0110_2^7 - 28*c_0110_2^6 - 83*c_0110_2^5 + 56*c_0110_2^4 - 9*c_0110_2^3 - 17*c_0110_2^2 - 2*c_0110_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB