Magma V2.19-8 Wed Aug 21 2013 00:57:03 on localhost [Seed = 340922105] Type ? for help. Type -D to quit. Loading file "L13n3603__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n3603 geometric_solution 12.73110706 oriented_manifold CS_known -0.0000000000000006 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 -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 1 0 -1 12 0 0 -12 -1 0 0 1 11 -12 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.128886749561 0.831802849595 0 5 7 6 0132 0132 0132 0132 1 1 1 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 0 0 0 0 0 0 0 -12 0 0 12 -11 11 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.666522713307 1.255962201143 6 0 7 5 3012 0132 3012 0213 1 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 -1 1 0 -1 0 0 1 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.485902456132 0.791851403263 8 9 9 0 0132 0132 2103 0132 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 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.330785233925 1.105056071566 10 11 0 11 0132 0132 0132 1230 1 1 0 1 0 0 0 0 0 0 -1 1 0 1 0 -1 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 12 -12 1 -2 0 1 -11 12 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.330785233925 1.105056071566 6 1 12 2 0321 0132 0132 0213 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 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.197481806028 0.743767847714 5 7 1 2 0321 3201 0132 1230 1 1 1 1 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 0 1 0 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.412381038429 0.555814721549 12 2 6 1 1230 1230 2310 0132 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 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.437045931396 0.917418637364 3 11 10 10 0132 3201 3120 3201 0 1 1 1 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 -11 11 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.400968147927 0.662107754989 3 3 12 11 2103 0132 0321 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.751395429949 0.830514670482 4 8 8 12 0132 2310 3120 1230 1 1 1 0 0 0 0 0 0 0 -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 11 -11 11 -11 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.751395429949 0.830514670482 4 4 8 9 3012 0132 2310 0213 1 1 1 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 0 0 0 1 0 -1 0 12 -12 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.400968147927 0.662107754989 10 7 9 5 3012 3012 0321 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 0 0 0 0 0 0 0 11 0 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.818087035677 1.174020778843 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : d['c_0101_11'], 'c_1001_12' : negation(d['c_0011_7']), 'c_1001_5' : negation(d['c_0101_7']), 'c_1001_4' : negation(d['c_0011_7']), 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_7']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_7']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0101_11']), 'c_1010_12' : negation(d['c_0101_7']), 'c_1010_11' : negation(d['c_0011_7']), 'c_1010_10' : d['c_0101_12'], 's_0_10' : 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' : d['c_0101_11'], 'c_0101_10' : d['c_0011_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_7']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : d['c_0110_11'], '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_0110_11'], 'c_1100_3' : d['c_0110_11'], 'c_1100_2' : d['c_0101_2'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_3']), 'c_1100_10' : negation(d['c_0101_0']), 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_7']), 'c_1010_0' : negation(d['c_0011_7']), 'c_1010_9' : negation(d['c_0011_3']), 'c_1010_8' : negation(d['c_0101_11']), 'c_1100_8' : negation(d['c_0011_10']), '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' : negation(d['1']), 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1001_0'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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' : 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_0011_12'], 'c_0110_12' : negation(d['c_0101_0']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0011_12'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0011_12'], 'c_0101_3' : negation(d['c_0101_12']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_12'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_12']), 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0110_11']), 'c_0110_8' : negation(d['c_0101_12']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0011_12'], 'c_0110_6' : negation(d['c_0011_0'])})} 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_12, c_0011_3, c_0011_6, c_0011_7, c_0101_0, c_0101_11, c_0101_12, c_0101_2, c_0101_7, c_0110_11, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 10091631250514865787/29432570012387568*c_1001_0^19 - 1393856673502309067/1082079779867190*c_1001_0^18 - 68075229759784961719/24527141676989640*c_1001_0^17 + 148357155258954934307/147162850061937840*c_1001_0^16 + 296267156512435886317/24527141676989640*c_1001_0^15 + 710453806200567622171/24527141676989640*c_1001_0^14 - 280896477024559977427/36790712515484460*c_1001_0^13 - 9940471250550153794539/147162850061937840*c_1001_0^12 - 196799191241916958241/1731327647787504*c_1001_0^11 + 16910253639923448690341/147162850061937840*c_1001_0^10 + 35194745336155795393/144277303982292*c_1001_0^9 - 9191671863588175259/6131785419247410*c_1001_0^8 - 5919045558850150404371/18395356257742230*c_1001_0^7 - 3318438304953135182837/18395356257742230*c_1001_0^6 + 12999202459253397264703/73581425030968920*c_1001_0^5 + 35946085321290499835737/147162850061937840*c_1001_0^4 + 1865357405880612487921/49054283353979280*c_1001_0^3 - 341393213392162438139/3679071251548446*c_1001_0^2 - 9633261435678862517117/147162850061937840*c_1001_0 - 166018367929515095959/12263570838494820, c_0011_0 - 1, c_0011_10 + 1, c_0011_12 - c_1001_0, c_0011_3 + 3634092860177581/3270285556931952*c_1001_0^19 + 12537579051719707/3270285556931952*c_1001_0^18 + 4166640191778551/545047592821992*c_1001_0^17 - 21112049037295663/3270285556931952*c_1001_0^16 - 43075037759864275/1090095185643984*c_1001_0^15 - 336226373665058/4007702888397*c_1001_0^14 + 88330946712895897/1635142778465976*c_1001_0^13 + 722045189984455157/3270285556931952*c_1001_0^12 + 519321245710601567/1635142778465976*c_1001_0^11 - 789972032061807749/1635142778465976*c_1001_0^10 - 777882316239706355/1090095185643984*c_1001_0^9 + 27297150099879469/136261898205498*c_1001_0^8 + 218599028108320382/204392847308247*c_1001_0^7 + 145066942691414815/408785694616494*c_1001_0^6 - 1172346656890371389/1635142778465976*c_1001_0^5 - 2288699413911635633/3270285556931952*c_1001_0^4 + 12644497400724863/545047592821992*c_1001_0^3 + 1074958945498695637/3270285556931952*c_1001_0^2 + 577660553682425563/3270285556931952*c_1001_0 + 26554512600602471/1090095185643984, c_0011_6 + 869026513328501/1839535625774223*c_1001_0^19 + 3094126557633557/1839535625774223*c_1001_0^18 + 2158937857758047/613178541924741*c_1001_0^17 - 7286268730707739/3679071251548446*c_1001_0^16 - 19657311535775137/1226357083849482*c_1001_0^15 - 22566467386055033/613178541924741*c_1001_0^14 + 31164673592020357/1839535625774223*c_1001_0^13 + 161172681264445600/1839535625774223*c_1001_0^12 + 514782464175648547/3679071251548446*c_1001_0^11 - 19650869040268273/108207977986719*c_1001_0^10 - 358638004693063139/1226357083849482*c_1001_0^9 + 62424781684305653/1226357083849482*c_1001_0^8 + 770515923175599622/1839535625774223*c_1001_0^7 + 615005991502922477/3679071251548446*c_1001_0^6 - 471716149457661233/1839535625774223*c_1001_0^5 - 510408618170501689/1839535625774223*c_1001_0^4 - 4894148451314452/613178541924741*c_1001_0^3 + 431098460680568305/3679071251548446*c_1001_0^2 + 241934336988744391/3679071251548446*c_1001_0 + 6091224528375472/613178541924741, c_0011_7 + 458525974527223/2452714167698964*c_1001_0^19 + 1470573016881835/2452714167698964*c_1001_0^18 + 859666519104469/817571389232988*c_1001_0^17 - 2181041521977869/1226357083849482*c_1001_0^16 - 3060017859091865/408785694616494*c_1001_0^15 - 2795573474460829/204392847308247*c_1001_0^14 + 8280597443467697/613178541924741*c_1001_0^13 + 6127762823057695/144277303982292*c_1001_0^12 + 63817052672361233/1226357083849482*c_1001_0^11 - 239310393347690449/2452714167698964*c_1001_0^10 - 105662897587296989/817571389232988*c_1001_0^9 + 43263719549076857/817571389232988*c_1001_0^8 + 498854784052549163/2452714167698964*c_1001_0^7 + 144381430743463139/2452714167698964*c_1001_0^6 - 359711874727528705/2452714167698964*c_1001_0^5 - 168458372561147161/1226357083849482*c_1001_0^4 + 255741938354693/48092434660764*c_1001_0^3 + 165510414017427043/2452714167698964*c_1001_0^2 + 23259742554661606/613178541924741*c_1001_0 + 2499844254059611/408785694616494, c_0101_0 + 458525974527223/2452714167698964*c_1001_0^19 + 1470573016881835/2452714167698964*c_1001_0^18 + 859666519104469/817571389232988*c_1001_0^17 - 2181041521977869/1226357083849482*c_1001_0^16 - 3060017859091865/408785694616494*c_1001_0^15 - 2795573474460829/204392847308247*c_1001_0^14 + 8280597443467697/613178541924741*c_1001_0^13 + 6127762823057695/144277303982292*c_1001_0^12 + 63817052672361233/1226357083849482*c_1001_0^11 - 239310393347690449/2452714167698964*c_1001_0^10 - 105662897587296989/817571389232988*c_1001_0^9 + 43263719549076857/817571389232988*c_1001_0^8 + 498854784052549163/2452714167698964*c_1001_0^7 + 144381430743463139/2452714167698964*c_1001_0^6 - 359711874727528705/2452714167698964*c_1001_0^5 - 168458372561147161/1226357083849482*c_1001_0^4 + 255741938354693/48092434660764*c_1001_0^3 + 165510414017427043/2452714167698964*c_1001_0^2 + 23259742554661606/613178541924741*c_1001_0 + 2499844254059611/408785694616494, c_0101_11 + 21620799816448375/29432570012387568*c_1001_0^19 + 78080466630001399/29432570012387568*c_1001_0^18 + 27602333732063777/4905428335397928*c_1001_0^17 - 79107423729129361/29432570012387568*c_1001_0^16 - 242642800801149187/9810856670795856*c_1001_0^15 - 142217264277495661/2452714167698964*c_1001_0^14 + 343493898240600433/14716285006193784*c_1001_0^13 + 234571906014578719/1731327647787504*c_1001_0^12 + 813285707089567763/3679071251548446*c_1001_0^11 - 1995757557451107667/7358142503096892*c_1001_0^10 - 4529137642594825775/9810856670795856*c_1001_0^9 + 39402385219856420/613178541924741*c_1001_0^8 + 2374939440614572453/3679071251548446*c_1001_0^7 + 515358971665191575/1839535625774223*c_1001_0^6 - 5724956157831012263/14716285006193784*c_1001_0^5 - 12901442749516794911/29432570012387568*c_1001_0^4 - 3185685008302993/144277303982292*c_1001_0^3 + 5378709730798154425/29432570012387568*c_1001_0^2 + 3156794655664712929/29432570012387568*c_1001_0 + 156932275573793411/9810856670795856, c_0101_12 + 966806980488475/9810856670795856*c_1001_0^19 + 3775439917690231/9810856670795856*c_1001_0^18 + 86727546486667/96184869321528*c_1001_0^17 + 641535179591639/9810856670795856*c_1001_0^16 - 9311769527237407/3270285556931952*c_1001_0^15 - 6699544903498465/817571389232988*c_1001_0^14 + 638547200788741/4905428335397928*c_1001_0^13 + 145977952604540747/9810856670795856*c_1001_0^12 + 76374684388081423/2452714167698964*c_1001_0^11 - 60783183843307951/2452714167698964*c_1001_0^10 - 183875794124933159/3270285556931952*c_1001_0^9 - 240154251562223/48092434660764*c_1001_0^8 + 168903375557960237/2452714167698964*c_1001_0^7 + 99895001588317259/2452714167698964*c_1001_0^6 - 153644299958841209/4905428335397928*c_1001_0^5 - 446440821875918063/9810856670795856*c_1001_0^4 - 5413506733568831/817571389232988*c_1001_0^3 + 130668376378982185/9810856670795856*c_1001_0^2 + 76294238412175393/9810856670795856*c_1001_0 + 1622045783971487/3270285556931952, c_0101_2 + 12947803993879069/29432570012387568*c_1001_0^19 + 44470204303390939/29432570012387568*c_1001_0^18 + 890301150134611/288554607964584*c_1001_0^17 - 67612880450672095/29432570012387568*c_1001_0^16 - 146104115896345363/9810856670795856*c_1001_0^15 - 40458873068895401/1226357083849482*c_1001_0^14 + 288957577812283093/14716285006193784*c_1001_0^13 + 2367437209239616181/29432570012387568*c_1001_0^12 + 1834162771159417235/14716285006193784*c_1001_0^11 - 2695418969596496021/14716285006193784*c_1001_0^10 - 2503878767792134283/9810856670795856*c_1001_0^9 + 4616090592878267/72138651991146*c_1001_0^8 + 714627469277599619/1839535625774223*c_1001_0^7 + 481835115069618403/3679071251548446*c_1001_0^6 - 3657184669856527337/14716285006193784*c_1001_0^5 - 7295003751525288257/29432570012387568*c_1001_0^4 + 22910865190344191/4905428335397928*c_1001_0^3 + 3257939268700248445/29432570012387568*c_1001_0^2 + 1722179597011492987/29432570012387568*c_1001_0 + 72037902632154287/9810856670795856, c_0101_7 + 1, c_0110_11 + 966806980488475/9810856670795856*c_1001_0^19 + 3775439917690231/9810856670795856*c_1001_0^18 + 86727546486667/96184869321528*c_1001_0^17 + 641535179591639/9810856670795856*c_1001_0^16 - 9311769527237407/3270285556931952*c_1001_0^15 - 6699544903498465/817571389232988*c_1001_0^14 + 638547200788741/4905428335397928*c_1001_0^13 + 145977952604540747/9810856670795856*c_1001_0^12 + 76374684388081423/2452714167698964*c_1001_0^11 - 60783183843307951/2452714167698964*c_1001_0^10 - 183875794124933159/3270285556931952*c_1001_0^9 - 240154251562223/48092434660764*c_1001_0^8 + 168903375557960237/2452714167698964*c_1001_0^7 + 99895001588317259/2452714167698964*c_1001_0^6 - 153644299958841209/4905428335397928*c_1001_0^5 - 446440821875918063/9810856670795856*c_1001_0^4 - 5413506733568831/817571389232988*c_1001_0^3 + 130668376378982185/9810856670795856*c_1001_0^2 + 76294238412175393/9810856670795856*c_1001_0 + 1622045783971487/3270285556931952, c_1001_0^20 + 4*c_1001_0^19 + 9*c_1001_0^18 - c_1001_0^17 - 36*c_1001_0^16 - 93*c_1001_0^15 + 2*c_1001_0^14 + 203*c_1001_0^13 + 379*c_1001_0^12 - 256*c_1001_0^11 - 795*c_1001_0^10 - 165*c_1001_0^9 + 944*c_1001_0^8 + 752*c_1001_0^7 - 394*c_1001_0^6 - 839*c_1001_0^5 - 279*c_1001_0^4 + 247*c_1001_0^3 + 256*c_1001_0^2 + 84*c_1001_0 + 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.310 seconds, Total memory usage: 32.09MB