Magma V2.19-8 Tue Aug 20 2013 23:40:14 on localhost [Seed = 2277630779] Type ? for help. Type -D to quit. Loading file "K9a24__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K9a24 geometric_solution 10.05772964 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.272039095865 1.148968908546 0 5 7 6 0132 0132 0132 0132 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 0 0 0 1 0 -1 0 -7 0 0 7 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.097106437414 1.098157012331 5 0 3 3 0132 0132 0213 3120 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 1 0 -1 0 0 1 -1 -6 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.239385851204 0.604999402791 2 2 5 0 3120 0213 0132 0132 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 0 0 0 1 0 0 -1 -6 -1 0 7 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.239385851204 0.604999402791 6 7 0 5 0132 0132 0132 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 1 -1 0 0 0 0 0 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.097106437414 1.098157012331 2 1 4 3 0132 0132 0132 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 -1 0 1 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.272039095865 1.148968908546 4 8 1 9 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.042332277916 0.823225468496 8 4 10 1 0132 0132 0132 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 -1 1 0 0 0 -1 1 -1 0 0 1 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.042332277916 0.823225468496 7 6 9 10 0132 0132 2103 0321 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 1 -1 0 0 0 0 0 -7 0 7 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.253361673033 1.310670185408 8 10 6 10 2103 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 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.735381605045 0.891149694536 9 8 9 7 1230 0321 0132 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 1 0 -1 -1 0 0 1 1 -7 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.735381605045 0.891149694536 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_10' : negation(d['c_0101_10']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_1001_5'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_10' : d['c_1001_5'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : negation(d['1']), '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_0_8' : d['1'], 's_0_9' : negation(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_1100_9' : d['c_1100_1'], 'c_1100_8' : negation(d['c_0101_10']), 'c_1100_5' : d['c_1100_0'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1100_1'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0011_3']), 'c_1100_10' : d['c_1100_1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_5'], 'c_1010_3' : negation(d['c_0011_3']), 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : d['c_1001_5'], '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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : d['c_0011_4'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : negation(d['c_0011_10']), 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : d['c_0101_1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_1'], '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_4, c_0101_0, c_0101_1, c_0101_10, c_1001_1, c_1001_5, c_1100_0, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 9366487596333785374938734/11336727709919055147329*c_1100_1^19 + 291972060491555927419285019/11336727709919055147329*c_1100_1^18 - 3766499971585418251964663380/11336727709919055147329*c_1100_1^17 + 26891640735901319685158222300/11336727709919055147329*c_1100_1^16 - 119959532552350577326494983020/11336727709919055147329*c_1100_1^15 + 372184814747369514330362900505/11336727709919055147329*c_1100_1^14 - 862322004666167698605299419339/11336727709919055147329*c_1100_1^13 + 1560920628116861964770433628584/11336727709919055147329*c_1100_1^12 - 2270208255499770940932583976138/11336727709919055147329*c_1100_1^\ 11 + 2696344349770017012402818934222/11336727709919055147329*c_1100\ _1^10 - 2633720756906489602469916028586/11336727709919055147329*c_1\ 100_1^9 + 2113271235127797230031743466243/11336727709919055147329*c\ _1100_1^8 - 1379265131403127511433691671083/11336727709919055147329\ *c_1100_1^7 + 717125595722003751812573809912/1133672770991905514732\ 9*c_1100_1^6 - 286069816922465597756710773504/113367277099190551473\ 29*c_1100_1^5 + 81805199726640333532961256165/113367277099190551473\ 29*c_1100_1^4 - 14622515883324421950676522387/113367277099190551473\ 29*c_1100_1^3 + 1144915990097028049405495906/1133672770991905514732\ 9*c_1100_1^2 - 115882542671208005610385/75077666953106325479*c_1100\ _1 + 16259539719422661638431899/11336727709919055147329, c_0011_0 - 1, c_0011_10 + 21651428045496091567135/11336727709919055147329*c_1100_1^19 - 688424169170115363872301/11336727709919055147329*c_1100_1^18 + 9120830834543820738456537/11336727709919055147329*c_1100_1^17 - 67387481581875409737126579/11336727709919055147329*c_1100_1^16 + 313501557308811806696886255/11336727709919055147329*c_1100_1^15 - 1015736162393357360791718855/11336727709919055147329*c_1100_1^14 + 2455883596096764329373600530/11336727709919055147329*c_1100_1^13 - 4635074266284319602338017713/11336727709919055147329*c_1100_1^12 + 7026498790711730756227252621/11336727709919055147329*c_1100_1^11 - 8703116828035695689734052405/11336727709919055147329*c_1100_1^10 + 8880165412053262331238357500/11336727709919055147329*c_1100_1^9 - 7466517229068041288435283658/11336727709919055147329*c_1100_1^8 + 5133031065764680078249871951/11336727709919055147329*c_1100_1^7 - 2834360205941379612684569220/11336727709919055147329*c_1100_1^6 + 1217046889267835681173069414/11336727709919055147329*c_1100_1^5 - 383553305008056130908654125/11336727709919055147329*c_1100_1^4 + 79334753121483103155145729/11336727709919055147329*c_1100_1^3 - 8233153917719069423057242/11336727709919055147329*c_1100_1^2 + 1048449767963524871569/75077666953106325479*c_1100_1 - 53285355801177359623295/11336727709919055147329, c_0011_3 - 179448114656984546821155/11336727709919055147329*c_1100_1^19 + 5624951455775067329544774/11336727709919055147329*c_1100_1^18 - 73121213832803748780286230/11336727709919055147329*c_1100_1^17 + 527388460235274719807324757/11336727709919055147329*c_1100_1^16 - 2383310000678433783528605430/11336727709919055147329*c_1100_1^15 + 7499286989489617717907543540/11336727709919055147329*c_1100_1^14 - 17631004322661914688175244261/11336727709919055147329*c_1100_1^13 + 32400870900009196382297236115/11336727709919055147329*c_1100_1^12 - 47878931150531145677381818250/11336727709919055147329*c_1100_1^11 + 57847159191139439436042917743/11336727709919055147329*c_1100_1^10 - 57586081254175377999620063950/11336727709919055147329*c_1100_1^9 + 47226354893528880096637834266/11336727709919055147329*c_1100_1^8 - 31643031686385344553015735085/11336727709919055147329*c_1100_1^7 + 17009708029444194741558179417/11336727709919055147329*c_1100_1^6 - 7100868182492164736339241812/11336727709919055147329*c_1100_1^5 + 2174854495151675651658221815/11336727709919055147329*c_1100_1^4 - 439390153565339972301089872/11336727709919055147329*c_1100_1^3 + 46458229535689094231023851/11336727709919055147329*c_1100_1^2 - 10373841555287773072268/75077666953106325479*c_1100_1 + 278459162014406773514483/11336727709919055147329, c_0011_4 + c_1100_1, c_0101_0 - 92007735620513787423628/11336727709919055147329*c_1100_1^19 + 2898220534551204648798622/11336727709919055147329*c_1100_1^18 - 37925224114382019204683959/11336727709919055147329*c_1100_1^17 + 275873693971572626711014901/11336727709919055147329*c_1100_1^16 - 1259768477276838016719561712/11336727709919055147329*c_1100_1^15 + 4006414668258912735782437707/11336727709919055147329*c_1100_1^14 - 9516116215916408489952744882/11336727709919055147329*c_1100_1^13 + 17658503523106028783541558491/11336727709919055147329*c_1100_1^12 - 26336539592781762422003129708/11336727709919055147329*c_1100_1^11 + 32105242620319883955560848083/11336727709919055147329*c_1100_1^10 - 32242252803570022630623837452/11336727709919055147329*c_1100_1^9 + 26675364663674276540297473002/11336727709919055147329*c_1100_1^8 - 18034045125778434828453339128/11336727709919055147329*c_1100_1^7 + 9783999521347681163135503640/11336727709919055147329*c_1100_1^6 - 4123350912759728660528646565/11336727709919055147329*c_1100_1^5 + 1274690482599006533759564578/11336727709919055147329*c_1100_1^4 - 259306185273763281804846147/11336727709919055147329*c_1100_1^3 + 27161839293603257150443274/11336727709919055147329*c_1100_1^2 - 5123317900965640118782/75077666953106325479*c_1100_1 + 164375035526389595504093/11336727709919055147329, c_0101_1 - 12058367573324817660646/11336727709919055147329*c_1100_1^19 + 375691430745915418990774/11336727709919055147329*c_1100_1^18 - 4843505735335381807368406/11336727709919055147329*c_1100_1^17 + 34556006969130653124863218/11336727709919055147329*c_1100_1^16 - 154001982433558793490500627/11336727709919055147329*c_1100_1^15 + 477105685109155557039240759/11336727709919055147329*c_1100_1^14 - 1102327069738882164069193720/11336727709919055147329*c_1100_1^13 + 1986253461148383670088369450/11336727709919055147329*c_1100_1^12 - 2869608712934089457717567989/11336727709919055147329*c_1100_1^11 + 3377221390176751047428830481/11336727709919055147329*c_1100_1^10 - 3258659518445354867692961766/11336727709919055147329*c_1100_1^9 + 2572309164055558455906875959/11336727709919055147329*c_1100_1^8 - 1641876221954997461081536955/11336727709919055147329*c_1100_1^7 + 827271873647155667821451221/11336727709919055147329*c_1100_1^6 - 314850020519640631975760697/11336727709919055147329*c_1100_1^5 + 83315514391645398481558816/11336727709919055147329*c_1100_1^4 - 12713957492172563330298562/11336727709919055147329*c_1100_1^3 + 544819298017970610864609/11336727709919055147329*c_1100_1^2 + 286130800845783971450/75077666953106325479*c_1100_1 + 5781115637555971965192/11336727709919055147329, c_0101_10 + 11908478724283029830223/11336727709919055147329*c_1100_1^19 - 373319191835301735587949/11336727709919055147329*c_1100_1^18 + 4855193909456616524825883/11336727709919055147329*c_1100_1^17 - 35060224583090910537711031/11336727709919055147329*c_1100_1^16 + 158832412455566719930222714/11336727709919055147329*c_1100_1^15 - 501824997991654886219524825/11336727709919055147329*c_1100_1^14 + 1186047286739528284666270536/11336727709919055147329*c_1100_1^13 - 2192972837350490779746455065/11336727709919055147329*c_1100_1^12 + 3262357403332196684856873633/11336727709919055147329*c_1100_1^11 - 3969981464893380351600332638/11336727709919055147329*c_1100_1^10 + 3982337020703845031809947120/11336727709919055147329*c_1100_1^9 - 3292503303215086838864323632/11336727709919055147329*c_1100_1^8 + 2225149942833063663972787301/11336727709919055147329*c_1100_1^7 - 1207055819470130617801197576/11336727709919055147329*c_1100_1^6 + 508637245439522356107333023/11336727709919055147329*c_1100_1^5 - 157189289966423076498085882/11336727709919055147329*c_1100_1^4 + 31979524942068515107176430/11336727709919055147329*c_1100_1^3 - 3405381569172991168266028/11336727709919055147329*c_1100_1^2 + 994607788205257569492/75077666953106325479*c_1100_1 - 31861305867210425507198/11336727709919055147329, c_1001_1 + 92007735620513787423628/11336727709919055147329*c_1100_1^19 - 2898220534551204648798622/11336727709919055147329*c_1100_1^18 + 37925224114382019204683959/11336727709919055147329*c_1100_1^17 - 275873693971572626711014901/11336727709919055147329*c_1100_1^16 + 1259768477276838016719561712/11336727709919055147329*c_1100_1^15 - 4006414668258912735782437707/11336727709919055147329*c_1100_1^14 + 9516116215916408489952744882/11336727709919055147329*c_1100_1^13 - 17658503523106028783541558491/11336727709919055147329*c_1100_1^12 + 26336539592781762422003129708/11336727709919055147329*c_1100_1^11 - 32105242620319883955560848083/11336727709919055147329*c_1100_1^10 + 32242252803570022630623837452/11336727709919055147329*c_1100_1^9 - 26675364663674276540297473002/11336727709919055147329*c_1100_1^8 + 18034045125778434828453339128/11336727709919055147329*c_1100_1^7 - 9783999521347681163135503640/11336727709919055147329*c_1100_1^6 + 4123350912759728660528646565/11336727709919055147329*c_1100_1^5 - 1274690482599006533759564578/11336727709919055147329*c_1100_1^4 + 259306185273763281804846147/11336727709919055147329*c_1100_1^3 - 27161839293603257150443274/11336727709919055147329*c_1100_1^2 + 5123317900965640118782/75077666953106325479*c_1100_1 - 164375035526389595504093/11336727709919055147329, c_1001_5 + 12058367573324817660646/11336727709919055147329*c_1100_1^19 - 375691430745915418990774/11336727709919055147329*c_1100_1^18 + 4843505735335381807368406/11336727709919055147329*c_1100_1^17 - 34556006969130653124863218/11336727709919055147329*c_1100_1^16 + 154001982433558793490500627/11336727709919055147329*c_1100_1^15 - 477105685109155557039240759/11336727709919055147329*c_1100_1^14 + 1102327069738882164069193720/11336727709919055147329*c_1100_1^13 - 1986253461148383670088369450/11336727709919055147329*c_1100_1^12 + 2869608712934089457717567989/11336727709919055147329*c_1100_1^11 - 3377221390176751047428830481/11336727709919055147329*c_1100_1^10 + 3258659518445354867692961766/11336727709919055147329*c_1100_1^9 - 2572309164055558455906875959/11336727709919055147329*c_1100_1^8 + 1641876221954997461081536955/11336727709919055147329*c_1100_1^7 - 827271873647155667821451221/11336727709919055147329*c_1100_1^6 + 314850020519640631975760697/11336727709919055147329*c_1100_1^5 - 83315514391645398481558816/11336727709919055147329*c_1100_1^4 + 12713957492172563330298562/11336727709919055147329*c_1100_1^3 - 544819298017970610864609/11336727709919055147329*c_1100_1^2 - 286130800845783971450/75077666953106325479*c_1100_1 - 5781115637555971965192/11336727709919055147329, c_1100_0 - 1, c_1100_1^20 - 32*c_1100_1^19 + 428*c_1100_1^18 - 3206*c_1100_1^17 + 15210*c_1100_1^16 - 50520*c_1100_1^15 + 125757*c_1100_1^14 - 245301*c_1100_1^13 + 385902*c_1100_1^12 - 498467*c_1100_1^11 + 533786*c_1100_1^10 - 475162*c_1100_1^9 + 350205*c_1100_1^8 - 211271*c_1100_1^7 + 102156*c_1100_1^6 - 38221*c_1100_1^5 + 10428*c_1100_1^4 - 1865*c_1100_1^3 + 177*c_1100_1^2 - 7*c_1100_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.280 seconds, Total memory usage: 32.09MB