Magma V2.19-8 Tue Aug 20 2013 16:18:23 on localhost [Seed = 1461111417] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2589 geometric_solution 5.88311808 oriented_manifold CS_known -0.0000000000000005 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 -1 1 0 1 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 0 0.453089291483 0.841869151674 0 3 2 5 0132 0213 2031 0132 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 -1 1 0 -1 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 2.104286835608 1.168423611655 5 0 4 1 1023 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 1 0 -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.113628069862 0.587110619097 5 6 1 0 0213 0132 0213 0132 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 1 -1 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 1.104286835608 1.168423611655 4 4 0 2 1230 3012 0132 1302 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 0 0 0 0 0 0.543936608842 0.427312551382 3 2 1 6 0213 1023 0132 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.075784923216 0.849089850868 6 3 5 6 3012 0132 1230 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.127298128011 0.784883154667 ==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' : 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' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_6'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0101_6']), 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0011_4'])})} 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_3, c_0011_4, c_0101_1, c_0101_2, c_0101_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 1233122010909253248628569432747/15563598544221081952182970*c_1001_0\ ^21 + 4720241280805948572953829145197/15563598544221081952182970*c_\ 1001_0^20 + 11355996500501255643855579951146/7781799272110540976091\ 485*c_1001_0^19 - 28970629982831715346488175026991/7781799272110540\ 976091485*c_1001_0^18 - 191482966574678147009889048410867/155635985\ 44221081952182970*c_1001_0^17 + 254899231722829734424726794299653/1\ 5563598544221081952182970*c_1001_0^16 + 410946004966253845311007416226614/7781799272110540976091485*c_1001_\ 0^15 - 2208694335838969320503225751265421/6225439417688432780873188\ 0*c_1001_0^14 - 8069494604090682857544804367194217/6225439417688432\ 7808731880*c_1001_0^13 + 228476922847461052178728218312363/56594903\ 79716757073521080*c_1001_0^12 + 551788562880068578537837090862899/2\ 829745189858378536760540*c_1001_0^11 - 1271426684473083238490441507792151/62254394176884327808731880*c_100\ 1_0^10 - 1153448638476343982232460053696287/62254394176884327808731\ 88*c_1001_0^9 - 188456939851242510668790290110849/62254394176884327\ 808731880*c_1001_0^8 + 3454653020878958875079690416494683/311271970\ 88442163904365940*c_1001_0^7 + 598330633118914114049535399523419/62\ 254394176884327808731880*c_1001_0^6 - 2510587999957050115717417904060593/62254394176884327808731880*c_100\ 1_0^5 - 45735212847365907819260320670597/8893484882412046829818840*\ c_1001_0^4 + 99750474197458917383788561197659/124508788353768655617\ 46376*c_1001_0^3 + 7838543860760812323078394415665/6225439417688432\ 780873188*c_1001_0^2 - 40490894141861909637375287440883/62254394176\ 884327808731880*c_1001_0 - 4055561350272379830809300561939/31127197\ 088442163904365940, c_0011_0 - 1, c_0011_3 + 87534786939026687645115484/20212465641845560976861*c_1001_0^\ 21 - 336226657482180054529964492/20212465641845560976861*c_1001_0^2\ 0 - 1607386717224688312442357876/20212465641845560976861*c_1001_0^1\ 9 + 4131453178783803739206860576/20212465641845560976861*c_1001_0^1\ 8 + 13535481622920943372871402468/20212465641845560976861*c_1001_0^\ 17 - 18234920032576545518316964440/20212465641845560976861*c_1001_0\ ^16 - 58097736185236174408210666860/20212465641845560976861*c_1001_\ 0^15 + 39739515675883770311545801681/20212465641845560976861*c_1001\ _0^14 + 142672359132603737796562886199/20212465641845560976861*c_10\ 01_0^13 - 45768839537162239087111640528/20212465641845560976861*c_1\ 001_0^12 - 214776813677402281038530189746/20212465641845560976861*c\ _1001_0^11 + 24041930334800519564069930734/20212465641845560976861*\ c_1001_0^10 + 204237774340074282913656171444/2021246564184556097686\ 1*c_1001_0^9 + 2228828521425772566294792513/20212465641845560976861\ *c_1001_0^8 - 122450371719662882039537104993/2021246564184556097686\ 1*c_1001_0^7 - 10133278906009818474480023503/2021246564184556097686\ 1*c_1001_0^6 + 44540544987493706012858572700/2021246564184556097686\ 1*c_1001_0^5 + 5572469818877611689608795001/20212465641845560976861\ *c_1001_0^4 - 8860442235795588811700486333/20212465641845560976861*\ c_1001_0^3 - 1382140041464573886853614184/20212465641845560976861*c\ _1001_0^2 + 720783217936735063179506897/20212465641845560976861*c_1\ 001_0 + 144153547738583178609358278/20212465641845560976861, c_0011_4 + 32791646704505008831830280/20212465641845560976861*c_1001_0^\ 21 - 126961891721074712339690832/20212465641845560976861*c_1001_0^2\ 0 - 597655466455241590893319988/20212465641845560976861*c_1001_0^19 + 1562817071571826495541123588/20212465641845560976861*c_1001_0^18 + 5016006565346893843510775516/20212465641845560976861*c_1001_0^17 - 6942960155175361473617686864/20212465641845560976861*c_1001_0^16 - 21512294970591309450710703652/20212465641845560976861*c_1001_0^15 + 15320494583883075866095494910/20212465641845560976861*c_1001_0^14 + 52833046950460298070222016380/20212465641845560976861*c_1001_0^13 - 18098629692214637632715988377/20212465641845560976861*c_1001_0^12 - 79567373114080855716615418519/20212465641845560976861*c_1001_0^11 + 10256261568871760687328286478/20212465641845560976861*c_1001_0^10 + 75704746964039406500646207770/20212465641845560976861*c_1001_0^9 - 155491082298579698439505556/20212465641845560976861*c_1001_0^8 - 45418284048307579730855002306/20212465641845560976861*c_1001_0^7 - 3332520291604302675571282266/20212465641845560976861*c_1001_0^6 + 16534103394664111405973010235/20212465641845560976861*c_1001_0^5 + 1967641338422474018194904335/20212465641845560976861*c_1001_0^4 - 3292866660501600030073421128/20212465641845560976861*c_1001_0^3 - 502821046298782597134201105/20212465641845560976861*c_1001_0^2 + 268333743646395703502867297/20212465641845560976861*c_1001_0 + 53324999610567024505941896/20212465641845560976861, c_0101_1 - 69281131998692103416912960/20212465641845560976861*c_1001_0^\ 21 + 267418277612478788890484880/20212465641845560976861*c_1001_0^2\ 0 + 1265088841495335625809427772/20212465641845560976861*c_1001_0^1\ 9 - 3284615968442616328333864560/20212465641845560976861*c_1001_0^1\ 8 - 10619477110771620797627503912/20212465641845560976861*c_1001_0^\ 17 + 14521459710092659026517671020/20212465641845560976861*c_1001_0\ ^16 + 45474475213123944650218297524/20212465641845560976861*c_1001_\ 0^15 - 31797323095968890950996104652/20212465641845560976861*c_1001\ _0^14 - 111418257168161939794206757316/20212465641845560976861*c_10\ 01_0^13 + 37063406570606489175544577225/20212465641845560976861*c_1\ 001_0^12 + 167317668304804763238734158448/20212465641845560976861*c\ _1001_0^11 - 20294993264887573461464058795/20212465641845560976861*\ c_1001_0^10 - 158681604995570755540449981514/2021246564184556097686\ 1*c_1001_0^9 - 585409814199907577991740222/20212465641845560976861*\ c_1001_0^8 + 94861485703471658914013402082/20212465641845560976861*\ c_1001_0^7 + 7353881703642847777367793366/20212465641845560976861*c\ _1001_0^6 - 34400808558361757172366199145/20212465641845560976861*c\ _1001_0^5 - 4187991267435582064977421688/20212465641845560976861*c_\ 1001_0^4 + 6823285400176679980965943933/20212465641845560976861*c_1\ 001_0^3 + 1052035721296037842919726609/20212465641845560976861*c_10\ 01_0^2 - 553752976855162660491914860/20212465641845560976861*c_1001\ _0 - 110232358725395422801321457/20212465641845560976861, c_0101_2 + 132169150774306930170019796/20212465641845560976861*c_1001_0\ ^21 - 501339872421152880809245552/20212465641845560976861*c_1001_0^\ 20 - 2456149083751415522668912288/20212465641845560976861*c_1001_0^\ 19 + 6146115495570479590210735412/20212465641845560976861*c_1001_0^\ 18 + 20798854691942824766471096616/20212465641845560976861*c_1001_0\ ^17 - 26866006341453449460931697732/20212465641845560976861*c_1001_\ 0^16 - 89466293210330750109829106580/20212465641845560976861*c_1001\ _0^15 + 57419738605883287918465418551/20212465641845560976861*c_100\ 1_0^14 + 219956141700621808161453803732/20212465641845560976861*c_1\ 001_0^13 - 63356305500836539842727063075/20212465641845560976861*c_\ 1001_0^12 - 331470486653575817343199176590/20212465641845560976861*\ c_1001_0^11 + 28583653961300262140538004829/20212465641845560976861\ *c_1001_0^10 + 315637401987577937843084304948/202124656418455609768\ 61*c_1001_0^9 + 9699429532697306020441528384/2021246564184556097686\ 1*c_1001_0^8 - 189579608967228298959747671983/202124656418455609768\ 61*c_1001_0^7 - 18422839373562162363638502300/202124656418455609768\ 61*c_1001_0^6 + 69101327601547294458491479223/202124656418455609768\ 61*c_1001_0^5 + 9288964915852341777485913323/2021246564184556097686\ 1*c_1001_0^4 - 13770359546202032482683024859/2021246564184556097686\ 1*c_1001_0^3 - 2213223547466268985124680761/20212465641845560976861\ *c_1001_0^2 + 1119983495519889967631306870/20212465641845560976861*\ c_1001_0 + 225923792374714358219163327/20212465641845560976861, c_0101_6 - 7413040270200420391524872/20212465641845560976861*c_1001_0^2\ 1 + 29049087579584612362658600/20212465641845560976861*c_1001_0^20 + 132396673963056128064975460/20212465641845560976861*c_1001_0^19 - 353983296571605320729994896/20212465641845560976861*c_1001_0^18 - 1094939759577551669612457272/20212465641845560976861*c_1001_0^17 + 1555569549812055153552048276/20212465641845560976861*c_1001_0^16 + 4615597730450886671347378452/20212465641845560976861*c_1001_0^15 - 3400643868857195932282020274/20212465641845560976861*c_1001_0^14 - 11100834717236456658631011714/20212465641845560976861*c_1001_0^13 + 4006765419768364463379408685/20212465641845560976861*c_1001_0^12 + 16307397081080452952616954072/20212465641845560976861*c_1001_0^11 - 2333446911313197341181209589/20212465641845560976861*c_1001_0^10 - 15072887303296213778686270168/20212465641845560976861*c_1001_0^9 + 187782582508210783927352004/20212465641845560976861*c_1001_0^8 + 8749917337494270982736480114/20212465641845560976861*c_1001_0^7 + 585871871228339760827879614/20212465641845560976861*c_1001_0^6 - 3072025044006329597632442173/20212465641845560976861*c_1001_0^5 - 358649413722045432303739462/20212465641845560976861*c_1001_0^4 + 589106413323309892757149184/20212465641845560976861*c_1001_0^3 + 90670783732378798790428095/20212465641845560976861*c_1001_0^2 - 46343267794964956629766396/20212465641845560976861*c_1001_0 - 9263710228762173688946863/20212465641845560976861, c_1001_0^22 - 58/13*c_1001_0^21 - 16*c_1001_0^20 + 763/13*c_1001_0^19 + 1633/13*c_1001_0^18 - 3972/13*c_1001_0^17 - 6972/13*c_1001_0^16 + 45359/52*c_1001_0^15 + 35239/26*c_1001_0^14 - 80707/52*c_1001_0^13 - 55781/26*c_1001_0^12 + 1827*c_1001_0^11 + 113635/52*c_1001_0^10 - 18901/13*c_1001_0^9 - 74559/52*c_1001_0^8 + 20107/26*c_1001_0^7 + 30707/52*c_1001_0^6 - 13549/52*c_1001_0^5 - 3735/26*c_1001_0^4 + 635/13*c_1001_0^3 + 37/2*c_1001_0^2 - 47/13*c_1001_0 - 55/52 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB