Magma V2.19-8 Wed Aug 21 2013 00:56:47 on localhost [Seed = 3819305248] Type ? for help. Type -D to quit. Loading file "L13n2912__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n2912 geometric_solution 12.06227283 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 1 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 0 0 9 0 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.825771751302 1.126417938918 0 5 5 6 0132 0132 3120 0132 1 1 1 1 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 -9 9 0 0 0 0 0 0 0 0 0 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.426577471266 0.767029061956 4 0 7 3 1302 0132 0132 1302 1 1 1 1 0 0 -1 1 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 -1 -8 9 9 0 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.279667513538 1.480959453009 8 9 2 0 0132 0132 2031 0132 1 1 1 1 0 0 0 0 1 0 -1 0 1 -1 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 9 0 -9 0 8 -8 0 0 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.576682818206 0.577438095542 10 2 0 9 0132 2031 0132 3012 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 1 -1 0 0 0 0 0 0 0 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460459036524 0.828121465681 9 1 1 11 0213 0132 3120 0132 1 1 1 1 0 1 -1 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 9 -9 0 0 0 0 0 8 0 0 -8 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.426577471266 0.767029061956 8 11 1 8 2103 3120 0132 3201 1 1 0 1 0 1 0 -1 -1 0 0 1 -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 8 0 -8 -9 0 0 9 -3 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625224246793 0.836320764356 10 9 10 2 1230 0321 1023 0132 1 1 1 1 0 0 -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 -8 8 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.432936954163 0.141130493376 3 6 6 12 0132 2310 2103 0132 0 1 1 1 0 -1 1 0 -1 0 1 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 -2 3 -1 -9 0 9 0 9 -9 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625224246793 0.836320764356 5 3 4 7 0213 0132 1230 0321 1 1 1 1 0 0 0 0 -1 0 0 1 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 -8 0 0 8 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.093801215434 1.222692481359 4 7 7 12 0132 3012 1023 3120 1 1 1 1 0 -1 0 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 -8 0 8 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.069835055156 1.352562836993 12 6 5 12 1302 3120 0132 2103 1 1 0 1 0 0 0 0 -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 0 0 0 -8 0 0 8 0 -1 0 1 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625224246793 0.836320764356 10 11 8 11 3120 2031 0132 2103 0 1 1 1 0 0 0 0 1 0 0 -1 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 8 0 0 -8 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.446220423830 0.995751199845 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_0011_12'], 'c_1001_12' : negation(d['c_0110_11']), 'c_1001_5' : negation(d['c_1001_1']), 'c_1001_4' : negation(d['c_0110_2']), 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : negation(d['c_1001_1']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0110_2']), 'c_1001_2' : negation(d['c_0110_2']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_11'], 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : negation(d['c_0011_12']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_12']), '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_12' : 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_1100_9' : d['c_0101_10'], 'c_1100_8' : negation(d['c_0110_11']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : negation(d['c_1001_0']), 'c_1100_7' : d['c_0101_12'], 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_1001_0']), 'c_1100_3' : negation(d['c_1001_0']), 'c_1100_2' : d['c_0101_12'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_1']), 'c_1100_10' : negation(d['c_0101_12']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0110_2']), 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_1']), 'c_1010_0' : negation(d['c_0110_2']), 'c_1010_9' : negation(d['c_0110_2']), 'c_1010_8' : negation(d['c_0110_11']), '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'], 'c_1100_12' : negation(d['c_0110_11']), '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' : negation(d['c_0011_12']), 'c_0011_6' : 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_0101_1'], 'c_0110_12' : d['c_0101_1'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_12'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_12'], 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_0'], 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_12'], 'c_0110_8' : d['c_0101_12'], '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_0110_2'], 'c_0110_5' : negation(d['c_0011_12']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0011_10'], 'c_0110_6' : d['c_0110_11']})} 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_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0110_11, c_0110_2, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 124519128878229348961/8229237464166651*c_1001_1^16 + 2384247882385665276073/32916949856666604*c_1001_1^15 - 347219597522979472847/1828719436481478*c_1001_1^14 + 681423286125488956367/1828719436481478*c_1001_1^13 - 5755282823862207692891/10972316618888868*c_1001_1^12 + 4480081958746570426921/10972316618888868*c_1001_1^11 - 9611938859098997904365/32916949856666604*c_1001_1^10 + 3673057869293951983679/16458474928333302*c_1001_1^9 - 1616902654782295249507/16458474928333302*c_1001_1^8 - 1044151206005634593219/10972316618888868*c_1001_1^7 + 2546524514881451605049/5486158309444434*c_1001_1^6 + 3256375337698815157313/16458474928333302*c_1001_1^5 + 11525860109146780601/84186572523444*c_1001_1^4 + 2526989702708741732386/8229237464166651*c_1001_1^3 + 784509431539175603219/3657438872962956*c_1001_1^2 + 663177325119600435061/10972316618888868*c_1001_1 + 50050110449548466990/8229237464166651, c_0011_0 - 1, c_0011_10 - 128765568956/214666701*c_1001_1^16 + 608078505980/214666701*c_1001_1^15 - 2099934400107/286222268*c_1001_1^14 + 4082835302399/286222268*c_1001_1^13 - 2832292101803/143111134*c_1001_1^12 + 2112626128787/143111134*c_1001_1^11 - 2243197681183/214666701*c_1001_1^10 + 6973817874149/858666804*c_1001_1^9 - 1469690991851/429333402*c_1001_1^8 - 279050374273/71555567*c_1001_1^7 + 5155932642885/286222268*c_1001_1^6 + 7899419946149/858666804*c_1001_1^5 + 72047322086/12627453*c_1001_1^4 + 5340032784973/429333402*c_1001_1^3 + 2655376667327/286222268*c_1001_1^2 + 201493007767/71555567*c_1001_1 + 270040297117/858666804, c_0011_11 - 1, c_0011_12 - 72092702572/214666701*c_1001_1^16 + 339644400418/214666701*c_1001_1^15 - 1170380461881/286222268*c_1001_1^14 + 2271439684499/286222268*c_1001_1^13 - 785559404532/71555567*c_1001_1^12 + 580607018402/71555567*c_1001_1^11 - 1227018638888/214666701*c_1001_1^10 + 3811891787269/858666804*c_1001_1^9 - 784806838993/429333402*c_1001_1^8 - 160074116181/71555567*c_1001_1^7 + 2885858114143/286222268*c_1001_1^6 + 4514909914933/858666804*c_1001_1^5 + 81531452315/25254906*c_1001_1^4 + 1501695205963/214666701*c_1001_1^3 + 1505717184181/286222268*c_1001_1^2 + 115962921116/71555567*c_1001_1 + 159293525009/858666804, c_0011_3 + 68052349961/644000103*c_1001_1^16 - 1283685523337/2576000412*c_1001_1^15 + 92241897872/71555567*c_1001_1^14 - 716666030971/286222268*c_1001_1^13 + 744541946644/214666701*c_1001_1^12 - 552601835297/214666701*c_1001_1^11 + 4683809214727/2576000412*c_1001_1^10 - 3639125234225/2576000412*c_1001_1^9 + 757196536499/1288000206*c_1001_1^8 + 597569406193/858666804*c_1001_1^7 - 680969414264/214666701*c_1001_1^6 - 4225723300877/2576000412*c_1001_1^5 - 76788401983/75764718*c_1001_1^4 - 5660346605723/2576000412*c_1001_1\ ^3 - 471222192233/286222268*c_1001_1^2 - 433609506011/858666804*c_1001_1 - 148225757755/2576000412, c_0101_0 - 72092702572/214666701*c_1001_1^16 + 339644400418/214666701*c_1001_1^15 - 1170380461881/286222268*c_1001_1^14 + 2271439684499/286222268*c_1001_1^13 - 785559404532/71555567*c_1001_1^12 + 580607018402/71555567*c_1001_1^11 - 1227018638888/214666701*c_1001_1^10 + 3811891787269/858666804*c_1001_1^9 - 784806838993/429333402*c_1001_1^8 - 160074116181/71555567*c_1001_1^7 + 2885858114143/286222268*c_1001_1^6 + 4514909914933/858666804*c_1001_1^5 + 81531452315/25254906*c_1001_1^4 + 1501695205963/214666701*c_1001_1^3 + 1505717184181/286222268*c_1001_1^2 + 115962921116/71555567*c_1001_1 + 159293525009/858666804, c_0101_1 + 68052349961/644000103*c_1001_1^16 - 1283685523337/2576000412*c_1001_1^15 + 92241897872/71555567*c_1001_1^14 - 716666030971/286222268*c_1001_1^13 + 744541946644/214666701*c_1001_1^12 - 552601835297/214666701*c_1001_1^11 + 4683809214727/2576000412*c_1001_1^10 - 3639125234225/2576000412*c_1001_1^9 + 757196536499/1288000206*c_1001_1^8 + 597569406193/858666804*c_1001_1^7 - 680969414264/214666701*c_1001_1^6 - 4225723300877/2576000412*c_1001_1^5 - 76788401983/75764718*c_1001_1^4 - 5660346605723/2576000412*c_1001_1\ ^3 - 471222192233/286222268*c_1001_1^2 - 433609506011/858666804*c_1001_1 - 148225757755/2576000412, c_0101_10 - 60718636603/214666701*c_1001_1^16 + 376139711925/286222268*c_1001_1^15 - 959061639311/286222268*c_1001_1^14 + 919834270323/143111134*c_1001_1^13 - 624160784600/71555567*c_1001_1^12 + 866133066889/143111134*c_1001_1^11 - 3522231997259/858666804*c_1001_1^10 + 1367123105527/429333402*c_1001_1^9 - 79295506717/71555567*c_1001_1^8 - 610325276135/286222268*c_1001_1^7 + 2420360632233/286222268*c_1001_1^6 + 1071430725514/214666701*c_1001_1^5 + 11852501971/4209151*c_1001_1^4 + 5175635212651/858666804*c_1001_1^3 + 2047401225491/429333402*c_1001_1^2 + 1317483522829/858666804*c_1001_1 + 13002117979/71555567, c_0101_12 + 1, c_0110_11 + 329654817272/644000103*c_1001_1^16 - 1549258731161/644000103*c_1001_1^15 + 1775359996951/286222268*c_1001_1^14 - 3438651408569/286222268*c_1001_1^13 + 3556077665368/214666701*c_1001_1^12 - 2601100718768/214666701*c_1001_1^11 + 5463172859041/644000103*c_1001_1^10 - 16963165614641/2576000412*c_1001_1^9 + 3403792837883/1288000206*c_1001_1^8 + 750231689842/214666701*c_1001_1^7 - 13190893409771/858666804*c_1001_1^6 - 21098178381977/2576000412*c_1001_1^5 - 375525479803/75764718*c_1001_1^4 - 6897433518941/644000103*c_1001_1^3 - 2326126742071/286222268*c_1001_1^2 - 542748025127/214666701*c_1001_1 - 752366347849/2576000412, c_0110_2 + 285034133279/644000103*c_1001_1^16 - 5411880469835/2576000412*c_1001_1^15 + 1564274511447/286222268*c_1001_1^14 - 1525498115213/143111134*c_1001_1^13 + 3189985432282/214666701*c_1001_1^12 - 2412534297113/214666701*c_1001_1^11 + 20442702153037/2576000412*c_1001_1^10 - 3917966331209/644000103*c_1001_1^9 + 1638309315958/644000103*c_1001_1^8 + 2528405277151/858666804*c_1001_1^7 - 11575024971419/858666804*c_1001_1^6 - 4098217184066/644000103*c_1001_1^5 - 156150005531/37882359*c_1001_1^4 - 23488376489381/2576000412*c_1001_1^3 - 2838461044165/429333402*c_1001_1^2 - 1677153680185/858666804*c_1001_1 - 274513554611/1288000206, c_1001_0 - 20443729312/71555567*c_1001_1^16 + 892918245646/644000103*c_1001_1^15 - 1584078547517/429333402*c_1001_1^14 + 3155058102499/429333402*c_1001_1^13 - 4546816712705/429333402*c_1001_1^12 + 1897458521674/214666701*c_1001_1^11 - 970698720245/143111134*c_1001_1^10 + 3468706337912/644000103*c_1001_1^9 - 1836667479824/644000103*c_1001_1^8 - 230465508514/214666701*c_1001_1^7 + 3634534009085/429333402*c_1001_1^6 + 470880487027/143111134*c_1001_1^5 + 205252299101/75764718*c_1001_1^4 + 400287617699/71555567*c_1001_1^3 + 2450466875333/644000103*c_1001_1^2 + 1394976264547/1288000206*c_1001_1 + 74640952934/644000103, c_1001_1^17 - 17/4*c_1001_1^16 + 10*c_1001_1^15 - 18*c_1001_1^14 + 87/4*c_1001_1^13 - 9*c_1001_1^12 + 23/4*c_1001_1^11 - 21/4*c_1001_1^10 - 3/4*c_1001_1^9 + 37/4*c_1001_1^8 - 27*c_1001_1^7 - 59/2*c_1001_1^6 - 67/4*c_1001_1^5 - 101/4*c_1001_1^4 - 101/4*c_1001_1^3 - 12*c_1001_1^2 - 11/4*c_1001_1 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.840 Total time: 1.050 seconds, Total memory usage: 64.12MB