Magma V2.19-8 Tue Aug 20 2013 16:17:03 on localhost [Seed = 2244221271] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1306 geometric_solution 5.19211549 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 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.641787241680 0.268507557463 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -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 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.190300408232 0.621376850901 3 1 1 4 0132 0132 1023 0132 0 0 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 -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.364703223102 0.333722650102 2 4 6 5 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -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 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.308794995768 1.126474408477 6 5 2 3 2310 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.308794995768 1.126474408477 5 5 3 4 1302 2031 0132 3201 0 0 0 0 0 0 0 0 1 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.008724604745 1.220512034613 6 6 4 3 1302 2031 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.309915942185 0.514385738460 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_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' : negation(d['1']), 's_0_6' : 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' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_5, c_0011_6, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 6726199077721528374631351843/296991666447170231182286134*c_0101_3^1\ 6 + 1034875426489762847885564901/22845512803628479321714318*c_0101_\ 3^15 + 147953421797646860887310892163/593983332894340462364572268*c\ _0101_3^14 - 793719546690643433816915840503/59398333289434046236457\ 2268*c_0101_3^13 - 1089227503468934179152011651201/5939833328943404\ 62364572268*c_0101_3^12 + 320751061860364687966766609103/4569102560\ 7256958643428636*c_0101_3^11 - 1645032477398647385305086931/5572076\ 29356792178578398*c_0101_3^10 - 2723437187690335521444406210331/148\ 495833223585115591143067*c_0101_3^9 + 3389883614820090921179275136745/148495833223585115591143067*c_0101_\ 3^8 - 10745104983612737861540099097315/593983332894340462364572268*\ c_0101_3^7 - 5932554776306738003703353733792/1484958332235851155911\ 43067*c_0101_3^6 + 30085880722256551539020728202201/593983332894340\ 462364572268*c_0101_3^5 - 9318598245081396253983420055685/593983332\ 894340462364572268*c_0101_3^4 + 593834772884677143804782613741/5939\ 83332894340462364572268*c_0101_3^3 + 1343537652686205346172412132884/148495833223585115591143067*c_0101_\ 3^2 - 648048175819834190275125363947/296991666447170231182286134*c_\ 0101_3 - 599575321288120074144902700685/593983332894340462364572268\ , c_0011_0 - 1, c_0011_1 - 1381662153546181821840146/148495833223585115591143067*c_0101\ _3^16 + 166222564550159011996397/11422756401814239660857159*c_0101_\ 3^15 + 16211670655023729120960679/148495833223585115591143067*c_010\ 1_3^14 - 74536926868983530812783071/148495833223585115591143067*c_0\ 101_3^13 - 145190252577367828626988741/148495833223585115591143067*\ c_0101_3^12 + 28336232231869269074304946/11422756401814239660857159\ *c_0101_3^11 - 21138617885530070444600/278603814678396089289199*c_0\ 101_3^10 - 1134707679830516515706752550/148495833223585115591143067\ *c_0101_3^9 + 897890484937218427652528966/1484958332235851155911430\ 67*c_0101_3^8 - 680764060129283872434049905/14849583322358511559114\ 3067*c_0101_3^7 - 2741119114077214320041717547/14849583322358511559\ 1143067*c_0101_3^6 + 1985800034453255414477123190/14849583322358511\ 5591143067*c_0101_3^5 - 17979809292933170679665427/1484958332235851\ 15591143067*c_0101_3^4 + 83632274234666948503310255/148495833223585\ 115591143067*c_0101_3^3 + 619792322394059387847277023/1484958332235\ 85115591143067*c_0101_3^2 + 87282822413784664530584731/148495833223\ 585115591143067*c_0101_3 - 79316570353260447749646489/1484958332235\ 85115591143067, c_0011_4 + 3617143282320315245589786/148495833223585115591143067*c_0101\ _3^16 - 625467416925673410389578/11422756401814239660857159*c_0101_\ 3^15 - 38193747007135865672782152/148495833223585115591143067*c_010\ 1_3^14 + 223593687390284156421926724/148495833223585115591143067*c_\ 0101_3^13 + 242340530453588498025904713/148495833223585115591143067\ *c_0101_3^12 - 92659944865577737425330005/1142275640181423966085715\ 9*c_0101_3^11 + 1365968310389849462942665/278603814678396089289199*\ c_0101_3^10 + 2863516603131751627555801915/148495833223585115591143\ 067*c_0101_3^9 - 4372944080173668541361135954/148495833223585115591\ 143067*c_0101_3^8 + 3633864154595183346753033725/148495833223585115\ 591143067*c_0101_3^7 + 5777649336712990671263629158/148495833223585\ 115591143067*c_0101_3^6 - 9767292891117147320659994242/148495833223\ 585115591143067*c_0101_3^5 + 4081684130635273606371555163/148495833\ 223585115591143067*c_0101_3^4 - 609373233684407405585276460/1484958\ 33223585115591143067*c_0101_3^3 - 1317776068478639074751735340/1484\ 95833223585115591143067*c_0101_3^2 + 660107829365555912757491719/148495833223585115591143067*c_0101_3 + 67186016363564880450961796/148495833223585115591143067, c_0011_5 - 1512467801130606911665207/148495833223585115591143067*c_0101\ _3^16 + 289498903806013086199672/11422756401814239660857159*c_0101_\ 3^15 + 14661617308716156770984597/148495833223585115591143067*c_010\ 1_3^14 - 96301212414214013190231124/148495833223585115591143067*c_0\ 101_3^13 - 73703896650445631454817761/148495833223585115591143067*c\ _0101_3^12 + 38385155352777805084118641/11422756401814239660857159*\ c_0101_3^11 - 865692106997520529926829/278603814678396089289199*c_0\ 101_3^10 - 977884378236364494431836442/148495833223585115591143067*\ c_0101_3^9 + 2036416278250656967438950027/1484958332235851155911430\ 67*c_0101_3^8 - 2307660804926295433231954348/1484958332235851155911\ 43067*c_0101_3^7 - 1576826404654267181881827134/1484958332235851155\ 91143067*c_0101_3^6 + 4189022533201238734141821531/1484958332235851\ 15591143067*c_0101_3^5 - 3400924422275855995408928281/1484958332235\ 85115591143067*c_0101_3^4 + 1602727140000442698036201763/1484958332\ 23585115591143067*c_0101_3^3 + 155413973061377870642912115/14849583\ 3223585115591143067*c_0101_3^2 - 220893566931956594539077432/148495\ 833223585115591143067*c_0101_3 + 78950708993149762781240782/1484958\ 33223585115591143067, c_0011_6 + 5655241794320107114315027/148495833223585115591143067*c_0101\ _3^16 - 923587195478382637055303/11422756401814239660857159*c_0101_\ 3^15 - 60411204655992582947093475/148495833223585115591143067*c_010\ 1_3^14 + 340478421331122152527320392/148495833223585115591143067*c_\ 0101_3^13 + 412653269528801704477459704/148495833223585115591143067\ *c_0101_3^12 - 137329405890150285140628243/114227564018142396608571\ 59*c_0101_3^11 + 1841180217473679399847733/278603814678396089289199\ *c_0101_3^10 + 4363216193017456799528489048/14849583322358511559114\ 3067*c_0101_3^9 - 6187172558676075994566077423/14849583322358511559\ 1143067*c_0101_3^8 + 5533207420400340405641558261/14849583322358511\ 5591143067*c_0101_3^7 + 8960445997234631104356566572/14849583322358\ 5115591143067*c_0101_3^6 - 13478254853928651523669837267/1484958332\ 23585115591143067*c_0101_3^5 + 6154365966934326959329400112/1484958\ 33223585115591143067*c_0101_3^4 - 1715853374710794195397923711/1484\ 95833223585115591143067*c_0101_3^3 - 1675368488348230363368389266/148495833223585115591143067*c_0101_3^2 + 738049348371589517048859574/148495833223585115591143067*c_0101_3 + 69307962581481152008897297/148495833223585115591143067, c_0101_0 + 968541445319669497971485/148495833223585115591143067*c_0101_\ 3^16 - 249774781874967782006290/11422756401814239660857159*c_0101_3\ ^15 - 7279012993379349556115669/148495833223585115591143067*c_0101_\ 3^14 + 69967077452172236517006869/148495833223585115591143067*c_010\ 1_3^13 - 7032935172663299002251263/148495833223585115591143067*c_01\ 01_3^12 - 27759239504905008853749554/11422756401814239660857159*c_0\ 101_3^11 + 1104965501983079015846207/278603814678396089289199*c_010\ 1_3^10 + 371702845924186067272860546/148495833223585115591143067*c_\ 0101_3^9 - 1916714093184198399577342536/148495833223585115591143067\ *c_0101_3^8 + 2698139126198472060626689853/148495833223585115591143\ 067*c_0101_3^7 - 166056410040163160675921695/1484958332235851155911\ 43067*c_0101_3^6 - 3801357006814336742612841348/1484958332235851155\ 91143067*c_0101_3^5 + 4840891047024669349830905371/1484958332235851\ 15591143067*c_0101_3^4 - 2782357083101771597511791157/1484958332235\ 85115591143067*c_0101_3^3 + 375162672817929749283034027/14849583322\ 3585115591143067*c_0101_3^2 + 380250632664781162064320815/148495833\ 223585115591143067*c_0101_3 - 176302972598129048061824511/148495833\ 223585115591143067, c_0101_3^17 - 2*c_0101_3^16 - 11*c_0101_3^15 + 59*c_0101_3^14 + 81*c_0101_3^13 - 310*c_0101_3^12 + 130*c_0101_3^11 + 810*c_0101_3^10 - 1007*c_0101_3^9 + 797*c_0101_3^8 + 1763*c_0101_3^7 - 2234*c_0101_3^6 + 687*c_0101_3^5 - 46*c_0101_3^4 - 393*c_0101_3^3 + 94*c_0101_3^2 + 47*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB