Magma V2.19-8 Wed Aug 21 2013 01:13:59 on localhost [Seed = 1048060039] Type ? for help. Type -D to quit. Loading file "L14n9738__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n9738 geometric_solution 12.40269630 oriented_manifold CS_known 0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 0 0 1 2 1302 2031 0132 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 -1 0 1 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.520767745672 0.297113814339 3 2 4 0 0132 3012 0132 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 -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.551312930472 0.826519969002 1 5 0 6 1230 0132 0132 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 -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.551312930472 0.826519969002 1 5 5 6 0132 3012 1230 3120 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 1 -1 0 0 0 0 0 -15 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.579986511189 1.230162358980 7 5 8 1 0132 0213 0132 0132 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 0 0 0 -1 0 0 1 -14 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.374354146437 1.540412626134 3 2 4 3 1230 0132 0213 3012 1 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 0 0 0 15 0 -14 -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.579986511189 1.230162358980 3 7 2 8 3120 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 -1 0 0 0 0 0 -15 0 0 15 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.374354146437 1.540412626134 4 6 10 9 0132 0132 0132 0132 1 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 1 0 0 -1 0 1 0 -1 14 0 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.283933410429 0.609494003718 11 12 6 4 0132 0132 0132 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 15 0 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.283933410429 0.609494003718 11 12 7 11 2103 0213 0132 3201 1 1 0 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 1 -1 2 -1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.655443811598 1.028414968862 11 12 12 7 3120 0321 3201 0132 1 1 1 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 0 1 -1 0 0 0 0 -14 0 0 14 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.655443811598 1.028414968862 8 9 9 10 0132 2310 2103 3120 0 1 1 1 0 1 -1 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 -2 1 0 0 0 0 -15 1 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.655443811598 1.028414968862 10 8 9 10 2310 0132 0213 0321 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 0 0 0 0 0 0 -1 0 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.655443811598 1.028414968862 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_9'], 'c_1001_10' : negation(d['c_0011_9']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_12'], 'c_1001_4' : d['c_1001_12'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_1001_12'], 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : d['c_0011_0'], 'c_1001_9' : d['c_1001_12'], 'c_1001_8' : d['c_1001_7'], 'c_1010_12' : d['c_1001_7'], 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : d['c_1001_7'], 's_0_10' : d['1'], 's_3_10' : negation(d['1']), 's_0_12' : negation(d['1']), 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0011_9'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : negation(d['1']), 's_2_12' : d['1'], 's_2_10' : negation(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' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : negation(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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_1100_0'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_11']), 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_12'], 'c_1010_6' : d['c_1001_7'], 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_1001_12'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : negation(d['c_0011_9']), 'c_1010_8' : d['c_1001_12'], 'c_1100_8' : d['c_1100_0'], 's_3_1' : negation(d['1']), 's_3_0' : negation(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' : negation(d['1']), 'c_1100_12' : negation(d['c_0011_9']), '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0101_1'], 'c_0101_6' : d['c_0011_1'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_11'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : d['c_0101_1'], 's_1_12' : negation(d['1']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0101_1'], 's_2_9' : d['1']})} 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_1, c_0011_10, c_0011_11, c_0011_2, c_0011_4, c_0011_9, c_0101_1, c_0101_11, c_0101_2, c_1001_12, c_1001_7, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 15514013801890876156367810969/53272768327323740626983321600*c_1100_\ 0^17 - 3544780976390180502584977939/603087943328193290116792320*c_1\ 100_0^16 + 7515198546637986865316608738681/159818304981971221880949\ 964800*c_1100_0^15 - 32076335435762653748625258649133/1598183049819\ 71221880949964800*c_1100_0^14 + 1487929752567622397519751229043/266\ 3638416366187031349166080*c_1100_0^13 - 654980884189995970006655902355/532727683273237406269833216*c_1100_0\ ^12 + 189223716063615951875079414554651/799091524909856109404749824\ 00*c_1100_0^11 - 45197318392228945853437962768977/15981830498197122\ 188094996480*c_1100_0^10 + 6741921434010841883456343788791/15077198\ 58320483225291980800*c_1100_0^9 - 119390500057341594164378712046031\ /26636384163661870313491660800*c_1100_0^8 + 113803400113811531865371047898323/39954576245492805470237491200*c_1\ 100_0^7 - 18624618119877522594102140118229/399545762454928054702374\ 91200*c_1100_0^6 + 1364424633071271910393129526461/2130910733092949\ 625079332864*c_1100_0^5 - 4236613843300245181985982251099/639273219\ 9278848875237998592*c_1100_0^4 + 14153975668644113988039450761333/3\ 1963660996394244376189992960*c_1100_0^3 + 28453445308681702353699740860861/53272768327323740626983321600*c_11\ 00_0^2 - 4389951898512726308112823377517/19977288122746402735118745\ 600*c_1100_0 - 1080019709496277766597629408429/49943220306866006837\ 79686400, c_0011_0 - 1, c_0011_1 + 1603807376054595/5714203846334480384*c_1100_0^17 - 1793607728067749/323445500735913984*c_1100_0^16 + 733252547824906627/17142611539003441152*c_1100_0^15 - 2940421339582187135/17142611539003441152*c_1100_0^14 + 623079184827925701/1428550961583620096*c_1100_0^13 - 1250878557991726297/1428550961583620096*c_1100_0^12 + 13380663601295943161/8571305769501720576*c_1100_0^11 - 10900332257324411287/8571305769501720576*c_1100_0^10 + 358290773039628493/161722750367956992*c_1100_0^9 - 4137049061441494101/2857101923167240192*c_1100_0^8 - 5231644591537129439/4285652884750860288*c_1100_0^7 + 8841854905866801353/4285652884750860288*c_1100_0^6 - 8599844696751926153/5714203846334480384*c_1100_0^5 - 817770282838153745/17142611539003441152*c_1100_0^4 - 8841116753595552653/17142611539003441152*c_1100_0^3 + 7004073860695862831/5714203846334480384*c_1100_0^2 - 1681496258463384895/2142826442375430144*c_1100_0 - 371937429851409343/535706610593857536, c_0011_10 + 1304407873/624498966528*c_1100_0^17 - 8612079313/208166322176*c_1100_0^16 + 201203755879/624498966528*c_1100_0^15 - 829461466969/624498966528*c_1100_0^14 + 186730461051/52041580544*c_1100_0^13 - 1222480647907/156124741632*c_1100_0^12 + 4715928450941/312249483264*c_1100_0^11 - 5330849261293/312249483264*c_1100_0^10 + 9556606022797/312249483264*c_1100_0^9 - 8561305566653/312249483264*c_1100_0^8 + 1075708883037/52041580544*c_1100_0^7 - 1126546515815/156124741632*c_1100_0^6 + 7657303418069/624498966528*c_1100_0^5 - 2993548858955/624498966528*c_1100_0^4 + 3014051870231/624498966528*c_1100_0^3 + 2678094666803/624498966528*c_1100_0^2 + 82365634103/78062370816*c_1100_0 - 1980572177/19515592704, c_0011_11 - 3760034625937327/4285652884750860288*c_1100_0^17 + 1367480529956215/80861375183978496*c_1100_0^16 - 179656371235135231/1428550961583620096*c_1100_0^15 + 2053608790293238877/4285652884750860288*c_1100_0^14 - 412722139950427871/357137740395905024*c_1100_0^13 + 2408010756382728445/1071413221187715072*c_1100_0^12 - 2783744084693165629/714275480791810048*c_1100_0^11 + 1554404209173462943/714275480791810048*c_1100_0^10 - 232858947593417683/40430687591989248*c_1100_0^9 + 457122158251725701/2142826442375430144*c_1100_0^8 + 5093053786884271261/1071413221187715072*c_1100_0^7 - 10367777430434753375/1071413221187715072*c_1100_0^6 + 15667799842746488029/4285652884750860288*c_1100_0^5 - 7502969586352144439/1428550961583620096*c_1100_0^4 + 8728680026773651187/4285652884750860288*c_1100_0^3 - 16061593050926690807/4285652884750860288*c_1100_0^2 - 184498960421672065/178568870197952512*c_1100_0 + 38636413572509773/133926652648464384, c_0011_2 + 1603807376054595/5714203846334480384*c_1100_0^17 - 1793607728067749/323445500735913984*c_1100_0^16 + 733252547824906627/17142611539003441152*c_1100_0^15 - 2940421339582187135/17142611539003441152*c_1100_0^14 + 623079184827925701/1428550961583620096*c_1100_0^13 - 1250878557991726297/1428550961583620096*c_1100_0^12 + 13380663601295943161/8571305769501720576*c_1100_0^11 - 10900332257324411287/8571305769501720576*c_1100_0^10 + 358290773039628493/161722750367956992*c_1100_0^9 - 4137049061441494101/2857101923167240192*c_1100_0^8 - 5231644591537129439/4285652884750860288*c_1100_0^7 + 8841854905866801353/4285652884750860288*c_1100_0^6 - 8599844696751926153/5714203846334480384*c_1100_0^5 - 817770282838153745/17142611539003441152*c_1100_0^4 - 8841116753595552653/17142611539003441152*c_1100_0^3 + 7004073860695862831/5714203846334480384*c_1100_0^2 - 1681496258463384895/2142826442375430144*c_1100_0 - 371937429851409343/535706610593857536, c_0011_4 + c_1100_0, c_0011_9 - 1, c_0101_1 + 6529294576373671/4285652884750860288*c_1100_0^17 - 2489818807210925/80861375183978496*c_1100_0^16 + 1059409593811093337/4285652884750860288*c_1100_0^15 - 1519451216026121417/1428550961583620096*c_1100_0^14 + 1072750661358008849/357137740395905024*c_1100_0^13 - 7202232528095054389/1071413221187715072*c_1100_0^12 + 28096416761061630163/2142826442375430144*c_1100_0^11 - 34936568382012182159/2142826442375430144*c_1100_0^10 + 350807576256862861/13476895863996416*c_1100_0^9 - 56498771375253616943/2142826442375430144*c_1100_0^8 + 21530744370193539733/1071413221187715072*c_1100_0^7 - 2274609630277715723/357137740395905024*c_1100_0^6 + 24853906512787692227/4285652884750860288*c_1100_0^5 - 19521779134960181977/4285652884750860288*c_1100_0^4 + 6252787175349980643/1428550961583620096*c_1100_0^3 + 8813704016809866809/4285652884750860288*c_1100_0^2 - 368385588887441291/535706610593857536*c_1100_0 - 12051101727498129/44642217549488128, c_0101_11 + 2539626431518651/8571305769501720576*c_1100_0^17 - 1013469432762047/161722750367956992*c_1100_0^16 + 463190906579893769/8571305769501720576*c_1100_0^15 - 739050530768571567/2857101923167240192*c_1100_0^14 + 592734876269988095/714275480791810048*c_1100_0^13 - 4426022476338826753/2142826442375430144*c_1100_0^12 + 18595537058397114091/4285652884750860288*c_1100_0^11 - 29098754957458118837/4285652884750860288*c_1100_0^10 + 280419355065313229/26953791727992832*c_1100_0^9 - 53591159783724133997/4285652884750860288*c_1100_0^8 + 29177066301011364883/2142826442375430144*c_1100_0^7 - 6539340076582912919/714275480791810048*c_1100_0^6 + 46340774416081332815/8571305769501720576*c_1100_0^5 - 29498263547394743491/8571305769501720576*c_1100_0^4 + 8689259470374857459/2857101923167240192*c_1100_0^3 - 4661586592337506153/8571305769501720576*c_1100_0^2 - 713808869216353229/1071413221187715072*c_1100_0 + 46975521141544273/89284435098976256, c_0101_2 + 349242315746381/267853305296928768*c_1100_0^17 - 267089842716455/10107671897997312*c_1100_0^16 + 14256173328568207/66963326324232192*c_1100_0^15 - 164161306199598017/178568870197952512*c_1100_0^14 + 115998868657183761/44642217549488128*c_1100_0^13 - 387848154285029801/66963326324232192*c_1100_0^12 + 375968127480469211/33481663162116096*c_1100_0^11 - 3707706216729273341/267853305296928768*c_1100_0^10 + 1135279678468217/52644124468736*c_1100_0^9 - 5814739508566737965/267853305296928768*c_1100_0^8 + 2044301469196568113/133926652648464384*c_1100_0^7 - 60489263897718569/22321108774744064*c_1100_0^6 + 561396678490904359/267853305296928768*c_1100_0^5 - 1075638988999247035/535706610593857536*c_1100_0^4 + 68393838100485105/22321108774744064*c_1100_0^3 + 1178987243055267845/535706610593857536*c_1100_0^2 - 129923774141233067/66963326324232192*c_1100_0 - 2938187407779621/5580277193686016, c_1001_12 - 6529294576373671/4285652884750860288*c_1100_0^17 + 2489818807210925/80861375183978496*c_1100_0^16 - 1059409593811093337/4285652884750860288*c_1100_0^15 + 1519451216026121417/1428550961583620096*c_1100_0^14 - 1072750661358008849/357137740395905024*c_1100_0^13 + 7202232528095054389/1071413221187715072*c_1100_0^12 - 28096416761061630163/2142826442375430144*c_1100_0^11 + 34936568382012182159/2142826442375430144*c_1100_0^10 - 350807576256862861/13476895863996416*c_1100_0^9 + 56498771375253616943/2142826442375430144*c_1100_0^8 - 21530744370193539733/1071413221187715072*c_1100_0^7 + 2274609630277715723/357137740395905024*c_1100_0^6 - 24853906512787692227/4285652884750860288*c_1100_0^5 + 19521779134960181977/4285652884750860288*c_1100_0^4 - 6252787175349980643/1428550961583620096*c_1100_0^3 - 8813704016809866809/4285652884750860288*c_1100_0^2 + 368385588887441291/535706610593857536*c_1100_0 + 12051101727498129/44642217549488128, c_1001_7 + 2539626431518651/8571305769501720576*c_1100_0^17 - 1013469432762047/161722750367956992*c_1100_0^16 + 463190906579893769/8571305769501720576*c_1100_0^15 - 739050530768571567/2857101923167240192*c_1100_0^14 + 592734876269988095/714275480791810048*c_1100_0^13 - 4426022476338826753/2142826442375430144*c_1100_0^12 + 18595537058397114091/4285652884750860288*c_1100_0^11 - 29098754957458118837/4285652884750860288*c_1100_0^10 + 280419355065313229/26953791727992832*c_1100_0^9 - 53591159783724133997/4285652884750860288*c_1100_0^8 + 29177066301011364883/2142826442375430144*c_1100_0^7 - 6539340076582912919/714275480791810048*c_1100_0^6 + 46340774416081332815/8571305769501720576*c_1100_0^5 - 29498263547394743491/8571305769501720576*c_1100_0^4 + 8689259470374857459/2857101923167240192*c_1100_0^3 - 4661586592337506153/8571305769501720576*c_1100_0^2 - 713808869216353229/1071413221187715072*c_1100_0 + 46975521141544273/89284435098976256, c_1100_0^18 - 20*c_1100_0^17 + 158*c_1100_0^16 - 664*c_1100_0^15 + 1825*c_1100_0^14 - 4000*c_1100_0^13 + 7686*c_1100_0^12 - 8900*c_1100_0^11 + 14828*c_1100_0^10 - 13668*c_1100_0^9 + 9326*c_1100_0^8 - 1128*c_1100_0^7 + 2545*c_1100_0^6 - 1200*c_1100_0^5 + 1670*c_1100_0^4 + 2244*c_1100_0^3 - 183*c_1100_0^2 - 184*c_1100_0 + 160 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.190 Total time: 0.390 seconds, Total memory usage: 32.09MB