Magma V2.19-8 Tue Aug 20 2013 23:40:35 on localhost [Seed = 2395531801] Type ? for help. Type -D to quit. Loading file "K12n349__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n349 geometric_solution 11.39641916 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 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.691440381925 0.715477867527 0 5 7 6 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 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.349858674890 0.699590762965 8 0 10 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 0 0 0 0 0 0 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.514206113634 0.737334144863 8 6 9 0 2031 2310 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 8 1 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.446588445361 0.806356778750 7 11 0 5 0132 0132 0132 3120 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 -1 1 0 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.883888011815 0.866883924837 4 1 10 8 3120 0132 3120 1023 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 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.542337526101 0.596317168837 11 10 1 3 3120 3120 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.469927394207 0.693154166896 4 10 9 1 0132 1023 1302 0132 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 1 -1 0 0 0 0 0 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.563106174812 0.464641139834 2 11 3 5 0132 1230 1302 1023 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 0 0 -8 8 -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.485517757545 0.639889676409 7 11 2 3 2031 2031 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 0 0 0 -1 0 0 1 0 -9 0 9 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.437555521802 0.856909647599 7 6 5 2 1023 3120 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 0 0 0 0 0 0 0 -1 0 1 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.603128881055 0.471276457414 9 4 8 6 1302 0132 3012 3120 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 1 -1 0 1 0 -1 0 0 0 0 0 9 -8 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.509774153482 1.106779296729 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_0']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_1001_10']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : negation(d['c_1001_10']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0110_11']), 'c_1001_3' : d['c_0011_10'], 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : negation(d['c_0110_11']), 'c_1001_8' : d['c_0101_0'], 'c_1010_11' : negation(d['c_0011_6']), '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' : negation(d['c_0011_9']), '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_10'], 'c_1100_8' : d['c_0101_10'], 'c_1100_5' : negation(d['c_0101_10']), 'c_1100_4' : negation(d['c_0101_5']), 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : negation(d['c_0101_5']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_0']), 'c_1100_10' : negation(d['c_0101_5']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0110_11']), 'c_1010_2' : negation(d['c_0110_11']), 'c_1010_1' : negation(d['c_1001_10']), 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : negation(d['c_0011_9']), '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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_10'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_2'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_9']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : negation(d['c_0011_3']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_5']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0011_9']), 'c_0110_4' : negation(d['c_0011_9']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0110_11']})} 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_10, c_0011_3, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_5, c_0110_11, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 7094920143979175399573672/1367113644063884428889485*c_1001_10^15 - 13433657869303238949754072/1367113644063884428889485*c_1001_10^14 - 793644030491783609929524/39060389830396697968271*c_1001_10^13 - 82839885688540576827280453/1367113644063884428889485*c_1001_10^12 - 38460066401505651005117319/273422728812776885777897*c_1001_10^11 + 77411214551462041125472672/1367113644063884428889485*c_1001_10^10 + 913584518822281875665994537/1367113644063884428889485*c_1001_10^9 + 84390510166822998865893498/1367113644063884428889485*c_1001_10^8 - 3937865675693913051475156727/1367113644063884428889485*c_1001_10^7 - 708408962950619109278201396/195301949151983489841355*c_1001_10^6 + 2882144965036017025222688077/1367113644063884428889485*c_1001_10^5 + 5712293544621540038674291903/1367113644063884428889485*c_1001_10^4 - 5037203724286631300238267319/1367113644063884428889485*c_1001_10^3 - 9588970176639299574382374641/1367113644063884428889485*c_1001_10^2 - 3969983197716765227134725618/1367113644063884428889485*c_1001_10 - 646177366387918322907357153/1367113644063884428889485, c_0011_0 - 1, c_0011_10 + 48850318180258936699/165931987384862778115*c_1001_10^15 + 91842415248566014066/165931987384862778115*c_1001_10^14 + 190139593834889504907/165931987384862778115*c_1001_10^13 + 568014403962877419956/165931987384862778115*c_1001_10^12 + 1317356993071152548618/165931987384862778115*c_1001_10^11 - 549784366928792393763/165931987384862778115*c_1001_10^10 - 1255531660177465891553/33186397476972555623*c_1001_10^9 - 498102318728254880599/165931987384862778115*c_1001_10^8 + 27115827436057398599103/165931987384862778115*c_1001_10^7 + 33761140017109673317494/165931987384862778115*c_1001_10^6 - 20238947260094885647076/165931987384862778115*c_1001_10^5 - 38948220367876534965782/165931987384862778115*c_1001_10^4 + 35241870226806833217838/165931987384862778115*c_1001_10^3 + 65366258752702338806294/165931987384862778115*c_1001_10^2 + 26401688773837444682532/165931987384862778115*c_1001_10 + 902197965719611213174/33186397476972555623, c_0011_3 - 5177788341537353579/165931987384862778115*c_1001_10^15 - 15306909189681864918/165931987384862778115*c_1001_10^14 - 24042879035894365106/165931987384862778115*c_1001_10^13 - 15554547991527214925/33186397476972555623*c_1001_10^12 - 183503249515137063891/165931987384862778115*c_1001_10^11 - 8193346591987585794/33186397476972555623*c_1001_10^10 + 843430631870549972071/165931987384862778115*c_1001_10^9 + 555400784280837423609/165931987384862778115*c_1001_10^8 - 3385421273342678221231/165931987384862778115*c_1001_10^7 - 6034137833404828356332/165931987384862778115*c_1001_10^6 + 1100976156106597296636/165931987384862778115*c_1001_10^5 + 7460451568644035363612/165931987384862778115*c_1001_10^4 - 627597597455849189259/33186397476972555623*c_1001_10^3 - 11202832233134538256572/165931987384862778115*c_1001_10^2 - 5383421697631906113082/165931987384862778115*c_1001_10 - 992674234054188075379/165931987384862778115, c_0011_6 - 2379845237419450081/165931987384862778115*c_1001_10^15 - 3714486350567985207/165931987384862778115*c_1001_10^14 - 9818955953389383479/165931987384862778115*c_1001_10^13 - 5062398931867103426/33186397476972555623*c_1001_10^12 - 61115230550906292884/165931987384862778115*c_1001_10^11 + 6797801735824929061/33186397476972555623*c_1001_10^10 + 268375003765557266049/165931987384862778115*c_1001_10^9 + 3776318383753650311/165931987384862778115*c_1001_10^8 - 1176063003972095837964/165931987384862778115*c_1001_10^7 - 1467856590592335030753/165931987384862778115*c_1001_10^6 + 723621569361200332519/165931987384862778115*c_1001_10^5 + 1553497964418478313948/165931987384862778115*c_1001_10^4 - 214454674220153938799/33186397476972555623*c_1001_10^3 - 2831820919270105321468/165931987384862778115*c_1001_10^2 - 1691869147618714588223/165931987384862778115*c_1001_10 - 253937022062037392521/165931987384862778115, c_0011_9 - 31118388509660276037/165931987384862778115*c_1001_10^15 - 51606974238234295059/165931987384862778115*c_1001_10^14 - 23262370213524606531/33186397476972555623*c_1001_10^13 - 340122627853655186401/165931987384862778115*c_1001_10^12 - 784017663337101267553/165931987384862778115*c_1001_10^11 + 472551221471282097502/165931987384862778115*c_1001_10^10 + 3781880062045670729187/165931987384862778115*c_1001_10^9 - 302958263816316287838/165931987384862778115*c_1001_10^8 - 16626710636887615365598/165931987384862778115*c_1001_10^7 - 18506398053096761649774/165931987384862778115*c_1001_10^6 + 14137245819533112615292/165931987384862778115*c_1001_10^5 + 4146768709508273351536/33186397476972555623*c_1001_10^4 - 22947775877356212006696/165931987384862778115*c_1001_10^3 - 36389124305880622562514/165931987384862778115*c_1001_10^2 - 14039021190256778218697/165931987384862778115*c_1001_10 - 2105873630152758807643/165931987384862778115, c_0101_0 - 36759722976809396416/165931987384862778115*c_1001_10^15 - 13796324502732391522/33186397476972555623*c_1001_10^14 - 28799124242715795834/33186397476972555623*c_1001_10^13 - 426615293159229086826/165931987384862778115*c_1001_10^12 - 993767592955433250426/165931987384862778115*c_1001_10^11 + 411678159314393564053/165931987384862778115*c_1001_10^10 + 4707674235231268518528/165931987384862778115*c_1001_10^9 + 408482204300533551231/165931987384862778115*c_1001_10^8 - 20347652968467310060656/165931987384862778115*c_1001_10^7 - 5098138260045537379473/33186397476972555623*c_1001_10^6 + 14980182508246741126504/165931987384862778115*c_1001_10^5 + 29381715809110169934268/165931987384862778115*c_1001_10^4 - 26047142507979594618123/165931987384862778115*c_1001_10^3 - 9917118027500010429212/33186397476972555623*c_1001_10^2 - 20235610958809639829663/165931987384862778115*c_1001_10 - 3273520590767978270532/165931987384862778115, c_0101_1 + 22490403954879465266/165931987384862778115*c_1001_10^15 + 8395612611776487296/33186397476972555623*c_1001_10^14 + 87804598419345815339/165931987384862778115*c_1001_10^13 + 260442935368346387903/165931987384862778115*c_1001_10^12 + 605987105410620936841/165931987384862778115*c_1001_10^11 - 256515178564236468487/165931987384862778115*c_1001_10^10 - 2873185564290241469511/165931987384862778115*c_1001_10^9 - 221477808471494868726/165931987384862778115*c_1001_10^8 + 12434414506084646875491/165931987384862778115*c_1001_10^7 + 15458642718185864543176/165931987384862778115*c_1001_10^6 - 9222399849055854876542/165931987384862778115*c_1001_10^5 - 17741509103632557070316/165931987384862778115*c_1001_10^4 + 3213531252203578244164/33186397476972555623*c_1001_10^3 + 29880077544286011152856/165931987384862778115*c_1001_10^2 + 2443526078153099681760/33186397476972555623*c_1001_10 + 2267359712936847602754/165931987384862778115, c_0101_10 + 5693919692127636834/33186397476972555623*c_1001_10^15 + 44179174659384775901/165931987384862778115*c_1001_10^14 + 105657479762453383968/165931987384862778115*c_1001_10^13 + 60428377165776142234/33186397476972555623*c_1001_10^12 + 697703956094761209144/165931987384862778115*c_1001_10^11 - 477279922800373754202/165931987384862778115*c_1001_10^10 - 668132142528072238849/33186397476972555623*c_1001_10^9 + 99790193010763187127/33186397476972555623*c_1001_10^8 + 14826988295936433068914/165931987384862778115*c_1001_10^7 + 15734597707135663626473/165931987384862778115*c_1001_10^6 - 12949312729377979104762/165931987384862778115*c_1001_10^5 - 17035151837464999413452/165931987384862778115*c_1001_10^4 + 20510994530587785038179/165931987384862778115*c_1001_10^3 + 31069280527434135425723/165931987384862778115*c_1001_10^2 + 12409352335523548447933/165931987384862778115*c_1001_10 + 398274252669854466772/33186397476972555623, c_0101_2 + 17505473835668464843/165931987384862778115*c_1001_10^15 + 33211589997001962639/165931987384862778115*c_1001_10^14 + 68755869260304889613/165931987384862778115*c_1001_10^13 + 204283491962865154286/165931987384862778115*c_1001_10^12 + 475928084204779492034/165931987384862778115*c_1001_10^11 - 190595621171293413693/165931987384862778115*c_1001_10^10 - 2253799618525743701021/165931987384862778115*c_1001_10^9 - 227178378656675940603/165931987384862778115*c_1001_10^8 + 9729996328477603694189/165931987384862778115*c_1001_10^7 + 12279406428269792375486/165931987384862778115*c_1001_10^6 - 7058850852234892300172/165931987384862778115*c_1001_10^5 - 14185809238311497446219/165931987384862778115*c_1001_10^4 + 12421637320036760162233/165931987384862778115*c_1001_10^3 + 23777156774351271641386/165931987384862778115*c_1001_10^2 + 9679112095143333498124/165931987384862778115*c_1001_10 + 1685160858515937647159/165931987384862778115, c_0101_5 - 9491575093371024446/33186397476972555623*c_1001_10^15 - 89341518813646042729/165931987384862778115*c_1001_10^14 - 185677399910652027531/165931987384862778115*c_1001_10^13 - 552897628493107288147/165931987384862778115*c_1001_10^12 - 1283378811612942836931/165931987384862778115*c_1001_10^11 + 524501699473979868237/165931987384862778115*c_1001_10^10 + 6087205792494345158528/165931987384862778115*c_1001_10^9 + 103874237064512934740/33186397476972555623*c_1001_10^8 - 26267387175947686957381/165931987384862778115*c_1001_10^7 - 32932754873356483554103/165931987384862778115*c_1001_10^6 + 19249233023960660099846/165931987384862778115*c_1001_10^5 + 37739316149350660761291/165931987384862778115*c_1001_10^4 - 33649444228878068201768/165931987384862778115*c_1001_10^3 - 63510453553777149214513/165931987384862778115*c_1001_10^2 - 26615664497743477626964/165931987384862778115*c_1001_10 - 4754165305270589047997/165931987384862778115, c_0110_11 - 67327287341136277943/165931987384862778115*c_1001_10^15 - 130952340678186206007/165931987384862778115*c_1001_10^14 - 53415580277955199924/33186397476972555623*c_1001_10^13 - 159547037554257297231/33186397476972555623*c_1001_10^12 - 1856022868566661039551/165931987384862778115*c_1001_10^11 + 664434907191257565697/165931987384862778115*c_1001_10^10 + 8758986107195062529052/165931987384862778115*c_1001_10^9 + 1144936055372172856468/165931987384862778115*c_1001_10^8 - 37606194508043664828971/165931987384862778115*c_1001_10^7 - 48678783471573818766807/165931987384862778115*c_1001_10^6 + 26259541078398298206994/165931987384862778115*c_1001_10^5 + 56127084537784621920526/165931987384862778115*c_1001_10^4 - 46866346252505842116859/165931987384862778115*c_1001_10^3 - 93718655149070252399582/165931987384862778115*c_1001_10^2 - 40135555143048085776707/165931987384862778115*c_1001_10 - 7034462334709396547228/165931987384862778115, c_1001_10^16 + 3*c_1001_10^15 + 6*c_1001_10^14 + 16*c_1001_10^13 + 40*c_1001_10^12 + 19*c_1001_10^11 - 141*c_1001_10^10 - 154*c_1001_10^9 + 543*c_1001_10^8 + 1312*c_1001_10^7 + 362*c_1001_10^6 - 1256*c_1001_10^5 - 172*c_1001_10^4 + 2139*c_1001_10^3 + 2044*c_1001_10^2 + 710*c_1001_10 + 107 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 17.210 Total time: 17.420 seconds, Total memory usage: 140.50MB