Magma V2.19-8 Tue Aug 20 2013 16:17:11 on localhost [Seed = 155751897] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1426 geometric_solution 5.25925026 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 1.444612810753 0.207484971061 0 2 2 0 3201 0132 1023 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 1.129131305250 0.246431661624 3 1 1 4 0132 0132 1023 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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.853465534375 0.422087382650 2 5 4 6 0132 0132 3201 0132 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 -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.319298333477 0.747368163677 3 6 2 5 2310 1023 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0.319298333477 0.747368163677 5 3 5 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.551958900537 0.551362909445 4 6 3 6 1023 2310 0132 3201 0 0 0 0 0 1 0 -1 1 0 0 -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 1 0 -1 1 0 0 -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.483411370720 1.131500639236 ==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' : 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' : negation(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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0110_5'], 'c_1010_6' : negation(d['c_0110_5']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_2'], '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_4, c_0101_0, c_0101_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 10246179546382862318605042541783619383/1361670030161595233215010915\ 77676155*c_0110_5^24 + 177937413949423334078967692975231152398/1361\ 67003016159523321501091577676155*c_0110_5^22 - 3998262716429353281660183052228753849/47444948786118300808885397762\ 2565*c_0110_5^20 - 8780857716673551561981053062602163848449/1361670\ 03016159523321501091577676155*c_0110_5^18 + 19395901123205326535452578930055086379892/1945242900230850333164301\ 3082525165*c_0110_5^16 - 3903620763864768725799617769464959413550/8\ 78496793652642085945168332759201*c_0110_5^14 + 1381241653733226246871544606402917329519367/13616700301615952332150\ 1091577676155*c_0110_5^12 - 221786257907539726692016022489157338019\ 883/19452429002308503331643013082525165*c_0110_5^10 + 122837381199454918377770501152244123547003/194524290023085033316430\ 13082525165*c_0110_5^8 - 8685971727954541298682395814582663020844/4\ 392483968263210429725841663796005*c_0110_5^6 + 84865174295126874321232929953888175887002/1361670030161595233215010\ 91577676155*c_0110_5^4 - 21628006668176478897351463874099668654988/\ 136167003016159523321501091577676155*c_0110_5^2 + 645393393011051614583936413622081453544/136167003016159523321501091\ 577676155, c_0011_0 - 1, c_0011_1 + 74676156942836743240972766/1422737702612641740205230973*c_01\ 10_5^24 - 1287609047234216680984004769/1422737702612641740205230973\ *c_0110_5^22 + 1172798916706762178116805329/20324824323037739145789\ 0139*c_0110_5^20 + 64918802168562871574899179856/142273770261264174\ 0205230973*c_0110_5^18 - 140134822056513865156711193216/20324824323\ 0377391457890139*c_0110_5^16 + 138506920375231142155289635303/45894\ 764600407798071136483*c_0110_5^14 - 9606036312940300317185557852523/1422737702612641740205230973*c_0110\ _5^12 + 1486448231539268265123819569965/203248243230377391457890139\ *c_0110_5^10 - 789696204454168743654562519272/203248243230377391457\ 890139*c_0110_5^8 + 55535400346716355658302816114/45894764600407798\ 071136483*c_0110_5^6 - 550907163056585895972912305574/1422737702612\ 641740205230973*c_0110_5^4 + 132198573076650489879199953404/1422737\ 702612641740205230973*c_0110_5^2 - 3425225977198986278640173345/1422737702612641740205230973, c_0011_4 - 196339032557700602983876498975/16200714219650151495716965089\ 551*c_0110_5^25 + 3275751644267507284194728209773/16200714219650151\ 495716965089551*c_0110_5^23 - 2819158371579483386764179378898/23143\ 87745664307356530995012793*c_0110_5^21 - 182072890455677708566230619521456/16200714219650151495716965089551*\ c_0110_5^19 + 354253389584998230646958652705610/2314387745664307356\ 530995012793*c_0110_5^17 - 318892969261925642947121645154503/522603\ 684504843596636031131921*c_0110_5^15 + 19455530629528372341563313788576345/1620071421965015149571696508955\ 1*c_0110_5^13 - 2181445231790022939817694684857529/2314387745664307\ 356530995012793*c_0110_5^11 + 469189389954642524782897480615182/231\ 4387745664307356530995012793*c_0110_5^9 + 7247024676225750377165068526447/522603684504843596636031131921*c_01\ 10_5^7 + 65404771261303755656518725073424/1620071421965015149571696\ 5089551*c_0110_5^5 + 113516515833453690418846634187951/162007142196\ 50151495716965089551*c_0110_5^3 - 39376874528757658709778589180792/\ 16200714219650151495716965089551*c_0110_5, c_0101_0 - 148103723170350820149100323693/16200714219650151495716965089\ 551*c_0110_5^25 + 2545405915238964716773971264752/16200714219650151\ 495716965089551*c_0110_5^23 - 2310507820802313168065034286034/23143\ 87745664307356530995012793*c_0110_5^21 - 129087803763601657037015864593634/16200714219650151495716965089551*\ c_0110_5^19 + 276402517249358364533717580018462/2314387745664307356\ 530995012793*c_0110_5^17 - 272216992711158546456618363373924/522603\ 684504843596636031131921*c_0110_5^15 + 19010129206800030941497950083015596/1620071421965015149571696508955\ 1*c_0110_5^13 - 3044168251584635455053781463459773/2314387745664307\ 356530995012793*c_0110_5^11 + 1895278924592361925053632603890383/23\ 14387745664307356530995012793*c_0110_5^9 - 182602743725716797774941663272605/522603684504843596636031131921*c_\ 0110_5^7 + 1852622157282611442179874684650770/162007142196501514957\ 16965089551*c_0110_5^5 - 514681010796758486005275956809479/16200714\ 219650151495716965089551*c_0110_5^3 + 118885425918688994627146665025856/16200714219650151495716965089551*\ c_0110_5, c_0101_2 + 1581293312285388414641518060374/1620071421965015149571696508\ 9551*c_0110_5^25 - 27307579378073582886253075609162/162007142196501\ 51495716965089551*c_0110_5^23 + 24933964800954868472820561021571/23\ 14387745664307356530995012793*c_0110_5^21 + 1370528610811131955768071030194688/16200714219650151495716965089551\ *c_0110_5^19 - 2973037759241806764420015318234540/23143877456643073\ 56530995012793*c_0110_5^17 + 2949935154870021621992662763891439/522\ 603684504843596636031131921*c_0110_5^15 - 205469828575630642252057554421065236/162007142196501514957169650895\ 51*c_0110_5^13 + 32034326653247868899724167492143743/23143877456643\ 07356530995012793*c_0110_5^11 - 17108867622698511988567003353491918\ /2314387745664307356530995012793*c_0110_5^9 + 1181001969445404474580193910353683/522603684504843596636031131921*c\ _0110_5^7 - 11490295657209263174346143883175434/1620071421965015149\ 5716965089551*c_0110_5^5 + 2798824610295175181024481257809757/16200\ 714219650151495716965089551*c_0110_5^3 - 24247500490246032333248080930088/16200714219650151495716965089551*c\ _0110_5, c_0101_3 + 80235894439325369850512116/1422737702612641740205230973*c_01\ 10_5^24 - 1385691647212790915262748181/1422737702612641740205230973\ *c_0110_5^22 + 1265557187349831853903606986/20324824323037739145789\ 0139*c_0110_5^20 + 69511523342686365202657416713/142273770261264174\ 0205230973*c_0110_5^18 - 150847371143052439932731310578/20324824323\ 0377391457890139*c_0110_5^16 + 149756215922050600851477986167/45894\ 764600407798071136483*c_0110_5^14 - 10446112587571716864683867304337/1422737702612641740205230973*c_011\ 0_5^12 + 1635590006236702417080362967810/20324824323037739145789013\ 9*c_0110_5^10 - 886253497969144564547109767088/20324824323037739145\ 7890139*c_0110_5^8 + 62919836282821275767129538058/4589476460040779\ 8071136483*c_0110_5^6 - 611151132763380414361639520712/142273770261\ 2641740205230973*c_0110_5^4 + 151185265464611919366709408423/142273\ 7702612641740205230973*c_0110_5^2 - 4144448290735827274076690508/1422737702612641740205230973, c_0110_5^26 - 18*c_0110_5^24 + 123*c_0110_5^22 + 786*c_0110_5^20 - 13794*c_0110_5^18 + 67451*c_0110_5^16 - 172239*c_0110_5^14 + 236990*c_0110_5^12 - 180026*c_0110_5^10 + 79552*c_0110_5^8 - 24985*c_0110_5^6 + 7374*c_0110_5^4 - 1405*c_0110_5^2 + 41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB