Magma V2.19-8 Tue Aug 20 2013 23:39:37 on localhost [Seed = 3330318981] Type ? for help. Type -D to quit. Loading file "K14n11808__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n11808 geometric_solution 10.72680790 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 -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 -7 7 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.668815525958 0.863386367279 0 5 7 6 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 7 -6 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.468067700397 0.660971885989 7 0 8 4 1023 0132 0132 1023 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 1 -1 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.668815525958 0.863386367279 8 5 9 0 0132 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 1 0 -1 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.521772701634 0.883523480244 5 10 0 2 0132 0132 0132 1023 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 0 0 0 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444367507737 0.534423879343 4 1 3 10 0132 0132 3012 0132 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 -1 1 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.908461402020 1.006780096018 9 7 1 9 1023 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.158434865403 1.142575624433 10 2 6 1 0132 1023 2310 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.468067700397 0.660971885989 3 10 9 2 0132 0321 1023 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 6 0 -7 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.521772701634 0.883523480244 6 6 8 3 3201 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.071987390543 1.143444383998 7 4 5 8 0132 0132 0132 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 1 -1 0 0 0 -1 1 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.908461402020 1.006780096018 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0110_2'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0110_2'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : negation(d['c_0101_9']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_0'], 'c_1001_8' : d['c_0101_9'], 'c_1010_10' : d['c_1001_2'], '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_1'], 's_2_0' : negation(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' : 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' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_1100_0'], 'c_1100_8' : negation(d['c_1100_0']), 'c_1100_5' : d['c_0101_9'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0011_6'], 'c_1100_6' : d['c_0011_6'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_1100_0']), 'c_1100_10' : d['c_0101_9'], 'c_1010_7' : d['c_0110_2'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0110_2'], 'c_1010_4' : d['c_0110_2'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_9']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_6'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0011_3'], 'c_0101_7' : d['c_0011_3'], '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_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : d['c_0011_0'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_2'], '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_0110_2'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_9'])})} 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_9, c_0110_2, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t - 324464/2170883*c_1100_0^2 - 1086752/2170883*c_1100_0 + 468744/2170883, c_0011_0 - 1, c_0011_3 - 2/19*c_1100_0^2 + 1/19*c_1100_0 + 9/19, c_0011_6 - 10/19*c_1100_0^2 - 33/19*c_1100_0 - 31/19, c_0101_0 - 2/19*c_1001_2*c_1100_0^2 - 18/19*c_1001_2*c_1100_0 - 29/19*c_1001_2 - 4/19*c_1100_0^2 - 17/19*c_1100_0 - 20/19, c_0101_1 - 6/19*c_1001_2*c_1100_0^2 - 16/19*c_1001_2*c_1100_0 - 11/19*c_1001_2 - 6/19*c_1100_0^2 - 16/19*c_1100_0 - 11/19, c_0101_2 - 2/19*c_1001_2*c_1100_0^2 - 18/19*c_1001_2*c_1100_0 - 29/19*c_1001_2 + 6/19*c_1100_0^2 + 16/19*c_1100_0 + 11/19, c_0101_5 + c_1001_2 + 2/19*c_1100_0^2 - 1/19*c_1100_0 + 10/19, c_0101_9 + 4/19*c_1100_0^2 - 2/19*c_1100_0 + 1/19, c_0110_2 + 6/19*c_1001_2*c_1100_0^2 + 16/19*c_1001_2*c_1100_0 + 11/19*c_1001_2 + 2/19*c_1100_0^2 - 1/19*c_1100_0 + 10/19, c_1001_2^2 + 2/19*c_1001_2*c_1100_0^2 - 1/19*c_1001_2*c_1100_0 + 10/19*c_1001_2 + 9/19*c_1100_0^2 + 24/19*c_1100_0 + 26/19, c_1100_0^3 + 5*c_1100_0^2 + 7*c_1100_0 + 17/2 ], Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_9, c_0110_2, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 58130628914459940645628733/8301366972326665282248*c_1100_0^15 - 19244110779224033130852565/4150683486163332641124*c_1100_0^14 + 187395252786763456259569037/8301366972326665282248*c_1100_0^13 + 159210061051576767216622019/1037670871540833160281*c_1100_0^12 + 191162111641992478729507089/922374108036296142472*c_1100_0^11 - 116256624180362623012537039/8301366972326665282248*c_1100_0^10 + 620681066842039915273602067/8301366972326665282248*c_1100_0^9 + 3572966357022466679209368109/2767122324108888427416*c_1100_0^8 + 1514281200985642336762261405/592954783737618948732*c_1100_0^7 - 7212518350380265055668371877/2767122324108888427416*c_1100_0^6 - 1568886252708220751944750717/115296763504537017809*c_1100_0^5 + 2282003035769025919752512093/461187054018148071236*c_1100_0^4 + 53955486390917133518858809765/8301366972326665282248*c_1100_0^3 - 113997716142359577361812907/922374108036296142472*c_1100_0^2 - 11277597196579540145070750475/8301366972326665282248*c_1100_0 - 1204632385956988968123151541/4150683486163332641124, c_0011_0 - 1, c_0011_3 - 1076685650566898680463/5336593053638570538588*c_1100_0^15 - 766888702230349360033/5336593053638570538588*c_1100_0^14 + 1714296890612866392151/2668296526819285269294*c_1100_0^13 + 659977132219044798953/148238695934404737183*c_1100_0^12 + 33068418551998093488461/5336593053638570538588*c_1100_0^11 - 34028853925632906772/444716087803214211549*c_1100_0^10 + 11615550980111580456929/5336593053638570538588*c_1100_0^9 + 16598457700301394729871/444716087803214211549*c_1100_0^8 + 201372334346214945429037/2668296526819285269294*c_1100_0^7 - 379757261455347061818037/5336593053638570538588*c_1100_0^6 - 2109659510858369227637057/5336593053638570538588*c_1100_0^5 + 654067996686417877290029/5336593053638570538588*c_1100_0^4 + 512429711458774201452163/2668296526819285269294*c_1100_0^3 + 11005778952289572398041/1778864351212856846196*c_1100_0^2 - 51336207442427714709871/1334148263409642634647*c_1100_0 - 26804665531531106015353/2668296526819285269294, c_0011_6 + 605004285609323251883/1778864351212856846196*c_1100_0^15 + 411596363268252489295/1778864351212856846196*c_1100_0^14 - 976813120977878690923/889432175606428423098*c_1100_0^13 - 2216467896090658920007/296477391868809474366*c_1100_0^12 - 18117907160972730494045/1778864351212856846196*c_1100_0^11 + 20602764432616110299/32941932429867719374*c_1100_0^10 - 6108082359624081041399/1778864351212856846196*c_1100_0^9 - 18600056394128140615127/296477391868809474366*c_1100_0^8 - 55600359245370582444020/444716087803214211549*c_1100_0^7 + 223196585392295020678141/1778864351212856846196*c_1100_0^6 + 1183837960927487545159067/1778864351212856846196*c_1100_0^5 - 409225843947619028179829/1778864351212856846196*c_1100_0^4 - 294153094251788046489499/889432175606428423098*c_1100_0^3 + 2195185058534767487981/592954783737618948732*c_1100_0^2 + 60014775671433050199509/889432175606428423098*c_1100_0 + 6909197110446352059662/444716087803214211549, c_0101_0 - 132073245823631915779/395303189158412632488*c_1100_0^15 - 34900937879194602956/148238695934404737183*c_1100_0^14 + 422654223286530670705/395303189158412632488*c_1100_0^13 + 1091894333326909516151/148238695934404737183*c_1100_0^12 + 12088367472874810683337/1185909567475237897464*c_1100_0^11 - 328737037022715581137/1185909567475237897464*c_1100_0^10 + 4186635586068063658115/1185909567475237897464*c_1100_0^9 + 8146740280031439612165/131767729719470877496*c_1100_0^8 + 8201360244384365636803/65883864859735438748*c_1100_0^7 - 141652404896280697334915/1185909567475237897464*c_1100_0^6 - 388273713658244797814309/592954783737618948732*c_1100_0^5 + 62180758729027637408779/296477391868809474366*c_1100_0^4 + 383090395520346006521375/1185909567475237897464*c_1100_0^3 + 1116666687190963794623/395303189158412632488*c_1100_0^2 - 26388986932868928764875/395303189158412632488*c_1100_0 - 9212031237147990975709/592954783737618948732, c_0101_1 + 86330278057105296079/2668296526819285269294*c_1100_0^15 + 13255502396504321560/1334148263409642634647*c_1100_0^14 - 296946125305283410495/2668296526819285269294*c_1100_0^13 - 200212631480160234199/296477391868809474366*c_1100_0^12 - 1896697872073732913683/2668296526819285269294*c_1100_0^11 + 357678406039502871479/889432175606428423098*c_1100_0^10 - 805732915954726754569/2668296526819285269294*c_1100_0^9 - 2542237483363240779790/444716087803214211549*c_1100_0^8 - 25781341326791930595187/2668296526819285269294*c_1100_0^7 + 43213320595406043993425/2668296526819285269294*c_1100_0^6 + 78846870637840688311538/1334148263409642634647*c_1100_0^5 - 57916565443540121538533/1334148263409642634647*c_1100_0^4 - 29213021383909717580897/1334148263409642634647*c_1100_0^3 + 3167061879857688145663/889432175606428423098*c_1100_0^2 + 9164913087525506407867/1334148263409642634647*c_1100_0 + 2753855948829462981433/2668296526819285269294, c_0101_2 + 132073245823631915779/395303189158412632488*c_1100_0^15 + 34900937879194602956/148238695934404737183*c_1100_0^14 - 422654223286530670705/395303189158412632488*c_1100_0^13 - 1091894333326909516151/148238695934404737183*c_1100_0^12 - 12088367472874810683337/1185909567475237897464*c_1100_0^11 + 328737037022715581137/1185909567475237897464*c_1100_0^10 - 4186635586068063658115/1185909567475237897464*c_1100_0^9 - 8146740280031439612165/131767729719470877496*c_1100_0^8 - 8201360244384365636803/65883864859735438748*c_1100_0^7 + 141652404896280697334915/1185909567475237897464*c_1100_0^6 + 388273713658244797814309/592954783737618948732*c_1100_0^5 - 62180758729027637408779/296477391868809474366*c_1100_0^4 - 383090395520346006521375/1185909567475237897464*c_1100_0^3 - 1116666687190963794623/395303189158412632488*c_1100_0^2 + 26388986932868928764875/395303189158412632488*c_1100_0 + 9212031237147990975709/592954783737618948732, c_0101_5 + 214491438197316095276/1334148263409642634647*c_1100_0^15 + 135952742460585788092/1334148263409642634647*c_1100_0^14 - 699912592156374691322/1334148263409642634647*c_1100_0^13 - 1040682788990254104461/296477391868809474366*c_1100_0^12 - 6203164454017699989953/1334148263409642634647*c_1100_0^11 + 234513488478630214561/444716087803214211549*c_1100_0^10 - 2165507711968341158873/1334148263409642634647*c_1100_0^9 - 26297149582978975995821/889432175606428423098*c_1100_0^8 - 153946902485195374504837/2668296526819285269294*c_1100_0^7 + 82919925692619240536284/1334148263409642634647*c_1100_0^6 + 416221901473135841096594/1334148263409642634647*c_1100_0^5 - 164563079651521024493564/1334148263409642634647*c_1100_0^4 - 405084519241066170092707/2668296526819285269294*c_1100_0^3 + 4220538438035143115507/444716087803214211549*c_1100_0^2 + 83855395932724524877805/2668296526819285269294*c_1100_0 + 15859141023946480487725/2668296526819285269294, c_0101_9 + 2418815597433955869715/10673186107277141077176*c_1100_0^15 + 834378870989575615333/5336593053638570538588*c_1100_0^14 - 7829323814826065231935/10673186107277141077176*c_1100_0^13 - 164399424335277808327/32941932429867719374*c_1100_0^12 - 72835887536382133660471/10673186107277141077176*c_1100_0^11 + 1501563368808960071183/3557728702425713692392*c_1100_0^10 - 23373821405184865770925/10673186107277141077176*c_1100_0^9 - 148817324012674030745603/3557728702425713692392*c_1100_0^8 - 446512361399246042239031/5336593053638570538588*c_1100_0^7 + 889960293574090891658897/10673186107277141077176*c_1100_0^6 + 1188446540574063912090265/2668296526819285269294*c_1100_0^5 - 801515778775714234479713/5336593053638570538588*c_1100_0^4 - 2431508244684538182554755/10673186107277141077176*c_1100_0^3 + 9564750663593673537727/3557728702425713692392*c_1100_0^2 + 506392612121457537143669/10673186107277141077176*c_1100_0 + 56821592985808849960445/5336593053638570538588, c_0110_2 + 86330278057105296079/2668296526819285269294*c_1100_0^15 + 13255502396504321560/1334148263409642634647*c_1100_0^14 - 296946125305283410495/2668296526819285269294*c_1100_0^13 - 200212631480160234199/296477391868809474366*c_1100_0^12 - 1896697872073732913683/2668296526819285269294*c_1100_0^11 + 357678406039502871479/889432175606428423098*c_1100_0^10 - 805732915954726754569/2668296526819285269294*c_1100_0^9 - 2542237483363240779790/444716087803214211549*c_1100_0^8 - 25781341326791930595187/2668296526819285269294*c_1100_0^7 + 43213320595406043993425/2668296526819285269294*c_1100_0^6 + 78846870637840688311538/1334148263409642634647*c_1100_0^5 - 57916565443540121538533/1334148263409642634647*c_1100_0^4 - 29213021383909717580897/1334148263409642634647*c_1100_0^3 + 3167061879857688145663/889432175606428423098*c_1100_0^2 + 9164913087525506407867/1334148263409642634647*c_1100_0 + 2753855948829462981433/2668296526819285269294, c_1001_2 + 214491438197316095276/1334148263409642634647*c_1100_0^15 + 135952742460585788092/1334148263409642634647*c_1100_0^14 - 699912592156374691322/1334148263409642634647*c_1100_0^13 - 1040682788990254104461/296477391868809474366*c_1100_0^12 - 6203164454017699989953/1334148263409642634647*c_1100_0^11 + 234513488478630214561/444716087803214211549*c_1100_0^10 - 2165507711968341158873/1334148263409642634647*c_1100_0^9 - 26297149582978975995821/889432175606428423098*c_1100_0^8 - 153946902485195374504837/2668296526819285269294*c_1100_0^7 + 82919925692619240536284/1334148263409642634647*c_1100_0^6 + 416221901473135841096594/1334148263409642634647*c_1100_0^5 - 164563079651521024493564/1334148263409642634647*c_1100_0^4 - 405084519241066170092707/2668296526819285269294*c_1100_0^3 + 4220538438035143115507/444716087803214211549*c_1100_0^2 + 83855395932724524877805/2668296526819285269294*c_1100_0 + 15859141023946480487725/2668296526819285269294, c_1100_0^16 + c_1100_0^15 - 3*c_1100_0^14 - 23*c_1100_0^13 - 37*c_1100_0^12 - 8*c_1100_0^11 - 10*c_1100_0^10 - 188*c_1100_0^9 - 427*c_1100_0^8 + 249*c_1100_0^7 + 2069*c_1100_0^6 - 50*c_1100_0^5 - 1167*c_1100_0^4 - 296*c_1100_0^3 + 200*c_1100_0^2 + 107*c_1100_0 + 14 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.320 Total time: 0.530 seconds, Total memory usage: 32.09MB