Magma V2.19-8 Wed Aug 21 2013 00:53:01 on localhost [Seed = 2177340421] Type ? for help. Type -D to quit. Loading file "L12n1195__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n1195 geometric_solution 12.00277634 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 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 0 0 0.722186559760 0.538342330443 0 5 7 6 0132 0132 0132 0132 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 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.722186559760 0.538342330443 8 0 9 7 0132 0132 0132 0132 1 1 0 0 0 0 0 0 1 0 0 -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 -1 0 0 1 1 0 0 -1 -2 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.538065803439 0.517647004524 8 7 10 0 1023 0132 0132 0132 1 1 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 2 -2 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722186559760 0.538342330443 11 10 0 9 0132 3012 0132 0132 1 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 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.691113563432 0.721283868302 12 1 11 10 0132 0132 3120 0321 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 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.663501307923 0.890087403252 8 9 1 10 3012 3012 0132 0132 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 -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.609944294457 1.072479794220 11 3 2 1 3120 0132 0132 0132 1 1 0 0 0 0 0 0 -1 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 0 0 0 -1 1 0 0 0 0 -3 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722186559760 0.538342330443 2 3 12 6 0132 1023 0132 1230 1 1 0 0 0 0 0 0 -1 0 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 1 0 -1 0 2 -2 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.734872630671 0.598128048657 6 12 4 2 1230 1230 0132 0132 1 1 0 1 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 1 -1 0 0 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.567017645630 0.506457400396 4 5 6 3 1230 0321 0132 0132 1 1 0 1 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 0 1 1 0 -1 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.691113563432 0.721283868302 4 12 5 7 0132 3120 3120 3120 0 1 0 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 -3 0 3 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.461657669557 0.722186559760 5 11 9 8 0132 3120 3012 0132 1 1 0 0 0 0 0 0 0 0 1 -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 0 0 -1 1 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.527412050675 0.603560808131 ==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_0101_11']), 'c_1001_12' : negation(d['c_0011_9']), 'c_1001_5' : negation(d['c_0011_9']), 'c_1001_4' : negation(d['c_0011_10']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_9']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : negation(d['c_0011_10']), 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : d['c_0011_0'], 'c_1010_10' : d['c_1001_1'], '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' : negation(d['c_0011_10']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : 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' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : d['c_1100_0'], '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_0101_5']), 'c_1100_10' : d['c_1100_0'], 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0101_11']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_10']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_9']), 'c_1010_0' : negation(d['c_0011_10']), 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_0101_0'], 's_3_1' : negation(d['1']), 's_3_0' : negation(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' : d['c_0101_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : 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_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0101_5'], 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : d['c_0011_6'], 'c_0101_7' : d['c_0101_5'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_11']), 'c_0101_2' : d['c_0011_6'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : d['c_0101_5'], 's_1_12' : negation(d['1']), 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_6'], 'c_0110_8' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : d['c_0101_10'], '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_10, c_0011_11, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_5, c_1001_0, c_1001_1, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 4982956290667657127540519/613554506614466458896192*c_1100_0^13 - 13558723966550734832385553/153388626653616614724048*c_1100_0^12 - 37481138420909708282522201/204518168871488819632064*c_1100_0^11 + 132582854975852160907995139/153388626653616614724048*c_1100_0^10 + 182074099380859380342388205/76694313326808307362024*c_1100_0^9 - 392180263982600401545766825/153388626653616614724048*c_1100_0^8 - 1362602785598703005279527875/102259084435744409816032*c_1100_0^7 - 260941518879870128573983/11799125127201278055696*c_1100_0^6 + 4683161475261360059484094211/153388626653616614724048*c_1100_0^5 + 2213709211054788067802304193/153388626653616614724048*c_1100_0^4 - 12713216136052410453013116415/613554506614466458896192*c_1100_0^3 - 1577184328616377866783636893/153388626653616614724048*c_1100_0^2 + 167358984778424337864889091/76694313326808307362024*c_1100_0 + 35188561678289139074189271/12782385554468051227004, c_0011_0 - 1, c_0011_10 - 21966567402179425599/881543831342624222552*c_1100_0^13 - 68101823078829586887/220385957835656055638*c_1100_0^12 - 926007664667139702743/881543831342624222552*c_1100_0^11 + 180732455138328134061/220385957835656055638*c_1100_0^10 + 1704623743621313319661/220385957835656055638*c_1100_0^9 + 1015664458030426130167/220385957835656055638*c_1100_0^8 - 12302663047225729025385/440771915671312111276*c_1100_0^7 - 665359854024517546671/16952765987358158126*c_1100_0^6 + 2664565668343193336327/220385957835656055638*c_1100_0^5 + 7296270371705234799545/220385957835656055638*c_1100_0^4 - 1831847371924501835359/881543831342624222552*c_1100_0^3 - 1350694484620186899807/220385957835656055638*c_1100_0^2 - 257479319138223533841/220385957835656055638*c_1100_0 + 115167147390954551461/110192978917828027819, c_0011_11 + 6234311356234104641/881543831342624222552*c_1100_0^13 + 39155498143241169895/440771915671312111276*c_1100_0^12 + 276881614618405718553/881543831342624222552*c_1100_0^11 - 70632548071425946985/440771915671312111276*c_1100_0^10 - 471455529689308437973/220385957835656055638*c_1100_0^9 - 370232009281603436553/220385957835656055638*c_1100_0^8 + 3127867437191149286839/440771915671312111276*c_1100_0^7 + 100149927562787227642/8476382993679079063*c_1100_0^6 + 55988433040794382697/220385957835656055638*c_1100_0^5 - 1380151581425086335625/220385957835656055638*c_1100_0^4 - 551406396385279689239/881543831342624222552*c_1100_0^3 + 305524009636506452427/440771915671312111276*c_1100_0^2 + 204408299238560983753/220385957835656055638*c_1100_0 - 68437507093117100803/110192978917828027819, c_0011_6 + 12520518534298337255/881543831342624222552*c_1100_0^13 + 80321101315403127449/440771915671312111276*c_1100_0^12 + 595973745944497724175/881543831342624222552*c_1100_0^11 - 81354045527746559375/440771915671312111276*c_1100_0^10 - 987947911569700217485/220385957835656055638*c_1100_0^9 - 971877067837072729697/220385957835656055638*c_1100_0^8 + 6187216515408517044037/440771915671312111276*c_1100_0^7 + 234493625676091392855/8476382993679079063*c_1100_0^6 + 952131363979663785759/220385957835656055638*c_1100_0^5 - 3179674851487857174133/220385957835656055638*c_1100_0^4 - 2760588111534414363369/881543831342624222552*c_1100_0^3 - 316543537759437213447/440771915671312111276*c_1100_0^2 - 48522701735403461925/220385957835656055638*c_1100_0 + 39686377919818797563/110192978917828027819, c_0011_9 + 1804343062899996479/881543831342624222552*c_1100_0^13 + 12312042501341917205/440771915671312111276*c_1100_0^12 + 103843179787849579187/881543831342624222552*c_1100_0^11 + 18007368172684611765/440771915671312111276*c_1100_0^10 - 76746252143548576988/110192978917828027819*c_1100_0^9 - 233866723158972678935/220385957835656055638*c_1100_0^8 + 811575209625656984093/440771915671312111276*c_1100_0^7 + 45933922430387396107/8476382993679079063*c_1100_0^6 + 470528752970448318147/220385957835656055638*c_1100_0^5 - 473672342739112170899/220385957835656055638*c_1100_0^4 + 1216670282428340723823/881543831342624222552*c_1100_0^3 + 827620011055422165993/440771915671312111276*c_1100_0^2 - 171631164642758597806/110192978917828027819*c_1100_0 - 57241434687826820095/110192978917828027819, c_0101_0 - 1, c_0101_1 - 22017172998882669875/881543831342624222552*c_1100_0^13 - 140090854371610612507/440771915671312111276*c_1100_0^12 - 1019896399565140120843/881543831342624222552*c_1100_0^11 + 189894278657203610201/440771915671312111276*c_1100_0^10 + 1720448707607044368723/220385957835656055638*c_1100_0^9 + 1556075827119759191641/220385957835656055638*c_1100_0^8 - 11082862969263669013181/440771915671312111276*c_1100_0^7 - 393864341545337111226/8476382993679079063*c_1100_0^6 - 933325646728865901587/220385957835656055638*c_1100_0^5 + 5908086689479990682125/220385957835656055638*c_1100_0^4 + 4832990562513819411813/881543831342624222552*c_1100_0^3 - 894420673065410251639/440771915671312111276*c_1100_0^2 - 431472532607772230275/220385957835656055638*c_1100_0 + 89971264014815418127/110192978917828027819, c_0101_10 + 4318646489054702877/220385957835656055638*c_1100_0^13 + 107336786933949918805/440771915671312111276*c_1100_0^12 + 182475176375675844441/220385957835656055638*c_1100_0^11 - 299084409695196074223/440771915671312111276*c_1100_0^10 - 693042874744828324632/110192978917828027819*c_1100_0^9 - 402330056617056201540/110192978917828027819*c_1100_0^8 + 2558695698185175326204/110192978917828027819*c_1100_0^7 + 548375104931216013955/16952765987358158126*c_1100_0^6 - 1486844294754436764176/110192978917828027819*c_1100_0^5 - 3680520998386215758107/110192978917828027819*c_1100_0^4 + 456990073343103229641/220385957835656055638*c_1100_0^3 + 4604530588771213856645/440771915671312111276*c_1100_0^2 + 126006587647171022478/110192978917828027819*c_1100_0 - 174214968156474653314/110192978917828027819, c_0101_11 + 12614455255264826789/440771915671312111276*c_1100_0^13 + 156817901070625488937/440771915671312111276*c_1100_0^12 + 536524351834688190429/440771915671312111276*c_1100_0^11 - 399372595334687371963/440771915671312111276*c_1100_0^10 - 982834504984674516463/110192978917828027819*c_1100_0^9 - 614815604015754577779/110192978917828027819*c_1100_0^8 + 7035221031944865853845/220385957835656055638*c_1100_0^7 + 783801430637434528129/16952765987358158126*c_1100_0^6 - 1369679909317392801598/110192978917828027819*c_1100_0^5 - 4322265314136140985956/110192978917828027819*c_1100_0^4 + 155425658665188238077/440771915671312111276*c_1100_0^3 + 3606829170428714812273/440771915671312111276*c_1100_0^2 + 266533127121419121144/110192978917828027819*c_1100_0 - 176387282232471666348/110192978917828027819, c_0101_5 + 12110977119557481303/440771915671312111276*c_1100_0^13 + 75888661327057066443/220385957835656055638*c_1100_0^12 + 527804408463401943071/440771915671312111276*c_1100_0^11 - 180876010225279338389/220385957835656055638*c_1100_0^10 - 978388019507411427183/110192978917828027819*c_1100_0^9 - 663977831199760976498/110192978917828027819*c_1100_0^8 + 6998046468861372728421/220385957835656055638*c_1100_0^7 + 409714045412409127989/8476382993679079063*c_1100_0^6 - 1474195813473976222805/110192978917828027819*c_1100_0^5 - 5145831391081170533899/110192978917828027819*c_1100_0^4 - 626448807680730005981/440771915671312111276*c_1100_0^3 + 2907824657261989840243/220385957835656055638*c_1100_0^2 + 333248033039927731983/110192978917828027819*c_1100_0 - 270551262269003125763/110192978917828027819, c_1001_0 + 16704012423/2735299588216*c_1100_0^13 + 124710012399/1367649794108*c_1100_0^12 + 1244423300043/2735299588216*c_1100_0^11 + 718427942287/1367649794108*c_1100_0^10 - 727265331606/341912448527*c_1100_0^9 - 4092592501249/683824897054*c_1100_0^8 + 3047605231721/1367649794108*c_1100_0^7 + 657778015373/26300957579*c_1100_0^6 + 18199537275905/683824897054*c_1100_0^5 - 2873597083335/683824897054*c_1100_0^4 - 43753551482865/2735299588216*c_1100_0^3 - 3468797538601/1367649794108*c_1100_0^2 + 256366572923/341912448527*c_1100_0 + 151825148037/341912448527, c_1001_1 + 21966567402179425599/881543831342624222552*c_1100_0^13 + 68101823078829586887/220385957835656055638*c_1100_0^12 + 926007664667139702743/881543831342624222552*c_1100_0^11 - 180732455138328134061/220385957835656055638*c_1100_0^10 - 1704623743621313319661/220385957835656055638*c_1100_0^9 - 1015664458030426130167/220385957835656055638*c_1100_0^8 + 12302663047225729025385/440771915671312111276*c_1100_0^7 + 665359854024517546671/16952765987358158126*c_1100_0^6 - 2664565668343193336327/220385957835656055638*c_1100_0^5 - 7296270371705234799545/220385957835656055638*c_1100_0^4 + 1831847371924501835359/881543831342624222552*c_1100_0^3 + 1350694484620186899807/220385957835656055638*c_1100_0^2 + 37093361302567478203/220385957835656055638*c_1100_0 - 115167147390954551461/110192978917828027819, c_1100_0^14 + 12*c_1100_0^13 + 37*c_1100_0^12 - 52*c_1100_0^11 - 304*c_1100_0^10 - 52*c_1100_0^9 + 1246*c_1100_0^8 + 1140*c_1100_0^7 - 1316*c_1100_0^6 - 1340*c_1100_0^5 + 745*c_1100_0^4 + 380*c_1100_0^3 - 96*c_1100_0^2 - 96*c_1100_0 + 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.170 Total time: 0.370 seconds, Total memory usage: 32.09MB