Magma V2.19-8 Tue Aug 20 2013 16:18:43 on localhost [Seed = 1259001400] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2882 geometric_solution 6.09476812 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 0 0 0 0 0 -1 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 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 1.740653428498 0.657434881477 2 0 0 3 0132 0132 1023 0132 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 1 0 -1 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.053326635319 0.608334285023 1 4 3 5 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 -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.517310625460 0.707321466816 2 6 1 4 2031 0132 0132 2310 0 0 0 0 0 0 1 -1 0 0 0 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 1 -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 0 0 0 0.517310625460 0.707321466816 3 2 5 6 3201 0132 1302 0213 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 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.761260440147 0.661704027130 4 6 2 6 2031 3201 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 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.556678859115 0.456421894313 5 3 5 4 3201 0132 2310 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.556678859115 0.456421894313 ==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' : negation(d['1']), 's_2_3' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), '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_0']), 'c_0011_6' : negation(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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0110_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_5'], 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : negation(d['c_0110_4']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0110_4'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : negation(d['c_0110_4']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_6, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 46695015980029885/40363578310716696*c_0110_4^20 - 160143332250524017/10090894577679174*c_0110_4^19 + 571743104176369009/10090894577679174*c_0110_4^18 - 651409987110480701/10090894577679174*c_0110_4^17 - 435262382634399531/13454526103572232*c_0110_4^16 - 142075368974212281/3363631525893058*c_0110_4^15 + 8272014717104736757/10090894577679174*c_0110_4^14 - 10541312734873690901/5766225472959528*c_0110_4^13 + 6131175543130490777/6727263051786116*c_0110_4^12 + 116195434298116394399/40363578310716696*c_0110_4^11 - 63507697213687482715/10090894577679174*c_0110_4^10 + 180797838343650607817/40363578310716696*c_0110_4^9 + 13791456696159940877/6727263051786116*c_0110_4^8 - 45098147459071919175/6727263051786116*c_0110_4^7 + 199800919669414934245/40363578310716696*c_0110_4^6 - 1883841312124678551/6727263051786116*c_0110_4^5 - 13478951066861791099/5766225472959528*c_0110_4^4 + 27476871373651190663/20181789155358348*c_0110_4^3 - 259656304809960883/20181789155358348*c_0110_4^2 - 8189798875778355947/40363578310716696*c_0110_4 + 1587204050831987411/40363578310716696, c_0011_0 - 1, c_0011_3 - 378922159645322/1681815762946529*c_0110_4^20 + 2885355001925506/1681815762946529*c_0110_4^19 - 7572961264404030/1681815762946529*c_0110_4^18 + 6208429345303534/1681815762946529*c_0110_4^17 + 2035111121537329/1681815762946529*c_0110_4^16 + 25265445559460136/1681815762946529*c_0110_4^15 - 132102907598426274/1681815762946529*c_0110_4^14 + 31600509806375720/240259394706647*c_0110_4^13 - 62847721080972099/1681815762946529*c_0110_4^12 - 352114633531659848/1681815762946529*c_0110_4^11 + 621170700449919645/1681815762946529*c_0110_4^10 - 341847964847785252/1681815762946529*c_0110_4^9 - 267675547837243726/1681815762946529*c_0110_4^8 + 561225864771965556/1681815762946529*c_0110_4^7 - 306479315961382904/1681815762946529*c_0110_4^6 - 62128078302205805/1681815762946529*c_0110_4^5 + 26631419375199849/240259394706647*c_0110_4^4 - 53544842469221930/1681815762946529*c_0110_4^3 - 17812456577766944/1681815762946529*c_0110_4^2 + 10434007216800215/1681815762946529*c_0110_4 + 355517027091249/1681815762946529, c_0011_5 + 170481390188932/1681815762946529*c_0110_4^20 - 105588469230567/1681815762946529*c_0110_4^19 - 2759159046150478/1681815762946529*c_0110_4^18 + 7796319212407715/1681815762946529*c_0110_4^17 - 2870633797674848/1681815762946529*c_0110_4^16 - 11500159147911258/1681815762946529*c_0110_4^15 - 16716120429099479/1681815762946529*c_0110_4^14 + 18949461085221763/240259394706647*c_0110_4^13 - 215210154036038150/1681815762946529*c_0110_4^12 + 43871132181639751/1681815762946529*c_0110_4^11 + 349983792165407381/1681815762946529*c_0110_4^10 - 552584508848768849/1681815762946529*c_0110_4^9 + 247271077958191526/1681815762946529*c_0110_4^8 + 286056285039432104/1681815762946529*c_0110_4^7 - 469473550379976599/1681815762946529*c_0110_4^6 + 224020416480908946/1681815762946529*c_0110_4^5 + 11939542782727219/240259394706647*c_0110_4^4 - 140480372901860079/1681815762946529*c_0110_4^3 + 33931593169429199/1681815762946529*c_0110_4^2 + 13724206822823745/1681815762946529*c_0110_4 - 6725058632665855/1681815762946529, c_0101_0 - 452876449281679/1681815762946529*c_0110_4^20 + 591005019530211/1681815762946529*c_0110_4^19 + 4313787813935118/1681815762946529*c_0110_4^18 - 11505941852347814/1681815762946529*c_0110_4^17 - 1683825668834654/1681815762946529*c_0110_4^16 + 28286199112861978/1681815762946529*c_0110_4^15 + 22105466441117973/1681815762946529*c_0110_4^14 - 29005848878728192/240259394706647*c_0110_4^13 + 286961415267664463/1681815762946529*c_0110_4^12 + 18401787778946672/1681815762946529*c_0110_4^11 - 560421350843143347/1681815762946529*c_0110_4^10 + 692642701205524967/1681815762946529*c_0110_4^9 - 130140113836791701/1681815762946529*c_0110_4^8 - 541822760469314085/1681815762946529*c_0110_4^7 + 566878434573852385/1681815762946529*c_0110_4^6 - 145517313351282121/1681815762946529*c_0110_4^5 - 31059077473575113/240259394706647*c_0110_4^4 + 149336937748043930/1681815762946529*c_0110_4^3 - 4992745438004220/1681815762946529*c_0110_4^2 - 22155197551952133/1681815762946529*c_0110_4 + 3468267057597077/1681815762946529, c_0101_1 - 3260856698720/1681815762946529*c_0110_4^20 + 624460996309/1681815762946529*c_0110_4^19 + 11056991728857/1681815762946529*c_0110_4^18 + 87555470521202/1681815762946529*c_0110_4^17 - 341539487966055/1681815762946529*c_0110_4^16 + 217803322236623/1681815762946529*c_0110_4^15 + 393163536352918/1681815762946529*c_0110_4^14 + 77867125436435/240259394706647*c_0110_4^13 - 4858154950124446/1681815762946529*c_0110_4^12 + 7567323980821501/1681815762946529*c_0110_4^11 - 1151722103431521/1681815762946529*c_0110_4^10 - 11286948561211959/1681815762946529*c_0110_4^9 + 15418306379067386/1681815762946529*c_0110_4^8 - 4968271507412111/1681815762946529*c_0110_4^7 - 7462074044160632/1681815762946529*c_0110_4^6 + 6447617145678056/1681815762946529*c_0110_4^5 - 46035692064818/240259394706647*c_0110_4^4 - 1665475102111179/1681815762946529*c_0110_4^3 - 340799958576319/1681815762946529*c_0110_4^2 + 2804960305480184/1681815762946529*c_0110_4 - 44110404547877/1681815762946529, c_0101_6 - c_0110_4, c_0110_4^21 - 5*c_0110_4^20 + 8*c_0110_4^19 - c_0110_4^17 - 63*c_0110_4^16 + 184*c_0110_4^15 - 171*c_0110_4^14 - 139*c_0110_4^13 + 533*c_0110_4^12 - 519*c_0110_4^11 - 15*c_0110_4^10 + 529*c_0110_4^9 - 480*c_0110_4^8 + 67*c_0110_4^7 + 221*c_0110_4^6 - 151*c_0110_4^5 - c_0110_4^4 + 36*c_0110_4^3 - 9*c_0110_4^2 - 2*c_0110_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB