Magma V2.19-8 Tue Aug 20 2013 17:56:08 on localhost [Seed = 509585877] Type ? for help. Type -D to quit. Loading file "10_62__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_62 geometric_solution 10.14146904 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 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 1 0 0 -1 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.284393577364 1.020226883715 0 2 5 5 0132 1302 2103 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 -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 0 0 0 0.526758359231 0.810584949334 3 0 6 1 1302 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0.396319742165 0.684593945219 4 2 7 0 0132 2031 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 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.172043999780 1.096821766556 3 8 0 9 0132 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 -1 0 0 0 1 -1 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.408838360472 1.008154560290 1 8 1 6 2103 2031 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 0 0 0 0 -1 1 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.436334111209 0.867378899452 5 10 10 2 3201 0132 1302 0132 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 -1 0 1 0 0 0 0 0 -1 -8 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.655737857736 0.912733928169 9 8 9 3 1230 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.077500597113 1.422571490902 5 4 7 10 1302 0132 3012 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 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.590231106832 0.680243259442 10 7 4 7 3012 3012 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 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.520248757495 0.174385395797 6 6 8 9 2031 0132 0132 1230 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 0 0 -9 8 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.480840274761 0.722628242024 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_3']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0101_10']), 'c_1001_4' : d['c_1001_10'], 'c_1001_7' : negation(d['c_0101_7']), 'c_1001_6' : d['c_0011_9'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : d['c_1001_10'], 'c_1001_9' : negation(d['c_0011_7']), 'c_1001_8' : negation(d['c_0011_7']), 'c_1010_10' : d['c_0011_9'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], '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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_8' : d['c_0101_7'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : d['c_0101_10'], 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0101_10'], 'c_1100_10' : d['c_0101_7'], 'c_1010_7' : negation(d['c_0011_5']), 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : negation(d['c_0011_7']), 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : negation(d['c_0101_10']), 'c_1010_0' : d['c_1001_10'], 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : d['c_1001_10'], 's_3_1' : negation(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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_3'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_10']), '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_0110_10' : d['c_0011_9'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_10']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_9'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_9'], 'c_0101_8' : negation(d['c_0011_5']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_7'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : d['c_0011_9'], 'c_0110_7' : d['c_0011_9'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_7, c_0011_9, c_0101_0, c_0101_10, c_0101_7, c_1001_10, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 94586919257423081741600762657/974412634610495916439559104*c_1100_0^\ 18 - 24173631689482804938499806083/26335476611094484228096192*c_110\ 0_0^17 - 728006481915356779180892351287/243603158652623979109889776\ *c_1100_0^16 - 8821849779134903747269925620747/97441263461049591643\ 9559104*c_1100_0^15 - 14549877296989642822160965132101/974412634610\ 495916439559104*c_1100_0^14 - 22179968022441328380589531472389/9744\ 12634610495916439559104*c_1100_0^13 - 16079067275083534054573834969553/974412634610495916439559104*c_1100\ _0^12 + 11809572414122311994338365567309/97441263461049591643955910\ 4*c_1100_0^11 + 31665426161578450659020923399357/974412634610495916\ 439559104*c_1100_0^10 + 45429624414856881200901793975033/9744126346\ 10495916439559104*c_1100_0^9 + 27759567475581483614053446204593/974\ 412634610495916439559104*c_1100_0^8 - 16036171269175634391400221669349/243603158652623979109889776*c_1100\ _0^7 - 85034738858392385802879245049789/974412634610495916439559104\ *c_1100_0^6 + 25107607391775304831185470649627/97441263461049591643\ 9559104*c_1100_0^5 + 16474085765885926064892309832259/2436031586526\ 23979109889776*c_1100_0^4 + 3676567202742205394513411524513/9744126\ 34610495916439559104*c_1100_0^3 - 9526994880598215003249962421005/4\ 87206317305247958219779552*c_1100_0^2 - 801062468219456037242107272557/243603158652623979109889776*c_1100_0 + 182980649891294399862113312573/121801579326311989554944888, c_0011_0 - 1, c_0011_10 - 2118518115663232745783/289314915264399025071128*c_1100_0^18 - 933130424256291700739/7819322034172946623544*c_1100_0^17 - 98237021207073141755129/144657457632199512535564*c_1100_0^16 - 591452329955513173317177/289314915264399025071128*c_1100_0^15 - 1523254582790627307139325/289314915264399025071128*c_1100_0^14 - 2267535083062340890782309/289314915264399025071128*c_1100_0^13 - 3113581936677474161087217/289314915264399025071128*c_1100_0^12 - 1281277320041464862399263/289314915264399025071128*c_1100_0^11 + 2837742884424067947838917/289314915264399025071128*c_1100_0^10 + 4492565879236028151274121/289314915264399025071128*c_1100_0^9 + 5767763386913243912876329/289314915264399025071128*c_1100_0^8 + 276031033119586049181375/144657457632199512535564*c_1100_0^7 - 12387326892676484152738455/289314915264399025071128*c_1100_0^6 - 7667266308422773798383441/289314915264399025071128*c_1100_0^5 + 4493033469848477081277817/144657457632199512535564*c_1100_0^4 + 6704763067782437236358563/289314915264399025071128*c_1100_0^3 - 369399170842828457220864/36164364408049878133891*c_1100_0^2 - 499428768829626665295123/72328728816099756267782*c_1100_0 + 43498827217477365388393/36164364408049878133891, c_0011_3 - 2198097538392048453607/36164364408049878133891*c_1100_0^18 - 520022433112291734552/977415254271618327943*c_1100_0^17 - 53860116863288173458882/36164364408049878133891*c_1100_0^16 - 164986882032533389014841/36164364408049878133891*c_1100_0^15 - 218646170860827556156208/36164364408049878133891*c_1100_0^14 - 352358890926742295764116/36164364408049878133891*c_1100_0^13 - 137560522317689411520635/36164364408049878133891*c_1100_0^12 + 342739699253975686196244/36164364408049878133891*c_1100_0^11 + 376110797371281899611035/36164364408049878133891*c_1100_0^10 + 599741796933007411694029/36164364408049878133891*c_1100_0^9 + 83824290642434512892470/36164364408049878133891*c_1100_0^8 - 1615868053198285508835058/36164364408049878133891*c_1100_0^7 - 696343283837266607092381/36164364408049878133891*c_1100_0^6 + 1471914687176211762546385/36164364408049878133891*c_1100_0^5 + 546522155035256463847330/36164364408049878133891*c_1100_0^4 - 689358306962384807252715/36164364408049878133891*c_1100_0^3 - 101616234906666014383630/36164364408049878133891*c_1100_0^2 + 137753161668560132058050/36164364408049878133891*c_1100_0 - 19633428858100813576535/36164364408049878133891, c_0011_5 - 5996809404579799519873/289314915264399025071128*c_1100_0^18 - 786553705568192782031/7819322034172946623544*c_1100_0^17 + 14909043724979597845419/72328728816099756267782*c_1100_0^16 + 135394291049595847778897/289314915264399025071128*c_1100_0^15 + 1166064640910577556559999/289314915264399025071128*c_1100_0^14 + 1358111112522610008848019/289314915264399025071128*c_1100_0^13 + 3100211695370255028672127/289314915264399025071128*c_1100_0^12 + 1755031518880198468007333/289314915264399025071128*c_1100_0^11 - 4084115857899764317520275/289314915264399025071128*c_1100_0^10 - 4589374547714165027315055/289314915264399025071128*c_1100_0^9 - 7461160801109178677231039/289314915264399025071128*c_1100_0^8 - 1383017355806285224717787/72328728816099756267782*c_1100_0^7 + 17124998434973260064388063/289314915264399025071128*c_1100_0^6 + 15456226893624659043776751/289314915264399025071128*c_1100_0^5 - 3527722478530354617424109/72328728816099756267782*c_1100_0^4 - 12184493249074453733157875/289314915264399025071128*c_1100_0^3 + 2873692119151165954723305/144657457632199512535564*c_1100_0^2 + 410731318078233530145381/36164364408049878133891*c_1100_0 - 131199607404401193564216/36164364408049878133891, c_0011_7 - 26071620479515090872569/289314915264399025071128*c_1100_0^18 - 6544900702846454647467/7819322034172946623544*c_1100_0^17 - 95088783236713380454850/36164364408049878133891*c_1100_0^16 - 2299870982021460143158919/289314915264399025071128*c_1100_0^15 - 3654661317983791412624997/289314915264399025071128*c_1100_0^14 - 5566330841255748354419153/289314915264399025071128*c_1100_0^13 - 3905426979757369049150317/289314915264399025071128*c_1100_0^12 + 3465737263742679378563793/289314915264399025071128*c_1100_0^11 + 6933694647946843774486473/289314915264399025071128*c_1100_0^10 + 10711360562181350717212181/289314915264399025071128*c_1100_0^9 + 6155611772834631393776677/289314915264399025071128*c_1100_0^8 - 2287912627272658467546798/36164364408049878133891*c_1100_0^7 - 18177989911508158729838073/289314915264399025071128*c_1100_0^6 + 11002299393510901676208243/289314915264399025071128*c_1100_0^5 + 1599130434048271420819019/36164364408049878133891*c_1100_0^4 - 2672590085845096980941243/289314915264399025071128*c_1100_0^3 - 1335042214320315338950689/144657457632199512535564*c_1100_0^2 + 15972618417277778797974/36164364408049878133891*c_1100_0 - 29230686821275341549104/36164364408049878133891, c_0011_9 + 20944993169357822871985/144657457632199512535564*c_1100_0^18 + 5409626792330939385313/3909661017086473311772*c_1100_0^17 + 165390822233934509887765/36164364408049878133891*c_1100_0^16 + 1989280145710156672978681/144657457632199512535564*c_1100_0^15 + 3327641951712306856173483/144657457632199512535564*c_1100_0^14 + 4963487797703642267720925/144657457632199512535564*c_1100_0^13 + 3624958343102594290829829/144657457632199512535564*c_1100_0^12 - 2899013809282627601846057/144657457632199512535564*c_1100_0^11 - 7716483905963024410803545/144657457632199512535564*c_1100_0^10 - 10289327114867986353147497/144657457632199512535564*c_1100_0^9 - 6321852489533847609886817/144657457632199512535564*c_1100_0^8 + 3725961410016738425717589/36164364408049878133891*c_1100_0^7 + 21018113385971167556993875/144657457632199512535564*c_1100_0^6 - 5912359586331299404791405/144657457632199512535564*c_1100_0^5 - 4301757811991191561218482/36164364408049878133891*c_1100_0^4 - 876881892247287423685463/144657457632199512535564*c_1100_0^3 + 1377120682185850883861377/36164364408049878133891*c_1100_0^2 + 415749491706279685377093/72328728816099756267782*c_1100_0 - 116057750606012679785243/36164364408049878133891, c_0101_0 + 16757322559035828767/94208699206902971368*c_1100_0^18 + 163027566272252959023/94208699206902971368*c_1100_0^17 + 277536498067628525689/47104349603451485684*c_1100_0^16 + 1666977418547451233505/94208699206902971368*c_1100_0^15 + 2893346283780460697861/94208699206902971368*c_1100_0^14 + 4295341539517857344469/94208699206902971368*c_1100_0^13 + 3417470025428290250417/94208699206902971368*c_1100_0^12 - 2100261404725801921553/94208699206902971368*c_1100_0^11 - 6620831356990376421149/94208699206902971368*c_1100_0^10 - 8972614364734763775113/94208699206902971368*c_1100_0^9 - 6030380051892980903913/94208699206902971368*c_1100_0^8 + 5835352331043747629925/47104349603451485684*c_1100_0^7 + 18969516007598898347967/94208699206902971368*c_1100_0^6 - 3070774236037577505087/94208699206902971368*c_1100_0^5 - 7619522822555209663677/47104349603451485684*c_1100_0^4 - 2088790119141804751787/94208699206902971368*c_1100_0^3 + 605312556309111196976/11776087400862871421*c_1100_0^2 + 246082710343616175321/23552174801725742842*c_1100_0 - 48214459765122902585/11776087400862871421, c_0101_10 + 25914046910340977759537/289314915264399025071128*c_1100_0^1\ 8 + 6535130837496875690803/7819322034172946623544*c_1100_0^17 + 96142528017883962285231/36164364408049878133891*c_1100_0^16 + 2335465069878827859031263/289314915264399025071128*c_1100_0^15 + 3740119187554665070835597/289314915264399025071128*c_1100_0^14 + 5751989094786941652491633/289314915264399025071128*c_1100_0^13 + 3913073086975417508671861/289314915264399025071128*c_1100_0^12 - 3341086635159340593170833/289314915264399025071128*c_1100_0^11 - 7956694245582275714103417/289314915264399025071128*c_1100_0^10 - 11447766407231076391505101/289314915264399025071128*c_1100_0^9 - 6357090208546098756930797/289314915264399025071128*c_1100_0^8 + 2259922727410011431676904/36164364408049878133891*c_1100_0^7 + 21033882534356604698941793/289314915264399025071128*c_1100_0^6 - 8384317232891456040361979/289314915264399025071128*c_1100_0^5 - 1984416350846110697519994/36164364408049878133891*c_1100_0^4 + 132862843997222622764411/289314915264399025071128*c_1100_0^3 + 1936528053826190706892661/144657457632199512535564*c_1100_0^2 + 93572613439624469508704/36164364408049878133891*c_1100_0 + 8642703388702319700767/36164364408049878133891, c_0101_7 - 1943726995613631794719/144657457632199512535564*c_1100_0^18 - 281526401838885737219/1954830508543236655886*c_1100_0^17 - 77694989464976724664853/144657457632199512535564*c_1100_0^16 - 209722459161313597351483/144657457632199512535564*c_1100_0^15 - 196478355784387986649587/72328728816099756267782*c_1100_0^14 - 207882042602890386621577/72328728816099756267782*c_1100_0^13 - 165507087250090608735505/72328728816099756267782*c_1100_0^12 + 193251335162244012792089/36164364408049878133891*c_1100_0^11 + 689414181664336704111273/72328728816099756267782*c_1100_0^10 + 503579410991300683491389/72328728816099756267782*c_1100_0^9 + 317092628700814221402589/72328728816099756267782*c_1100_0^8 - 2436088656040033159100865/144657457632199512535564*c_1100_0^7 - 3967350257692821933529985/144657457632199512535564*c_1100_0^6 + 494873665417188160710491/36164364408049878133891*c_1100_0^5 + 4161535023500920272544749/144657457632199512535564*c_1100_0^4 - 659129040932687555677519/144657457632199512535564*c_1100_0^3 - 1767575820333654522687589/144657457632199512535564*c_1100_0^2 + 29833760487398590853392/36164364408049878133891*c_1100_0 + 65622629094486118224931/36164364408049878133891, c_1001_10 + 1526457905116312515/11776087400862871421*c_1100_0^18 + 29845652400081375859/23552174801725742842*c_1100_0^17 + 102544556654941018995/23552174801725742842*c_1100_0^16 + 154296418804489206241/11776087400862871421*c_1100_0^15 + 541790393630076772765/23552174801725742842*c_1100_0^14 + 808284869319724033495/23552174801725742842*c_1100_0^13 + 660515219870334404877/23552174801725742842*c_1100_0^12 - 352326010282558418653/23552174801725742842*c_1100_0^11 - 1225146245722264346183/23552174801725742842*c_1100_0^10 - 1696114891762398299607/23552174801725742842*c_1100_0^9 - 1179489200162386318569/23552174801725742842*c_1100_0^8 + 2073775384373268855847/23552174801725742842*c_1100_0^7 + 1779942495930804201403/11776087400862871421*c_1100_0^6 - 382888947954777848987/23552174801725742842*c_1100_0^5 - 2797004067174564943067/23552174801725742842*c_1100_0^4 - 266068216760751898908/11776087400862871421*c_1100_0^3 + 825794147667180268091/23552174801725742842*c_1100_0^2 + 119358765825235385085/11776087400862871421*c_1100_0 - 21738557717208786113/11776087400862871421, c_1100_0^19 + 9*c_1100_0^18 + 26*c_1100_0^17 + 75*c_1100_0^16 + 99*c_1100_0^15 + 127*c_1100_0^14 + 11*c_1100_0^13 - 283*c_1100_0^12 - 311*c_1100_0^11 - 243*c_1100_0^10 + 45*c_1100_0^9 + 978*c_1100_0^8 + 637*c_1100_0^7 - 1033*c_1100_0^6 - 818*c_1100_0^5 + 543*c_1100_0^4 + 416*c_1100_0^3 - 144*c_1100_0^2 - 80*c_1100_0 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.160 Total time: 0.370 seconds, Total memory usage: 32.09MB