Magma V2.19-8 Tue Aug 20 2013 16:16:49 on localhost [Seed = 3221103465] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1085 geometric_solution 4.95204109 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 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.137851179600 0.695424695680 0 3 5 5 0132 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.168907965435 3.243791640611 3 0 2 2 0132 0132 2031 1302 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 0 -1 1 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.262780673130 0.553288083591 2 1 4 0 0132 0132 3201 0132 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 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.137851179600 0.695424695680 3 4 0 4 2310 2310 0132 3201 0 0 0 0 0 1 -1 0 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 -1 0 1 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.274266052523 1.383603583698 6 1 1 6 0132 3201 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.059672124910 0.196423517043 5 6 6 5 0132 1230 3012 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 2.957775352761 1.190352502060 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), '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_0101_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_3'])})} 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_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 36763166459492565951086388638634456013529487/4615593984498791247782\ 43938658104324098045*c_0101_6^16 - 24544890458145264731049302467626720196954489000/9231187968997582495\ 5648787731620864819609*c_0101_6^14 - 38370462749813532882964221961630162682680036834/4615593984498791247\ 78243938658104324098045*c_0101_6^12 - 98402446142796698122598045993720971943339142253/4195994531362537497\ 9840358059827665827095*c_0101_6^10 + 1508306963570344808664150306141280849917478555877/46155939844987912\ 4778243938658104324098045*c_0101_6^8 - 378099424959415505808401896522008511971291101146/461559398449879124\ 778243938658104324098045*c_0101_6^6 - 4074207313767886284338421841406115856053741754/46155939844987912477\ 8243938658104324098045*c_0101_6^4 + 60455584306545732130525212274245492095248113/4195994531362537497984\ 0358059827665827095*c_0101_6^2 + 1644881980901607042982668529631240\ 533771961936/461559398449879124778243938658104324098045, c_0011_0 - 1, c_0011_4 - 3169443956674422769282760033188193135/5491486001783213858158\ 7619114587070089*c_0101_6^17 + 105803026643945436269527989402461503\ 99127/54914860017832138581587619114587070089*c_0101_6^15 + 3566316263384281931806400063478700578863/54914860017832138581587619\ 114587070089*c_0101_6^13 + 8517960861545139387999580505775992371070\ /4992260001621103507417056283144279099*c_0101_6^11 - 127598972343816564793663816412276092819508/549148600178321385815876\ 19114587070089*c_0101_6^9 + 320919135574148593046772544053846010774\ 07/54914860017832138581587619114587070089*c_0101_6^7 - 1934682323978566880668526155712867456991/54914860017832138581587619\ 114587070089*c_0101_6^5 + 25547030022769325209892342975760874901/49\ 92260001621103507417056283144279099*c_0101_6^3 - 87144779025628576881905040057429531840/5491486001783213858158761911\ 4587070089*c_0101_6, c_0011_5 + 3535445081571167131728528663162289/3067869274739225619083107\ 21310542291*c_0101_6^16 - 11801901722685313169226824404307250970/30\ 6786927473922561908310721310542291*c_0101_6^14 - 4623749161277980880674485430887846123/30678692747392256190831072131\ 0542291*c_0101_6^12 - 9509638521099104435425763467720093852/2788972\ 0679447505628028247391867481*c_0101_6^10 + 136731568047071584078549829221959689849/306786927473922561908310721\ 310542291*c_0101_6^8 - 26825961160049562816034016390676069048/30678\ 6927473922561908310721310542291*c_0101_6^6 - 681072835645794068080391877676458778/306786927473922561908310721310\ 542291*c_0101_6^4 - 51235540771031971033336199100948654/27889720679\ 447505628028247391867481*c_0101_6^2 + 50654436979139874885786810141637508/3067869274739225619083107213105\ 42291, c_0101_0 - 2850225831279852730687828473951659/3067869274739225619083107\ 21310542291*c_0101_6^16 + 9513948159476836262350245911202156129/306\ 786927473922561908310721310542291*c_0101_6^14 + 5657503045275825776356100722034903436/30678692747392256190831072131\ 0542291*c_0101_6^12 + 7725544512025739488277629897243767135/2788972\ 0679447505628028247391867481*c_0101_6^10 - 93184252078688092755452031019187695122/3067869274739225619083107213\ 10542291*c_0101_6^8 - 1722316869586725158485506979292964402/3067869\ 27473922561908310721310542291*c_0101_6^6 + 6003888008104040799089356075272284547/30678692747392256190831072131\ 0542291*c_0101_6^4 + 4457985553542953378976369214909000/27889720679\ 447505628028247391867481*c_0101_6^2 - 90946548649106181944468402702662556/3067869274739225619083107213105\ 42291, c_0101_1 + 19233590045633658912215416403341979/306786927473922561908310\ 721310542291*c_0101_6^17 - 64207971420984957144254179967604033713/3\ 06786927473922561908310721310542291*c_0101_6^15 - 14940893753793252557570369111747279246/3067869274739225619083107213\ 10542291*c_0101_6^13 - 51264528554893309826919033758365970984/27889\ 720679447505628028247391867481*c_0101_6^11 + 834532153587443828704865271679659517513/306786927473922561908310721\ 310542291*c_0101_6^9 - 254098298294226625345399442748880376306/3067\ 86927473922561908310721310542291*c_0101_6^7 + 3031658739847297922456947570757204622/30678692747392256190831072131\ 0542291*c_0101_6^5 + 309533164672593350985567631535648336/278897206\ 79447505628028247391867481*c_0101_6^3 + 818163902882630079445815319859928117/306786927473922561908310721310\ 542291*c_0101_6, c_0101_3 + 3946063666297584618897895735895729225/5491486001783213858158\ 7619114587070089*c_0101_6^17 - 131733988400578985793795201403334874\ 56650/54914860017832138581587619114587070089*c_0101_6^15 - 2542987958922926724497402329520520723148/54914860017832138581587619\ 114587070089*c_0101_6^13 - 1050064777420217515652111956178936098765\ 0/4992260001621103507417056283144279099*c_0101_6^11 + 175895177739213377027219686181395624720002/549148600178321385815876\ 19114587070089*c_0101_6^9 - 582899730899788063686868702460055976571\ 45/54914860017832138581587619114587070089*c_0101_6^7 + 2520641157945371953281017876234009015630/54914860017832138581587619\ 114587070089*c_0101_6^5 + 27080700101776649940266925461022914165/49\ 92260001621103507417056283144279099*c_0101_6^3 + 187386832766568316761983183997243571204/549148600178321385815876191\ 14587070089*c_0101_6, c_0101_6^18 - 163573/49*c_0101_6^16 - 54478/49*c_0101_6^14 - 1443690/49*c_0101_6^12 + 1980976/49*c_0101_6^10 - 462310/49*c_0101_6^8 - 16424/49*c_0101_6^6 + 822/49*c_0101_6^4 + 2220/49*c_0101_6^2 + 41/49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB