Magma V2.19-8 Tue Aug 20 2013 16:18:07 on localhost [Seed = 2294879309] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2338 geometric_solution 5.72242289 oriented_manifold CS_known -0.0000000000000004 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.561572087812 0.599003482077 0 2 3 0 3201 0132 0132 0132 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.676950051611 0.436468779535 4 1 3 5 0132 0132 1302 0132 0 0 0 0 0 -1 1 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 1 -1 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.577323169499 0.492654544216 2 5 4 1 2031 1023 1023 0132 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 -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.577323169499 0.492654544216 2 4 3 4 0132 1302 1023 2031 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 0 -1 1 0 0 0 0 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.743187869153 1.163901755740 3 6 2 6 1023 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.129045063902 0.600025697104 5 5 6 6 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.496075208596 0.338707717644 ==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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : negation(d['c_0011_3']), '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' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_6']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], '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_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0011_1'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), '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_3, c_0101_0, c_0101_4, c_0101_6, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 57873709576854996038623/1504505510631790383790*c_0110_6^18 - 188823910317808816596719/752252755315895191895*c_0110_6^17 - 333323986649961126959121/752252755315895191895*c_0110_6^16 + 308118741218221686697663/1504505510631790383790*c_0110_6^15 - 2464629994100229014648/25939750183306730755*c_0110_6^14 - 1415367797291260962882847/300901102126358076758*c_0110_6^13 - 971092275691530337389188/752252755315895191895*c_0110_6^12 + 786195275715618858420361/51879500366613461510*c_0110_6^11 + 4015903296362750375566603/752252755315895191895*c_0110_6^10 - 33862179936957257770204109/1504505510631790383790*c_0110_6^9 - 10115793385503190317011399/1504505510631790383790*c_0110_6^8 + 34184629435296474342714043/1504505510631790383790*c_0110_6^7 + 6385726361580792307913834/752252755315895191895*c_0110_6^6 - 10999850400495755347478143/752252755315895191895*c_0110_6^5 - 5340640716133338599424349/752252755315895191895*c_0110_6^4 + 568891148446015146403210/150450551063179038379*c_0110_6^3 + 4436949641384855209399223/1504505510631790383790*c_0110_6^2 - 109491143012707315677689/300901102126358076758*c_0110_6 - 275946377754888796424159/752252755315895191895, c_0011_0 - 1, c_0011_1 - 285589143712359133/1265353667478377110*c_0110_6^18 - 863258552194018349/632676833739188555*c_0110_6^17 - 1173922745734261821/632676833739188555*c_0110_6^16 + 3451414607422261463/1265353667478377110*c_0110_6^15 - 311201846480976572/632676833739188555*c_0110_6^14 - 6877785310169512043/253070733495675422*c_0110_6^13 + 3550276511690085882/632676833739188555*c_0110_6^12 + 123244326795987029339/1265353667478377110*c_0110_6^11 - 3970461078427820397/632676833739188555*c_0110_6^10 - 204409249847080684069/1265353667478377110*c_0110_6^9 + 9547483077148829371/1265353667478377110*c_0110_6^8 + 216827124709176924113/1265353667478377110*c_0110_6^7 + 3484713590993357594/632676833739188555*c_0110_6^6 - 81252969982952017903/632676833739188555*c_0110_6^5 - 12391592354607991729/632676833739188555*c_0110_6^4 + 6306703604434325923/126535366747837711*c_0110_6^3 + 23158806564761798113/1265353667478377110*c_0110_6^2 - 2146522923942339653/253070733495675422*c_0110_6 - 1842371151447011274/632676833739188555, c_0011_3 + 75947330262257871/253070733495675422*c_0110_6^18 + 543621904009501613/253070733495675422*c_0110_6^17 + 608315576690430878/126535366747837711*c_0110_6^16 + 360197639181880883/253070733495675422*c_0110_6^15 + 450174786533954919/253070733495675422*c_0110_6^14 + 9709208243152577203/253070733495675422*c_0110_6^13 + 8727343555350948373/253070733495675422*c_0110_6^12 - 24541068069400391391/253070733495675422*c_0110_6^11 - 25025452539864837451/253070733495675422*c_0110_6^10 + 30252923154693467233/253070733495675422*c_0110_6^9 + 15160225587296345895/126535366747837711*c_0110_6^8 - 14315665405257591991/126535366747837711*c_0110_6^7 - 32069638693542853675/253070733495675422*c_0110_6^6 + 5689317628212146803/126535366747837711*c_0110_6^5 + 9151957148658308587/126535366747837711*c_0110_6^4 + 951303805947420588/126535366747837711*c_0110_6^3 - 3642666533636153069/253070733495675422*c_0110_6^2 - 589971182768997555/126535366747837711*c_0110_6 + 31287787366475127/253070733495675422, c_0101_0 + 62626561437247697/632676833739188555*c_0110_6^18 + 1551998837798303359/1265353667478377110*c_0110_6^17 + 3343659486013020458/632676833739188555*c_0110_6^16 + 5596446177454600608/632676833739188555*c_0110_6^15 + 4976522267556830877/1265353667478377110*c_0110_6^14 + 2300912421962518253/126535366747837711*c_0110_6^13 + 100118317845382300743/1265353667478377110*c_0110_6^12 + 18083321834419433779/632676833739188555*c_0110_6^11 - 230327093293348524273/1265353667478377110*c_0110_6^10 - 68093910054188196604/632676833739188555*c_0110_6^9 + 272275220986504441467/1265353667478377110*c_0110_6^8 + 154032581087656964451/1265353667478377110*c_0110_6^7 - 260045189161720421119/1265353667478377110*c_0110_6^6 - 98923492490399174251/632676833739188555*c_0110_6^5 + 45717737712451270812/632676833739188555*c_0110_6^4 + 10320389156013743015/126535366747837711*c_0110_6^3 + 4461780745479663313/632676833739188555*c_0110_6^2 - 3624955200773409407/253070733495675422*c_0110_6 - 3465249397719486511/1265353667478377110, c_0101_4 + 216455720579061743/126535366747837711*c_0110_6^18 + 3221843313909528507/253070733495675422*c_0110_6^17 + 3962924035437444876/126535366747837711*c_0110_6^16 + 2433251595515435061/126535366747837711*c_0110_6^15 + 5382433564541489145/253070733495675422*c_0110_6^14 + 29025228195236706175/126535366747837711*c_0110_6^13 + 67866376951831270449/253070733495675422*c_0110_6^12 - 55046034510265428490/126535366747837711*c_0110_6^11 - 161051922886316736705/253070733495675422*c_0110_6^10 + 56554072569351591624/126535366747837711*c_0110_6^9 + 181444822169108530711/253070733495675422*c_0110_6^8 - 100899856723693689709/253070733495675422*c_0110_6^7 - 190220139106376042341/253070733495675422*c_0110_6^6 + 747084964077285269/126535366747837711*c_0110_6^5 + 41732168776115309941/126535366747837711*c_0110_6^4 + 13365653717651650463/126535366747837711*c_0110_6^3 - 5850385205921576287/126535366747837711*c_0110_6^2 - 5385283049868238993/253070733495675422*c_0110_6 - 343929434939020929/253070733495675422, c_0101_6 - 647318165553320383/1265353667478377110*c_0110_6^18 - 2620847687195709499/632676833739188555*c_0110_6^17 - 7487332378128987796/632676833739188555*c_0110_6^16 - 14784611700826147487/1265353667478377110*c_0110_6^15 - 6070911103772978607/632676833739188555*c_0110_6^14 - 18317941033481645421/253070733495675422*c_0110_6^13 - 79005632694780459363/632676833739188555*c_0110_6^12 + 102656019382713221509/1265353667478377110*c_0110_6^11 + 177671743651692860663/632676833739188555*c_0110_6^10 - 19548549937645141609/1265353667478377110*c_0110_6^9 - 399039102565409212779/1265353667478377110*c_0110_6^8 - 17195239024035372777/1265353667478377110*c_0110_6^7 + 202449063405831671889/632676833739188555*c_0110_6^6 + 86197887962414366522/632676833739188555*c_0110_6^5 - 73680847619247223184/632676833739188555*c_0110_6^4 - 11773937444631892333/126535366747837711*c_0110_6^3 + 1514666329214124993/1265353667478377110*c_0110_6^2 + 4035736114417915421/253070733495675422*c_0110_6 + 1833036587753910686/632676833739188555, c_0110_6^19 + 7*c_0110_6^18 + 15*c_0110_6^17 + 3*c_0110_6^16 + 7*c_0110_6^15 + 128*c_0110_6^14 + 97*c_0110_6^13 - 326*c_0110_6^12 - 265*c_0110_6^11 + 426*c_0110_6^10 + 316*c_0110_6^9 - 413*c_0110_6^8 - 352*c_0110_6^7 + 191*c_0110_6^6 + 208*c_0110_6^5 - 14*c_0110_6^4 - 61*c_0110_6^3 - 6*c_0110_6^2 + 6*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB