Magma V2.19-8 Tue Aug 20 2013 16:14:41 on localhost [Seed = 3120047526] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s670 geometric_solution 5.16454907 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492365789440 0.222816093718 2 0 3 0 0132 2310 0132 0132 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 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.821860371946 0.540067009998 1 3 4 5 0132 0213 0132 0132 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.632205351633 0.686167061888 5 4 2 1 1023 1023 0213 0132 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 0 0 0 1 0 -1 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.632205351633 0.686167061888 3 4 4 2 1023 1230 3012 0132 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 0 0 0 0 0 0 0 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.273751948199 0.788236750320 5 3 2 5 3201 1023 0132 2310 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 -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.144070842081 0.947799674705 ==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' : 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' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_1']), '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_3'], 'c_0011_4' : 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_0011_1']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_1']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 54086346978565394453104826164066121467/4938905187017706021313117119\ 5513044992*c_0101_4^27 + 157168749279594534077148059918553684005/24\ 694525935088530106565585597756522496*c_0101_4^25 + 4548553320353690267551331100065052185137/49389051870177060213131171\ 195513044992*c_0101_4^23 - 2579850296573417577132635476035509324003\ /8231508645029510035521861865918840832*c_0101_4^21 - 24404771588951826589474793137499290752079/4938905187017706021313117\ 1195513044992*c_0101_4^19 + 205944503066744312578013843876579876015\ 363/16463017290059020071043723731837681664*c_0101_4^17 - 2340567271734913025921076593346716783170105/49389051870177060213131\ 171195513044992*c_0101_4^15 + 3833209945868828328189975047850595973\ 613509/49389051870177060213131171195513044992*c_0101_4^13 - 4437490062037201363196500702200953471888005/49389051870177060213131\ 171195513044992*c_0101_4^11 + 3052578397170132540046752215381832122\ 676781/49389051870177060213131171195513044992*c_0101_4^9 - 152531727289762493764826367587603606619239/123472629675442650532827\ 92798878261248*c_0101_4^7 + 135501984666093738376426743138565509653\ 5427/49389051870177060213131171195513044992*c_0101_4^5 - 18794614129493798401406347307795658566561/1028938580628688754440232\ 733239855104*c_0101_4^3 + 2176746269870800808245732004201991240643/\ 771703935471516565830174549929891328*c_0101_4, c_0011_0 - 1, c_0011_1 + 6874636659945284573471008311459121/1028938580628688754440232\ 733239855104*c_0101_4^26 - 19764723345147144333292580655915887/5144\ 69290314344377220116366619927552*c_0101_4^24 - 580446194925535777559139555528601683/102893858062868875444023273323\ 9855104*c_0101_4^22 + 965460963493787632939442838836820091/51446929\ 0314344377220116366619927552*c_0101_4^20 + 3209241958890885159080883265850868013/10289385806286887544402327332\ 39855104*c_0101_4^18 - 78299495005382545221598018946456552539/10289\ 38580628688754440232733239855104*c_0101_4^16 + 292741604267698044146255421424148803819/102893858062868875444023273\ 3239855104*c_0101_4^14 - 470661968751169638113079913298609058447/10\ 28938580628688754440232733239855104*c_0101_4^12 + 540037910959690793622584008676498900175/102893858062868875444023273\ 3239855104*c_0101_4^10 - 361770038510945232680052123862668123591/10\ 28938580628688754440232733239855104*c_0101_4^8 + 15846754880952872997655635532248466133/2572346451571721886100581833\ 09963776*c_0101_4^6 - 172368207114449637004940627170116171977/10289\ 38580628688754440232733239855104*c_0101_4^4 + 6534189442524313727236137459341645457/64308661289293047152514545827\ 490944*c_0101_4^2 - 232417672409743475502264526426812441/1607716532\ 2323261788128636456872736, c_0011_3 - 48787661946332723499673209434588311/205787716125737750888046\ 5466479710208*c_0101_4^27 + 140347451449341843180254275887271545/10\ 28938580628688754440232733239855104*c_0101_4^25 + 4118571048164945710780011482476382405/20578771612573775088804654664\ 79710208*c_0101_4^23 - 6859071134254447456820194757214447405/102893\ 8580628688754440232733239855104*c_0101_4^21 - 22749260689070971763983575410548499003/2057877161257377508880465466\ 479710208*c_0101_4^19 + 555787162794174759019662090598635164445/205\ 7877161257377508880465466479710208*c_0101_4^17 - 2079244303941724697492232182181456841037/20578771612573775088804654\ 66479710208*c_0101_4^15 + 3344808008736147321068403878642189982153/\ 2057877161257377508880465466479710208*c_0101_4^13 - 3836946438362250057640993693834591404809/20578771612573775088804654\ 66479710208*c_0101_4^11 + 2571570561178459805500226787814648329169/\ 2057877161257377508880465466479710208*c_0101_4^9 - 111425829125701467323980611249213256123/514469290314344377220116366\ 619927552*c_0101_4^7 + 1221694198455974710659469340966162942527/205\ 7877161257377508880465466479710208*c_0101_4^5 - 46411911813647157148363806233894962525/1286173225785860943050290916\ 54981888*c_0101_4^3 + 1593715265889785789569375388242941307/3215433\ 0644646523576257272913745472*c_0101_4, c_0101_0 - 74774483162382689862266305716851875/205787716125737750888046\ 5466479710208*c_0101_4^27 + 216066646292664135744589338418927853/10\ 28938580628688754440232733239855104*c_0101_4^25 + 6301783474163943918610271347173547497/20578771612573775088804654664\ 79710208*c_0101_4^23 - 10595241935262412503491227984284670257/10289\ 38580628688754440232733239855104*c_0101_4^21 - 34371236951666150942514182717356910359/2057877161257377508880465466\ 479710208*c_0101_4^19 + 852851295101302498713359232168547170465/205\ 7877161257377508880465466479710208*c_0101_4^17 - 3208389854122415885954255455017527051665/20578771612573775088804654\ 66479710208*c_0101_4^15 + 5202631475638033996255298472968484075709/\ 2057877161257377508880465466479710208*c_0101_4^13 - 5993130747655553066799203246607257261309/20578771612573775088804654\ 66479710208*c_0101_4^11 + 4065908539196327606518733152626424099685/\ 2057877161257377508880465466479710208*c_0101_4^9 - 188773117670199841273849432187693077239/514469290314344377220116366\ 619927552*c_0101_4^7 + 1873739619127383063787630699899229636459/205\ 7877161257377508880465466479710208*c_0101_4^5 - 74025493901025078686659692947028339529/1286173225785860943050290916\ 54981888*c_0101_4^3 + 2680077195500910356426808987108132391/3215433\ 0644646523576257272913745472*c_0101_4, c_0101_1 - 4120920878453200238620245171975905/5144692903143443772201163\ 66619927552*c_0101_4^26 + 11846450359937107633279925440504815/25723\ 4645157172188610058183309963776*c_0101_4^24 + 347985758872427979235046563517988131/514469290314344377220116366619\ 927552*c_0101_4^22 - 578684791220478812539717131401586331/257234645\ 157172188610058183309963776*c_0101_4^20 - 1927159509735422499248231390043067613/51446929031434437722011636661\ 9927552*c_0101_4^18 + 46938148993440842460397649193569226699/514469\ 290314344377220116366619927552*c_0101_4^16 - 175429692898539799740412509694599881627/514469290314344377220116366\ 619927552*c_0101_4^14 + 281724499378381687892317684007782158847/514\ 469290314344377220116366619927552*c_0101_4^12 - 322826846043518938154244922605471547839/514469290314344377220116366\ 619927552*c_0101_4^10 + 216092640913956777229909541524816819511/514\ 469290314344377220116366619927552*c_0101_4^8 - 9275477148488167553470778068584159277/12861732257858609430502909165\ 4981888*c_0101_4^6 + 103760524892332765833125688815905156473/514469\ 290314344377220116366619927552*c_0101_4^4 - 3889627479082358091277729314455725719/32154330644646523576257272913\ 745472*c_0101_4^2 + 129973090126546486849605208188782021/8038582661\ 161630894064318228436368, c_0101_4^28 - 6*c_0101_4^26 - 83*c_0101_4^24 + 302*c_0101_4^22 + 397*c_0101_4^20 - 11507*c_0101_4^18 + 45427*c_0101_4^16 - 79063*c_0101_4^14 + 95543*c_0101_4^12 - 72111*c_0101_4^10 + 22156*c_0101_4^8 - 27321*c_0101_4^6 + 21400*c_0101_4^4 - 5824*c_0101_4^2 + 512 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB