Magma V2.19-8 Tue Aug 20 2013 23:45:30 on localhost [Seed = 2901068139] Type ? for help. Type -D to quit. Loading file "K13n3163__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n3163 geometric_solution 11.17243002 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 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 -1 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.965537059232 1.196790810795 0 5 6 5 0132 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.682865060889 0.785464694210 7 0 8 4 0132 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.190419584705 0.729361871973 6 9 6 0 1230 0132 3120 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 -1 1 0 0 0 0 1 0 0 -1 -3 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.223820625602 0.884598348779 2 9 0 10 3120 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.052473977336 1.349481545662 10 1 11 1 1023 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.682865060889 0.785464694210 10 3 3 1 3120 3012 3120 0132 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 3 -4 1 1 0 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.731181886480 1.062440330073 2 8 11 9 0132 2103 2310 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.813108597197 0.750629408637 11 7 10 2 2310 2103 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 1 -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.766845783567 0.620343168211 11 3 4 7 0132 0132 3012 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.615973353891 0.652114686954 8 5 4 6 2103 1023 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.243808782667 0.524443230557 9 7 8 5 0132 3201 3201 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.652459254370 0.394351611151 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : d['c_0101_5'], 'c_1001_5' : negation(d['c_0011_8']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_8'], 'c_1001_6' : negation(d['c_0011_11']), 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : d['c_0011_11'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_4']), 'c_1001_8' : d['c_0011_0'], 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : negation(d['c_0011_6']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], '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_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : 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' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_1']), 'c_1100_5' : negation(d['c_0011_8']), 'c_1100_4' : negation(d['c_0101_6']), 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_6']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : negation(d['c_0101_1']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_8']), 'c_1100_10' : negation(d['c_0101_6']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_2']), 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0011_8']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : d['c_1001_2'], '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_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' : negation(d['c_0011_11']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : d['c_0101_1'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_11']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_6'], 'c_0101_9' : d['c_0101_5'], 'c_0101_8' : d['c_0101_10'], 'c_0011_10' : d['c_0011_0'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : negation(d['c_0101_11']), 'c_0110_1' : d['c_0011_6'], 'c_1100_9' : negation(d['c_1001_2']), 'c_0110_3' : d['c_0011_6'], 'c_0110_2' : d['c_0101_10'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0101_11']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_4, c_0011_6, c_0011_8, c_0101_1, c_0101_10, c_0101_11, c_0101_3, c_0101_5, c_0101_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 331589434136043196433493/10029119852510538593555*c_1001_2^11 - 6367574613727762904692581/10029119852510538593555*c_1001_2^10 - 43499988360119290085044736/7163657037507527566825*c_1001_2^9 - 58683108761199695569541376/2005823970502107718711*c_1001_2^8 - 756819654728416129487013221/10029119852510538593555*c_1001_2^7 - 5166681825226824092057767083/50145599262552692967775*c_1001_2^6 - 2860095354800644438279830603/50145599262552692967775*c_1001_2^5 + 1157623765836520863437894404/50145599262552692967775*c_1001_2^4 + 2227059649191085194064342924/50145599262552692967775*c_1001_2^3 + 89188181122202937107270721/7163657037507527566825*c_1001_2^2 - 309929942146873364449356703/50145599262552692967775*c_1001_2 - 149783132446432564631418056/50145599262552692967775, c_0011_0 - 1, c_0011_11 + 2163084248602810/863452715143693*c_1001_2^11 + 42115401777984340/863452715143693*c_1001_2^10 + 407476508835266168/863452715143693*c_1001_2^9 + 2004485513375990576/863452715143693*c_1001_2^8 + 5309978182697457483/863452715143693*c_1001_2^7 + 7494928310032867355/863452715143693*c_1001_2^6 + 4434637399684989924/863452715143693*c_1001_2^5 - 1360138701575360015/863452715143693*c_1001_2^4 - 3081511470708962590/863452715143693*c_1001_2^3 - 897281209225827865/863452715143693*c_1001_2^2 + 408496103105595144/863452715143693*c_1001_2 + 196693219516343280/863452715143693, c_0011_4 + 1123510096647335/6044169006005851*c_1001_2^11 + 21151047723093595/6044169006005851*c_1001_2^10 + 198585493964490803/6044169006005851*c_1001_2^9 + 131931143411782515/863452715143693*c_1001_2^8 + 2256827358550821402/6044169006005851*c_1001_2^7 + 2846845120549049716/6044169006005851*c_1001_2^6 + 1360113211443130743/6044169006005851*c_1001_2^5 - 675520770522976355/6044169006005851*c_1001_2^4 - 1008107702896591992/6044169006005851*c_1001_2^3 - 248349843692623804/6044169006005851*c_1001_2^2 + 119729911570992631/6044169006005851*c_1001_2 + 61301616314002621/6044169006005851, c_0011_6 + 994921200798895/6044169006005851*c_1001_2^11 + 19458724118955075/6044169006005851*c_1001_2^10 + 188258039316064796/6044169006005851*c_1001_2^9 + 132007816298607079/863452715143693*c_1001_2^8 + 2402897058961651026/6044169006005851*c_1001_2^7 + 3230081714643412418/6044169006005851*c_1001_2^6 + 1674389083578930532/6044169006005851*c_1001_2^5 - 747203429646496059/6044169006005851*c_1001_2^4 - 1232048291538708323/6044169006005851*c_1001_2^3 - 317626440529608286/6044169006005851*c_1001_2^2 + 161906572315177217/6044169006005851*c_1001_2 + 74735121196677713/6044169006005851, c_0011_8 + 4235565854788725/863452715143693*c_1001_2^11 + 81380043167751485/863452715143693*c_1001_2^10 + 777908373526252715/863452715143693*c_1001_2^9 + 3741961284642606383/863452715143693*c_1001_2^8 + 9588522842690556362/863452715143693*c_1001_2^7 + 12878945089646241939/863452715143693*c_1001_2^6 + 6834329168017521413/863452715143693*c_1001_2^5 - 2956845522071405556/863452715143693*c_1001_2^4 - 5097675930285565612/863452715143693*c_1001_2^3 - 1232434090196435645/863452715143693*c_1001_2^2 + 701317018225864527/863452715143693*c_1001_2 + 293030150794802777/863452715143693, c_0101_1 + 1491129328486435/6044169006005851*c_1001_2^11 + 27752566942893755/6044169006005851*c_1001_2^10 + 258124503011998538/6044169006005851*c_1001_2^9 + 168446792265132344/863452715143693*c_1001_2^8 + 2818467833472545410/6044169006005851*c_1001_2^7 + 3474254427969859262/6044169006005851*c_1001_2^6 + 1628713557220017840/6044169006005851*c_1001_2^5 - 773739660596897800/6044169006005851*c_1001_2^4 - 1131361215920988541/6044169006005851*c_1001_2^3 - 255737208755377007/6044169006005851*c_1001_2^2 + 135616026411272726/6044169006005851*c_1001_2 + 60019747563262114/6044169006005851, c_0101_10 + 3883818146479855/6044169006005851*c_1001_2^11 + 72489017526567780/6044169006005851*c_1001_2^10 + 675186372547133024/6044169006005851*c_1001_2^9 + 441486355391139188/863452715143693*c_1001_2^8 + 7361611847537235532/6044169006005851*c_1001_2^7 + 8871208717212860126/6044169006005851*c_1001_2^6 + 3607942020672118144/6044169006005851*c_1001_2^5 - 2833176514545288768/6044169006005851*c_1001_2^4 - 3336619663580410673/6044169006005851*c_1001_2^3 - 591517138430896142/6044169006005851*c_1001_2^2 + 490343484556429971/6044169006005851*c_1001_2 + 184397419737431909/6044169006005851, c_0101_11 + 17156389991777430/6044169006005851*c_1001_2^11 + 325152532524925155/6044169006005851*c_1001_2^10 + 3070819511923919964/6044169006005851*c_1001_2^9 + 2062890496849777738/863452715143693*c_1001_2^8 + 35827548660873117656/6044169006005851*c_1001_2^7 + 45978557617202334084/6044169006005851*c_1001_2^6 + 22121145411650689925/6044169006005851*c_1001_2^5 - 12017857018707605277/6044169006005851*c_1001_2^4 - 17442721537303010499/6044169006005851*c_1001_2^3 - 3648090179063746768/6044169006005851*c_1001_2^2 + 2440013955630710845/6044169006005851*c_1001_2 + 938328287258075017/6044169006005851, c_0101_3 + 12609604937313585/6044169006005851*c_1001_2^11 + 244080535021929990/6044169006005851*c_1001_2^10 + 2349938549411584098/6044169006005851*c_1001_2^9 + 1636918530605116508/863452715143693*c_1001_2^8 + 30008538571009956541/6044169006005851*c_1001_2^7 + 41751888564464999569/6044169006005851*c_1001_2^6 + 24056741683249389223/6044169006005851*c_1001_2^5 - 8116120843900045016/6044169006005851*c_1001_2^4 - 17137803301295406907/6044169006005851*c_1001_2^3 - 4835668890611168356/6044169006005851*c_1001_2^2 + 2297339064845717017/6044169006005851*c_1001_2 + 1082773806829564812/6044169006005851, c_0101_5 + 19360508639954455/6044169006005851*c_1001_2^11 + 370496014620109655/6044169006005851*c_1001_2^10 + 3528202085530341204/6044169006005851*c_1001_2^9 + 2407094580415147378/863452715143693*c_1001_2^8 + 42685015493730911632/6044169006005851*c_1001_2^7 + 56260949751848740298/6044169006005851*c_1001_2^6 + 28430389658715770192/6044169006005851*c_1001_2^5 - 14092045947805524826/6044169006005851*c_1001_2^4 - 21904449874900980008/6044169006005851*c_1001_2^3 - 4753739132443114976/6044169006005851*c_1001_2^2 + 3066129085126222420/6044169006005851*c_1001_2 + 1183992015071646408/6044169006005851, c_0101_6 + 627301968959795/6044169006005851*c_1001_2^11 + 12857204899154915/6044169006005851*c_1001_2^10 + 128719030268557061/6044169006005851*c_1001_2^9 + 95492167445257250/863452715143693*c_1001_2^8 + 1841256584039927018/6044169006005851*c_1001_2^7 + 2602672407222602872/6044169006005851*c_1001_2^6 + 1405788737802043435/6044169006005851*c_1001_2^5 - 648984539572574614/6044169006005851*c_1001_2^4 - 1108794778514311774/6044169006005851*c_1001_2^3 - 310239075466855083/6044169006005851*c_1001_2^2 + 152064626480902973/6044169006005851*c_1001_2 + 82061158953424071/6044169006005851, c_1001_2^12 + 20*c_1001_2^11 + 994/5*c_1001_2^10 + 5142/5*c_1001_2^9 + 2963*c_1001_2^8 + 24196/5*c_1001_2^7 + 20209/5*c_1001_2^6 + 604*c_1001_2^5 - 8762/5*c_1001_2^4 - 6288/5*c_1001_2^3 - 361/5*c_1001_2^2 + 202*c_1001_2 + 281/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.730 Total time: 0.940 seconds, Total memory usage: 32.09MB