Magma V2.19-8 Tue Aug 20 2013 16:14:17 on localhost [Seed = 2951623567] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s265 geometric_solution 4.43087413 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 2 3 0132 0132 2031 0132 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 -1 1 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.769826933783 0.816919524318 0 4 2 4 0132 0132 0321 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.918454304029 0.357699611212 3 0 1 0 1230 0132 0321 1302 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.319535187567 1.134079402603 3 2 0 3 3201 3012 0132 2310 0 0 0 0 0 0 1 -1 1 0 0 -1 1 0 0 -1 1 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.319535187567 1.134079402603 5 1 5 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.872163134538 0.143703187596 4 4 5 5 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.660580973353 0.117677628657 ==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' : d['c_0101_4'], 'c_1100_4' : negation(d['c_0011_0']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], '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_0']), 'c_0011_4' : d['c_0011_0'], '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_4']), 'c_1001_4' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : d['c_0011_0']})} 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_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 1026503286951967/8345188096187*c_0101_5^21 + 5219723486101977/8345188096187*c_0101_5^20 + 13552161514029701/8345188096187*c_0101_5^19 - 102758872790546314/8345188096187*c_0101_5^18 + 3827064043950850/8345188096187*c_0101_5^17 + 687022474874038411/8345188096187*c_0101_5^16 - 571007036224317139/8345188096187*c_0101_5^15 - 2137020086914333742/8345188096187*c_0101_5^14 + 2674548227058642584/8345188096187*c_0101_5^13 + 3517093751113930486/8345188096187*c_0101_5^12 - 5661279197992274219/8345188096187*c_0101_5^11 - 3123230667316996660/8345188096187*c_0101_5^10 + 6503216101789985505/8345188096187*c_0101_5^9 + 1328002289070298693/8345188096187*c_0101_5^8 - 4163442159654977224/8345188096187*c_0101_5^7 - 94004080990192141/8345188096187*c_0101_5^6 + 1398352384620984879/8345188096187*c_0101_5^5 - 101757945656721979/8345188096187*c_0101_5^4 - 195768102304661382/8345188096187*c_0101_5^3 + 17836815638476182/8345188096187*c_0101_5^2 + 1859806334200412/8345188096187*c_0101_5 + 2113715272092567/8345188096187, c_0011_0 - 1, c_0011_3 - 121219893389672/8345188096187*c_0101_5^21 + 730608529186236/8345188096187*c_0101_5^20 + 1145984059568575/8345188096187*c_0101_5^19 - 14152675840923982/8345188096187*c_0101_5^18 + 9698025401282268/8345188096187*c_0101_5^17 + 90992901346262241/8345188096187*c_0101_5^16 - 133808943556281007/8345188096187*c_0101_5^15 - 261530928120338432/8345188096187*c_0101_5^14 + 548544898369455175/8345188096187*c_0101_5^13 + 366815556952454509/8345188096187*c_0101_5^12 - 1126297440306998833/8345188096187*c_0101_5^11 - 214965812324345900/8345188096187*c_0101_5^10 + 1299548208012974722/8345188096187*c_0101_5^9 - 32144127195957975/8345188096187*c_0101_5^8 - 851837735343394096/8345188096187*c_0101_5^7 + 103361462241302791/8345188096187*c_0101_5^6 + 297210804023680798/8345188096187*c_0101_5^5 - 44777188875503974/8345188096187*c_0101_5^4 - 44371411901026630/8345188096187*c_0101_5^3 + 4964352903441504/8345188096187*c_0101_5^2 + 762517840643023/8345188096187*c_0101_5 + 498267489867859/8345188096187, c_0101_0 + 396066621399687/8345188096187*c_0101_5^21 - 1867429288949101/8345188096187*c_0101_5^20 - 5802403516188060/8345188096187*c_0101_5^19 + 37056963648465362/8345188096187*c_0101_5^18 + 10083361470000589/8345188096187*c_0101_5^17 - 252290419432226956/8345188096187*c_0101_5^16 + 138624108467308418/8345188096187*c_0101_5^15 + 810514755512867208/8345188096187*c_0101_5^14 - 752204596502915728/8345188096187*c_0101_5^13 - 1405053250355836940/8345188096187*c_0101_5^12 + 1651443309411778449/8345188096187*c_0101_5^11 + 1361705856050816148/8345188096187*c_0101_5^10 - 1916490018802517176/8345188096187*c_0101_5^9 - 695879440771660504/8345188096187*c_0101_5^8 + 1227659262091506061/8345188096187*c_0101_5^7 + 140001305672902410/8345188096187*c_0101_5^6 - 410668119089966418/8345188096187*c_0101_5^5 + 12031871262964438/8345188096187*c_0101_5^4 + 56776799989762802/8345188096187*c_0101_5^3 - 4851892391778282/8345188096187*c_0101_5^2 - 366778852072163/8345188096187*c_0101_5 - 593644643248876/8345188096187, c_0101_1 + 623228332910196/8345188096187*c_0101_5^21 - 2900666768474312/8345188096187*c_0101_5^20 - 9284959593247080/8345188096187*c_0101_5^19 + 57657044721545635/8345188096187*c_0101_5^18 + 19008944539047248/8345188096187*c_0101_5^17 - 394017706999184876/8345188096187*c_0101_5^16 + 195641396100588341/8345188096187*c_0101_5^15 + 1274461781591240740/8345188096187*c_0101_5^14 - 1105095306211383812/8345188096187*c_0101_5^13 - 2234479178679406897/8345188096187*c_0101_5^12 + 2444513611919734007/8345188096187*c_0101_5^11 + 2208527278234679890/8345188096187*c_0101_5^10 - 2836224319832712077/8345188096187*c_0101_5^9 - 1174731665558325008/8345188096187*c_0101_5^8 + 1808485529575772603/8345188096187*c_0101_5^7 + 269217769637446505/8345188096187*c_0101_5^6 - 599474001113027958/8345188096187*c_0101_5^5 + 4747872513239183/8345188096187*c_0101_5^4 + 81333375255449181/8345188096187*c_0101_5^3 - 6454099064272807/8345188096187*c_0101_5^2 - 322973843267677/8345188096187*c_0101_5 - 819901840425168/8345188096187, c_0101_4 - 378608642915220/8345188096187*c_0101_5^21 + 1780280480214066/8345188096187*c_0101_5^20 + 5567107750950890/8345188096187*c_0101_5^19 - 35342959623721555/8345188096187*c_0101_5^18 - 10051932008026228/8345188096187*c_0101_5^17 + 240850060521474696/8345188096187*c_0101_5^16 - 129599971296451045/8345188096187*c_0101_5^15 - 775090393698873740/8345188096187*c_0101_5^14 + 709115070165300848/8345188096187*c_0101_5^13 + 1347508701366327689/8345188096187*c_0101_5^12 - 1559822529566502126/8345188096187*c_0101_5^11 - 1312478847557891430/8345188096187*c_0101_5^10 + 1811073392427111647/8345188096187*c_0101_5^9 + 677593073196638155/8345188096187*c_0101_5^8 - 1159958690974992580/8345188096187*c_0101_5^7 - 141016239196281567/8345188096187*c_0101_5^6 + 387744820730119800/8345188096187*c_0101_5^5 - 9637012700437348/8345188096187*c_0101_5^4 - 53496705590974183/8345188096187*c_0101_5^3 + 4534381233654452/8345188096187*c_0101_5^2 + 323342159492171/8345188096187*c_0101_5 + 557353899999726/8345188096187, c_0101_5^22 - 4*c_0101_5^21 - 18*c_0101_5^20 + 83*c_0101_5^19 + 92*c_0101_5^18 - 617*c_0101_5^17 - 104*c_0101_5^16 + 2284*c_0101_5^15 - 435*c_0101_5^14 - 4862*c_0101_5^13 + 1615*c_0101_5^12 + 6336*c_0101_5^11 - 2335*c_0101_5^10 - 5122*c_0101_5^9 + 1790*c_0101_5^8 + 2506*c_0101_5^7 - 752*c_0101_5^6 - 687*c_0101_5^5 + 156*c_0101_5^4 + 86*c_0101_5^3 - 9*c_0101_5^2 - 2*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB