Magma V2.19-8 Tue Aug 20 2013 16:17:47 on localhost [Seed = 4189611291] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2016 geometric_solution 5.56312171 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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.278030447225 0.190023265872 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 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.270413179905 1.485522535284 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 0 0 0 1 0 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 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.775835852805 1.320255552239 2 5 4 1 3012 1023 3201 0132 0 0 0 0 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 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.775835852805 1.320255552239 3 2 4 4 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377635824951 0.407278546556 3 6 6 2 1023 0132 3201 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 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.581438756689 0.437033789706 5 5 6 6 2310 0132 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 -1 1 -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 1.605379235158 0.682251853374 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(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' : 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_0101_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_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_1, c_0011_3, c_0101_0, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 2010804049424470759801/15211691112505601376*c_0101_6^25 + 4538873588460213243353/3802922778126400344*c_0101_6^23 + 3857251352408833350365/1690187901389511264*c_0101_6^21 - 149274380763245807875147/7605845556252800688*c_0101_6^19 - 99493080665210051728957/1170130085577353952*c_0101_6^17 + 2515534939277569495449251/15211691112505601376*c_0101_6^15 + 12748782560212789928180467/15211691112505601376*c_0101_6^13 - 40502827314996145760886151/15211691112505601376*c_0101_6^11 + 46541681396119490717150465/15211691112505601376*c_0101_6^9 - 3322823330168701266442765/1901461389063200172*c_0101_6^7 + 3919332182430993232291507/7605845556252800688*c_0101_6^5 - 136650524376752847493985/1901461389063200172*c_0101_6^3 + 54270183645975855332459/15211691112505601376*c_0101_6, c_0011_0 - 1, c_0011_1 - 52533931694850211/65007226976519664*c_0101_6^24 - 122303315675508875/16251806744129916*c_0101_6^22 - 116675214948135119/7223025219613296*c_0101_6^20 + 3729224246903768809/32503613488259832*c_0101_6^18 + 35795115895041737395/65007226976519664*c_0101_6^16 - 54991328281578682769/65007226976519664*c_0101_6^14 - 345335551411179073873/65007226976519664*c_0101_6^12 + 957130433174442895309/65007226976519664*c_0101_6^10 - 975567142057669826219/65007226976519664*c_0101_6^8 + 60742571637566924983/8125903372064958*c_0101_6^6 - 60379838297542136041/32503613488259832*c_0101_6^4 + 1615397824375804877/8125903372064958*c_0101_6^2 - 398451823668917321/65007226976519664, c_0011_3 - 524615096478728/1354317228677493*c_0101_6^24 - 17890237714859227/5417268914709972*c_0101_6^22 - 2890195083986009/601918768301108*c_0101_6^20 + 168150545150764241/2708634457354986*c_0101_6^18 + 302089227211480859/1354317228677493*c_0101_6^16 - 3396057685237815097/5417268914709972*c_0101_6^14 - 3117345647852023301/1354317228677493*c_0101_6^12 + 49529733293361276371/5417268914709972*c_0101_6^10 - 32631215235956763767/2708634457354986*c_0101_6^8 + 41239206659712521023/5417268914709972*c_0101_6^6 - 12722215760581106575/5417268914709972*c_0101_6^4 + 1666907837725536161/5417268914709972*c_0101_6^2 - 63371538911311777/5417268914709972, c_0101_0 + 31404295147049407/97510840464779496*c_0101_6^25 + 139040219504454673/48755420232389748*c_0101_6^23 + 55158708642577565/10834537829419944*c_0101_6^21 - 2359762134173815075/48755420232389748*c_0101_6^19 - 19278159360640340431/97510840464779496*c_0101_6^17 + 42389096226040356215/97510840464779496*c_0101_6^15 + 189319483823141209717/97510840464779496*c_0101_6^13 - 666326179648322125927/97510840464779496*c_0101_6^11 + 863034365590058008091/97510840464779496*c_0101_6^9 - 290679489426648556027/48755420232389748*c_0101_6^7 + 26142908635580059639/12188855058097437*c_0101_6^5 - 17479789926605913749/48755420232389748*c_0101_6^3 + 1730783726872897535/97510840464779496*c_0101_6, c_0101_3 + 24832181131023725/10834537829419944*c_0101_6^25 + 57040351779401557/2708634457354986*c_0101_6^23 + 51765424211412713/1203837536602216*c_0101_6^21 - 1802365353266901779/5417268914709972*c_0101_6^19 - 16529760638205239237/10834537829419944*c_0101_6^17 + 28308841167796576231/10834537829419944*c_0101_6^15 + 161352298120808251367/10834537829419944*c_0101_6^13 - 473559775035993318611/10834537829419944*c_0101_6^11 + 505243993254188337061/10834537829419944*c_0101_6^9 - 32966621150390868566/1354317228677493*c_0101_6^7 + 34735408637170561115/5417268914709972*c_0101_6^5 - 1037188466262159157/1354317228677493*c_0101_6^3 + 318714689510724223/10834537829419944*c_0101_6, c_0101_4 - 23891298105158251/195021680929558992*c_0101_6^24 - 65569109442387539/48755420232389748*c_0101_6^22 - 95626578341041271/21669075658839888*c_0101_6^20 + 1237751318830540585/97510840464779496*c_0101_6^18 + 21634650148786880923/195021680929558992*c_0101_6^16 + 3771323791862753863/195021680929558992*c_0101_6^14 - 189611098478554306633/195021680929558992*c_0101_6^12 + 163864391969706096325/195021680929558992*c_0101_6^10 + 196150745556375439549/195021680929558992*c_0101_6^8 - 39952799237930734697/24377710116194874*c_0101_6^6 + 72900563368512793031/97510840464779496*c_0101_6^4 - 3007538857025753371/24377710116194874*c_0101_6^2 + 1026049184010520351/195021680929558992, c_0101_6^26 + 9*c_0101_6^24 + 17*c_0101_6^22 - 149*c_0101_6^20 - 639*c_0101_6^18 + 1270*c_0101_6^16 + 6306*c_0101_6^14 - 20328*c_0101_6^12 + 23710*c_0101_6^10 - 13851*c_0101_6^8 + 4254*c_0101_6^6 - 650*c_0101_6^4 + 43*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB