Magma V2.19-8 Wed Aug 21 2013 01:03:25 on localhost [Seed = 3903779043] Type ? for help. Type -D to quit. Loading file "L14n20194__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n20194 geometric_solution 12.07369737 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 1 1 1 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 1 -2 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.011605870607 1.120735032658 0 5 6 4 0132 0132 0132 2310 1 1 1 1 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 1 0 -1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.046564577528 1.444977599017 5 0 7 3 0132 0132 0132 0132 0 1 1 1 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 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.213346549808 0.908661525411 8 9 2 0 0132 0132 0132 0132 0 1 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 0 0 0 0 -1 -1 2 -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 -0.011605870607 1.120735032658 1 10 0 7 3201 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 1 -1 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.405692342744 0.717597761993 2 1 8 9 0132 0132 2310 2310 1 1 1 1 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 0 2 0 -2 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.123604319660 0.649543771582 8 11 12 1 2310 0132 0132 0132 1 1 1 1 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 1 0 -2 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.011605870607 1.120735032658 12 11 4 2 1302 1230 0132 0132 0 1 1 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 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.774798759999 0.685681622026 3 5 6 12 0132 3201 3201 3120 1 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 0 0 0 0 0 0 0 0 0 0 -1 1 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.213346549808 0.908661525411 5 3 10 11 3201 0132 0321 1023 0 1 1 1 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 -1 0 2 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.046564577528 1.444977599017 12 4 9 11 2310 0132 0321 1230 0 1 1 1 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 1 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.684569407250 0.826584461051 10 6 7 9 3012 0132 3012 1023 1 0 1 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.011605870607 1.120735032658 8 7 10 6 3120 2031 3201 0132 1 1 1 1 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 -1 1 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.276208563456 0.640541146734 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0101_0']), 'c_1001_11' : negation(d['c_0011_7']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0101_10']), 'c_1001_5' : d['c_0011_12'], 'c_1001_4' : d['c_0101_11'], 'c_1001_7' : d['c_1001_10'], 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : negation(d['c_0011_7']), 'c_1001_0' : d['c_0110_11'], 'c_1001_3' : d['c_0110_11'], 'c_1001_2' : d['c_0101_11'], 'c_1001_9' : d['c_0110_11'], 'c_1001_8' : negation(d['c_0101_3']), 'c_1010_12' : d['c_0011_7'], 'c_1010_11' : d['c_0011_7'], 'c_1010_10' : d['c_0101_11'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_1001_10'], 'c_1100_8' : d['c_0011_11'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_10']), 'c_1100_10' : d['c_0110_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : negation(d['c_0011_7']), 'c_1010_5' : negation(d['c_0011_7']), 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_0110_11'], 'c_1010_2' : d['c_0110_11'], 'c_1010_1' : d['c_0011_12'], 'c_1010_0' : d['c_0101_11'], 'c_1010_9' : d['c_0110_11'], 'c_1010_8' : negation(d['c_0011_12']), '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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_10']), '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_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_11']), '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_0011_11'], 'c_0110_12' : d['c_0101_3'], 'c_0101_12' : negation(d['c_0011_11']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0101_7' : negation(d['c_0011_12']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_10']), 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_7'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0011_12']), 'c_0110_7' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_7, c_0101_0, c_0101_10, c_0101_11, c_0101_3, c_0110_11, c_1001_10, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 4574137091102244691/11491130319583552*c_1100_0^12 + 7315288649021699685/5745565159791776*c_1100_0^11 - 1336822731638267347/522324105435616*c_1100_0^10 - 571368076513913729/11491130319583552*c_1100_0^9 + 30466945882541112363/5745565159791776*c_1100_0^8 - 27549400464282949063/1436391289947944*c_1100_0^7 + 256236837305313713301/11491130319583552*c_1100_0^6 - 290240179291396128683/11491130319583552*c_1100_0^5 + 15316815400800513059/11491130319583552*c_1100_0^4 + 617010828805310803/130581026358904*c_1100_0^3 - 123235931558142481559/11491130319583552*c_1100_0^2 + 28133013834025320103/11491130319583552*c_1100_0 - 20794712703448933527/5745565159791776, c_0011_0 - 1, c_0011_10 - 16604057975/336796675424*c_1100_0^12 + 27358330777/168398337712*c_1100_0^11 - 4730333591/15308939792*c_1100_0^10 - 10787793421/336796675424*c_1100_0^9 + 129942677575/168398337712*c_1100_0^8 - 101182042211/42099584428*c_1100_0^7 + 942704879537/336796675424*c_1100_0^6 - 823377496543/336796675424*c_1100_0^5 - 141462209353/336796675424*c_1100_0^4 + 6734654061/3827234948*c_1100_0^3 - 464935487787/336796675424*c_1100_0^2 + 274102882411/336796675424*c_1100_0 - 82452291107/168398337712, c_0011_11 + 48988538789/336796675424*c_1100_0^12 - 90795710971/168398337712*c_1100_0^11 + 19148610901/15308939792*c_1100_0^10 - 296119406137/336796675424*c_1100_0^9 - 153993852277/168398337712*c_1100_0^8 + 291163317245/42099584428*c_1100_0^7 - 4257018958579/336796675424*c_1100_0^6 + 6331921179549/336796675424*c_1100_0^5 - 5732091537797/336796675424*c_1100_0^4 + 48977230041/3827234948*c_1100_0^3 - 2992276211103/336796675424*c_1100_0^2 + 786316123743/336796675424*c_1100_0 - 260927410983/168398337712, c_0011_12 + 49448745095/336796675424*c_1100_0^12 - 99170138073/168398337712*c_1100_0^11 + 21168186071/15308939792*c_1100_0^10 - 328069737123/336796675424*c_1100_0^9 - 241334252167/168398337712*c_1100_0^8 + 347192808375/42099584428*c_1100_0^7 - 4845201418689/336796675424*c_1100_0^6 + 6405408852783/336796675424*c_1100_0^5 - 4585014898151/336796675424*c_1100_0^4 + 25639198071/3827234948*c_1100_0^3 - 476406847589/336796675424*c_1100_0^2 + 119042467237/336796675424*c_1100_0 + 123370393555/168398337712, c_0011_3 - 5768915653/168398337712*c_1100_0^12 + 9462936171/84199168856*c_1100_0^11 - 2483120869/7654469896*c_1100_0^10 + 59740446809/168398337712*c_1100_0^9 - 21597122875/84199168856*c_1100_0^8 - 30445266441/21049792214*c_1100_0^7 + 537256916211/168398337712*c_1100_0^6 - 1159961849053/168398337712*c_1100_0^5 + 1191581728421/168398337712*c_1100_0^4 - 15229530937/1913617474*c_1100_0^3 + 731277406239/168398337712*c_1100_0^2 - 361417009759/168398337712*c_1100_0 + 80138781519/84199168856, c_0011_7 + 68016296673/673593350848*c_1100_0^12 - 134765233775/336796675424*c_1100_0^11 + 32064993601/30617879584*c_1100_0^10 - 682291966245/673593350848*c_1100_0^9 - 58412965921/336796675424*c_1100_0^8 + 452004240189/84199168856*c_1100_0^7 - 7303599955095/673593350848*c_1100_0^6 + 12301676834905/673593350848*c_1100_0^5 - 11117459815425/673593350848*c_1100_0^4 + 109803359401/7654469896*c_1100_0^3 - 3745574474835/673593350848*c_1100_0^2 + 2027976268915/673593350848*c_1100_0 - 93890764731/336796675424, c_0101_0 + 176368417/4263249056*c_1100_0^12 - 290871167/2131624528*c_1100_0^11 + 65052017/193784048*c_1100_0^10 - 885146373/4263249056*c_1100_0^9 - 363765873/2131624528*c_1100_0^8 + 1070256169/532906132*c_1100_0^7 - 13632140023/4263249056*c_1100_0^6 + 23144366777/4263249056*c_1100_0^5 - 15968698497/4263249056*c_1100_0^4 + 178491069/48446012*c_1100_0^3 - 3164061235/4263249056*c_1100_0^2 + 221279891/4263249056*c_1100_0 + 240147781/2131624528, c_0101_10 - 35012750661/336796675424*c_1100_0^12 + 52426731659/168398337712*c_1100_0^11 - 10780623573/15308939792*c_1100_0^10 + 60156405401/336796675424*c_1100_0^9 + 124054842453/168398337712*c_1100_0^8 - 198285817581/42099584428*c_1100_0^7 + 2037302714387/336796675424*c_1100_0^6 - 3381952478173/336796675424*c_1100_0^5 + 1605423763333/336796675424*c_1100_0^4 - 20600918145/3827234948*c_1100_0^3 - 117023067009/336796675424*c_1100_0^2 - 26154940767/336796675424*c_1100_0 - 85185910841/168398337712, c_0101_11 - 2230801/58400672*c_1100_0^12 + 8838239/29200336*c_1100_0^11 - 2410273/2654576*c_1100_0^10 + 90960021/58400672*c_1100_0^9 - 15747871/29200336*c_1100_0^8 - 22597237/7300084*c_1100_0^7 + 661084839/58400672*c_1100_0^6 - 1060089385/58400672*c_1100_0^5 + 1362383377/58400672*c_1100_0^4 - 11433469/663644*c_1100_0^3 + 702063011/58400672*c_1100_0^2 - 246739235/58400672*c_1100_0 + 57892955/29200336, c_0101_3 - 22232685483/336796675424*c_1100_0^12 + 26039319605/168398337712*c_1100_0^11 - 4428181531/15308939792*c_1100_0^10 - 62613253257/336796675424*c_1100_0^9 + 85158986395/168398337712*c_1100_0^8 - 98785586363/42099584428*c_1100_0^7 + 637681866589/336796675424*c_1100_0^6 - 1187454045747/336796675424*c_1100_0^5 + 34896480907/336796675424*c_1100_0^4 - 6265338599/3827234948*c_1100_0^3 - 45973423631/336796675424*c_1100_0^2 + 210771364239/336796675424*c_1100_0 + 4103987913/168398337712, c_0110_11 - 1, c_1001_10 + 25011825/116801344*c_1100_0^12 - 48514783/58400672*c_1100_0^11 + 10685553/5309152*c_1100_0^10 - 186020213/116801344*c_1100_0^9 - 78148753/58400672*c_1100_0^8 + 165670965/14600168*c_1100_0^7 - 2454747143/116801344*c_1100_0^6 + 3635269097/116801344*c_1100_0^5 - 2985617105/116801344*c_1100_0^4 + 22971585/1327288*c_1100_0^3 - 631731587/116801344*c_1100_0^2 + 101098147/116801344*c_1100_0 + 45659221/58400672, c_1100_0^13 - 4*c_1100_0^12 + 10*c_1100_0^11 - 9*c_1100_0^10 - 4*c_1100_0^9 + 52*c_1100_0^8 - 103*c_1100_0^7 + 163*c_1100_0^6 - 151*c_1100_0^5 + 126*c_1100_0^4 - 67*c_1100_0^3 + 37*c_1100_0^2 - 8*c_1100_0 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.620 Total time: 0.820 seconds, Total memory usage: 32.09MB