Magma V2.19-8 Tue Aug 20 2013 16:16:14 on localhost [Seed = 3718005022] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0502 geometric_solution 4.51290879 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 2.378171307034 0.903066407016 0 1 1 0 0132 3201 2310 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.616685705799 0.113145979955 0 3 4 0 3201 0132 0132 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 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.451125731195 0.862600162576 4 2 5 4 2310 0132 0132 3201 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 -1 0 1 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.190591277542 0.615238785457 5 3 3 2 1023 2310 3201 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.190591277542 0.615238785457 6 4 6 3 0132 1023 2310 0132 0 0 0 0 0 0 0 0 0 0 1 -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 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 1.715441681293 1.553132949017 5 5 6 6 0132 3201 1230 3012 0 0 0 0 0 1 0 -1 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 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.216439928895 0.394702931302 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 63509870114989130664515411824880289665474088/1252453628628928135968\ 85034025099594088235*c_0101_5^16 - 19892488948342200717269369767779690419576484/1138594207844480123608\ 0457638645417644385*c_0101_5^15 + 364350642306170838544657942718794\ 353447378316/25049072572578562719377006805019918817647*c_0101_5^14 + 5718913650002850884213782158493816540939592093/12524536286289281359\ 6885034025099594088235*c_0101_5^13 + 889933753584793375083196845489317753982867595/250490725725785627193\ 77006805019918817647*c_0101_5^12 - 3601381686553033293575768433178353813259828609/25049072572578562719\ 377006805019918817647*c_0101_5^11 - 103145617507922805733641600904730483737657465343/125245362862892813\ 596885034025099594088235*c_0101_5^10 - 92010070107482037050232738296510556192444211107/1252453628628928135\ 96885034025099594088235*c_0101_5^9 + 115180622657818694240295241516419498631487636371/125245362862892813\ 596885034025099594088235*c_0101_5^8 + 11002502905831013266861002403275571058558573991/1789219469469897337\ 0983576289299942012605*c_0101_5^7 - 6732779473311568789482842968911563082916168006/25049072572578562719\ 377006805019918817647*c_0101_5^6 + 34108044306855246664275400514338063767969873403/1252453628628928135\ 96885034025099594088235*c_0101_5^5 - 21291335701878685110928060684528302688045452846/1252453628628928135\ 96885034025099594088235*c_0101_5^4 + 17828680111838222066709052353609831590080823543/1252453628628928135\ 96885034025099594088235*c_0101_5^3 - 1873695465929731569558761324174471504891399799/12524536286289281359\ 6885034025099594088235*c_0101_5^2 - 655617309130408170840260500301191903789270369/125245362862892813596\ 885034025099594088235*c_0101_5 - 1368253735023177528517849383334071\ 77907414482/125245362862892813596885034025099594088235, c_0011_0 - 1, c_0011_2 + 153297658155678961455431661972579791216/16265631540635430337\ 25779662663631092055*c_0101_5^16 + 621088211659747668306175959133395654168/162656315406354303372577966\ 2663631092055*c_0101_5^15 - 813126338304138306423373943786599613240\ /325312630812708606745155932532726218411*c_0101_5^14 - 16429377514813893793421538051579902103026/1626563154063543033725779\ 662663631092055*c_0101_5^13 - 3887629347554170750903973295677302503\ 208/325312630812708606745155932532726218411*c_0101_5^12 + 7180761944590083241686106802443960674793/32531263081270860674515593\ 2532726218411*c_0101_5^11 + 274526502762099946343724990369791868635\ 501/1626563154063543033725779662663631092055*c_0101_5^10 + 376395854924778080737452961959983098594149/162656315406354303372577\ 9662663631092055*c_0101_5^9 - 1245159532069455616340949375957010749\ 29467/1626563154063543033725779662663631092055*c_0101_5^8 - 337793228603620074529461401244443468478309/162656315406354303372577\ 9662663631092055*c_0101_5^7 - 1094456006584300703324860671501701096\ 4159/325312630812708606745155932532726218411*c_0101_5^6 - 50166329245679425322762874720734563862491/1626563154063543033725779\ 662663631092055*c_0101_5^5 + 11377232688924434510115193798937246022\ 832/1626563154063543033725779662663631092055*c_0101_5^4 - 13267359236168253347273864426084178991656/1626563154063543033725779\ 662663631092055*c_0101_5^3 - 17834729747737309182369373594514918121\ 252/1626563154063543033725779662663631092055*c_0101_5^2 - 355523497322089307950992007536130052692/162656315406354303372577966\ 2663631092055*c_0101_5 + 876206325559102661799603121161318306929/16\ 26563154063543033725779662663631092055, c_0011_4 + 425249034094828798044385059147047499832/16265631540635430337\ 25779662663631092055*c_0101_5^16 + 1436802399329943987826558509746456840476/16265631540635430337257796\ 62663631092055*c_0101_5^15 - 24574182947161554111158293154884098038\ 16/325312630812708606745155932532726218411*c_0101_5^14 - 37448556813776037133314569662646585886007/1626563154063543033725779\ 662663631092055*c_0101_5^13 - 5496994569191879217282906094863756774\ 440/325312630812708606745155932532726218411*c_0101_5^12 + 24351674702551601574310383955199578174035/3253126308127086067451559\ 32532726218411*c_0101_5^11 + 68186643917005894165412739552129791303\ 9542/1626563154063543033725779662663631092055*c_0101_5^10 + 572212558308822289629311546894062279464108/162656315406354303372577\ 9662663631092055*c_0101_5^9 - 7982995336483001516399743941301622020\ 77214/1626563154063543033725779662663631092055*c_0101_5^8 - 449923786440967881346956264393117777210718/162656315406354303372577\ 9662663631092055*c_0101_5^7 + 4977337654923761020141428028289849683\ 8774/325312630812708606745155932532726218411*c_0101_5^6 - 249424043111601051059548213619786785714987/162656315406354303372577\ 9662663631092055*c_0101_5^5 + 1627337801883564240788009189787852439\ 55734/1626563154063543033725779662663631092055*c_0101_5^4 - 137798407657015559096092426889487215425837/162656315406354303372577\ 9662663631092055*c_0101_5^3 + 2079741253137802899997687160644413289\ 0456/1626563154063543033725779662663631092055*c_0101_5^2 + 479226389940188979826908068809421225816/162656315406354303372577966\ 2663631092055*c_0101_5 + 282852281591650037766859703653767550493/16\ 26563154063543033725779662663631092055, c_0101_0 - 2692513326975581232671235814130387913608/1626563154063543033\ 725779662663631092055*c_0101_5^16 - 9143435417088842818824488917707924961764/16265631540635430337257796\ 62663631092055*c_0101_5^15 + 15540693791588490419682877462667200406\ 320/325312630812708606745155932532726218411*c_0101_5^14 + 238662608330057826712444299606535321765253/162656315406354303372577\ 9662663631092055*c_0101_5^13 + 352665616147006972939264080558580624\ 57356/325312630812708606745155932532726218411*c_0101_5^12 - 154723468776932627173817477902405983234630/325312630812708606745155\ 932532726218411*c_0101_5^11 - 4335664206251158874085236592785643713\ 415518/1626563154063543033725779662663631092055*c_0101_5^10 - 3681441253619640000582177439595008885173112/16265631540635430337257\ 79662663631092055*c_0101_5^9 + 509219242616088532461035901656536269\ 8959261/1626563154063543033725779662663631092055*c_0101_5^8 + 3035633646670208308629365438674881002115057/16265631540635430337257\ 79662663631092055*c_0101_5^7 - 321152937818819019020633425518737821\ 901125/325312630812708606745155932532726218411*c_0101_5^6 + 1517158366777052060115435510318774395332393/16265631540635430337257\ 79662663631092055*c_0101_5^5 - 968913469677062103871754691401207585\ 948631/1626563154063543033725779662663631092055*c_0101_5^4 + 784353077175622786710749554997557789629068/162656315406354303372577\ 9662663631092055*c_0101_5^3 - 1103072070840212171821986180016538248\ 17594/1626563154063543033725779662663631092055*c_0101_5^2 - 29106547281584908089860412003475000036809/1626563154063543033725779\ 662663631092055*c_0101_5 - 2701261520636567012424168117187752744972\ /1626563154063543033725779662663631092055, c_0101_1 + 1868218157758739554849342885436621226656/1626563154063543033\ 725779662663631092055*c_0101_5^16 + 6385544807842017386256117793656299229288/16265631540635430337257796\ 62663631092055*c_0101_5^15 - 10751684245336703906185509472106217584\ 788/325312630812708606745155932532726218411*c_0101_5^14 - 166722653397885520350039462188744671443516/162656315406354303372577\ 9662663631092055*c_0101_5^13 - 252876681477048805351086394400343301\ 14099/325312630812708606745155932532726218411*c_0101_5^12 + 106462124761960447473547912653216087506726/325312630812708606745155\ 932532726218411*c_0101_5^11 + 3017944450215012170086180817813228931\ 282526/1626563154063543033725779662663631092055*c_0101_5^10 + 2624246819992989369333764434840971474983804/16265631540635430337257\ 79662663631092055*c_0101_5^9 - 344772255413568459739183108936523201\ 5742262/1626563154063543033725779662663631092055*c_0101_5^8 - 2141866637962421451367066456027797843456329/16265631540635430337257\ 79662663631092055*c_0101_5^7 + 212540534309315586702166986650001518\ 775625/325312630812708606745155932532726218411*c_0101_5^6 - 1055413729664369837712780669722397819424131/16265631540635430337257\ 79662663631092055*c_0101_5^5 + 638155109579682494627742332672168321\ 201637/1626563154063543033725779662663631092055*c_0101_5^4 - 544704589000748507674609826857877426760011/162656315406354303372577\ 9662663631092055*c_0101_5^3 + 6370609820595005381483475400150148333\ 7428/1626563154063543033725779662663631092055*c_0101_5^2 + 19055935985010299459622897490530000342213/1626563154063543033725779\ 662663631092055*c_0101_5 + 1833969648620611979074191744353976741339\ /1626563154063543033725779662663631092055, c_0101_3 - 504220860854365609747197852561567654456/16265631540635430337\ 25779662663631092055*c_0101_5^16 - 1772679045880219170031128513306146263788/16265631540635430337257796\ 62663631092055*c_0101_5^15 + 28667666843211406864692222400759590974\ 72/325312630812708606745155932532726218411*c_0101_5^14 + 46386913694707350838892972826826774464151/1626563154063543033725779\ 662663631092055*c_0101_5^13 + 7741594728012616518878030574948978766\ 234/325312630812708606745155932532726218411*c_0101_5^12 - 27916226806995001453127831835680605016063/3253126308127086067451559\ 32532726218411*c_0101_5^11 - 82783376360658635492745357283588999556\ 9076/1626563154063543033725779662663631092055*c_0101_5^10 - 789741902890053961187287000989570414989094/162656315406354303372577\ 9662663631092055*c_0101_5^9 + 8487902467366855543941313164625150287\ 56022/1626563154063543033725779662663631092055*c_0101_5^8 + 653325473700954738365589531011664880242739/162656315406354303372577\ 9662663631092055*c_0101_5^7 - 4362746683530690195292464811605974453\ 8340/325312630812708606745155932532726218411*c_0101_5^6 + 274085797070714438386722202167209173012446/162656315406354303372577\ 9662663631092055*c_0101_5^5 - 1474019559095463115623815410176698880\ 70272/1626563154063543033725779662663631092055*c_0101_5^4 + 133140463286844295626977151524448065884661/162656315406354303372577\ 9662663631092055*c_0101_5^3 - 6151806446648302550321173236974284914\ 493/1626563154063543033725779662663631092055*c_0101_5^2 - 6422118954371703026017665685803272111813/16265631540635430337257796\ 62663631092055*c_0101_5 - 684050280887527059363390350890725165484/1\ 626563154063543033725779662663631092055, c_0101_5^17 + 7/2*c_0101_5^16 - 57/2*c_0101_5^15 - 733/8*c_0101_5^14 - 599/8*c_0101_5^13 + 280*c_0101_5^12 + 6559/4*c_0101_5^11 + 12291/8*c_0101_5^10 - 1740*c_0101_5^9 - 10525/8*c_0101_5^8 + 3769/8*c_0101_5^7 - 4043/8*c_0101_5^6 + 2427/8*c_0101_5^5 - 260*c_0101_5^4 + 25/2*c_0101_5^3 + 53/4*c_0101_5^2 + 19/8*c_0101_5 + 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB