Magma V2.19-8 Tue Aug 20 2013 16:18:00 on localhost [Seed = 2176851279] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2240 geometric_solution 5.67210073 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 1023 0 0 0 0 0 -1 0 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 -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.424854083551 1.947332065312 0 4 5 0 0132 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.170764995701 0.444998755118 5 0 3 3 0213 0132 1302 2031 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 1 -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 0 0 0 0.232147347154 0.470096172796 2 2 4 0 2031 1302 3120 0132 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 1 0 -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.232147347154 0.470096172796 5 1 3 6 2031 0132 3120 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 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.055192093241 0.602754099737 2 6 4 1 0213 2310 1302 0132 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 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 1.055192093241 0.602754099737 6 6 4 5 1302 2031 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 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.227963457622 0.528893267769 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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_0' : negation(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' : negation(d['1']), 's_2_6' : 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' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : negation(d['c_0101_4']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_0']), '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' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], '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_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0110_6']), 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 7608635786633872870936561/1263150867958229472532123*c_0110_6^16 - 56209610975713572437029817/2526301735916458945064246*c_0110_6^15 - 29447797771458653761691265/1263150867958229472532123*c_0110_6^14 - 621237721224554153260937611/2526301735916458945064246*c_0110_6^13 - 506110582827719651990138987/1263150867958229472532123*c_0110_6^12 + 993829788511803669378274703/2526301735916458945064246*c_0110_6^11 - 2027887762677501389295383201/2526301735916458945064246*c_0110_6^10 - 186475823323889228379375897/2526301735916458945064246*c_0110_6^9 + 3577851830526436935692220581/2526301735916458945064246*c_0110_6^8 + 5205224887156688532392284837/2526301735916458945064246*c_0110_6^7 - 4199702073745824134434159449/2526301735916458945064246*c_0110_6^6 - 1225604432579829699105189027/1263150867958229472532123*c_0110_6^5 - 1329033487366309996852488749/2526301735916458945064246*c_0110_6^4 - 1571468360896750841658914819/2526301735916458945064246*c_0110_6^3 - 59957367934795496524210543/2526301735916458945064246*c_0110_6^2 - 2054939558579871792195348/1263150867958229472532123*c_0110_6 + 49679527302561933976145014/1263150867958229472532123, c_0011_0 - 1, c_0011_3 - 19544416073122123474850/114831897087111770230193*c_0110_6^16 - 70470430235437957528666/114831897087111770230193*c_0110_6^15 - 65588742307625984451170/114831897087111770230193*c_0110_6^14 - 778245320534551983942978/114831897087111770230193*c_0110_6^13 - 1218137615620779645096350/114831897087111770230193*c_0110_6^12 + 1538289630904450904360659/114831897087111770230193*c_0110_6^11 - 2498651046735779844874585/114831897087111770230193*c_0110_6^10 - 305159102690813550851675/114831897087111770230193*c_0110_6^9 + 5139397884206801953782928/114831897087111770230193*c_0110_6^8 + 6271154613631619095454740/114831897087111770230193*c_0110_6^7 - 6905005398633250401533145/114831897087111770230193*c_0110_6^6 - 3764512806700277666629639/114831897087111770230193*c_0110_6^5 - 115746856986906657766055/114831897087111770230193*c_0110_6^4 - 1423255300889437732566618/114831897087111770230193*c_0110_6^3 + 165767654688347596640812/114831897087111770230193*c_0110_6^2 + 263753152761464883652881/114831897087111770230193*c_0110_6 + 74881832311310053023367/114831897087111770230193, c_0011_6 + 12082769223014073831277/114831897087111770230193*c_0110_6^16 + 43466467896565661452163/114831897087111770230193*c_0110_6^15 + 39950483240492502638136/114831897087111770230193*c_0110_6^14 + 480001330556977834637444/114831897087111770230193*c_0110_6^13 + 748491874698717391981452/114831897087111770230193*c_0110_6^12 - 966907934419508000045088/114831897087111770230193*c_0110_6^11 + 1539647708343642305227241/114831897087111770230193*c_0110_6^10 + 196962908024707050965275/114831897087111770230193*c_0110_6^9 - 3226516851616120751043163/114831897087111770230193*c_0110_6^8 - 3845010472715541382096825/114831897087111770230193*c_0110_6^7 + 4395085365931011735107016/114831897087111770230193*c_0110_6^6 + 2289586488805084747859293/114831897087111770230193*c_0110_6^5 - 11956236217836280976764/114831897087111770230193*c_0110_6^4 + 907602697445381936705925/114831897087111770230193*c_0110_6^3 - 142500211861623759577341/114831897087111770230193*c_0110_6^2 - 327357221874611023601113/114831897087111770230193*c_0110_6 - 40059019714126781278637/114831897087111770230193, c_0101_0 - 20488233575121991010907/114831897087111770230193*c_0110_6^16 - 82967514798642723844367/114831897087111770230193*c_0110_6^15 - 106092368637640988069833/114831897087111770230193*c_0110_6^14 - 863174193321374863661645/114831897087111770230193*c_0110_6^13 - 1657152109204717356312390/114831897087111770230193*c_0110_6^12 + 858588817452812932312539/114831897087111770230193*c_0110_6^11 - 2209487659907000397512309/114831897087111770230193*c_0110_6^10 - 1203331518717151885771629/114831897087111770230193*c_0110_6^9 + 4611742200687342983455519/114831897087111770230193*c_0110_6^8 + 8910731545825345926803132/114831897087111770230193*c_0110_6^7 - 3297541616289398829765188/114831897087111770230193*c_0110_6^6 - 5607854514616442899611242/114831897087111770230193*c_0110_6^5 - 3047316813241739296654975/114831897087111770230193*c_0110_6^4 - 2114720628765333706350924/114831897087111770230193*c_0110_6^3 - 874808017922693742984192/114831897087111770230193*c_0110_6^2 - 76337753272321471791901/114831897087111770230193*c_0110_6 + 92449898881987574010144/114831897087111770230193, c_0101_1 - 25480704695344970988110/114831897087111770230193*c_0110_6^16 - 91717911469750200121794/114831897087111770230193*c_0110_6^15 - 90483616002800425343091/114831897087111770230193*c_0110_6^14 - 1034963067010757219718064/114831897087111770230193*c_0110_6^13 - 1604375308987810217206561/114831897087111770230193*c_0110_6^12 + 1789397444214202123669206/114831897087111770230193*c_0110_6^11 - 3652911032805641707618446/114831897087111770230193*c_0110_6^10 - 24987780775154091986227/114831897087111770230193*c_0110_6^9 + 6026373151511577606955023/114831897087111770230193*c_0110_6^8 + 7983811644282753038527073/114831897087111770230193*c_0110_6^7 - 7711188123394732352427154/114831897087111770230193*c_0110_6^6 - 2813309747773927442301494/114831897087111770230193*c_0110_6^5 - 1644332367121298548237616/114831897087111770230193*c_0110_6^4 - 2984252842089846104481608/114831897087111770230193*c_0110_6^3 - 229883893888422329640262/114831897087111770230193*c_0110_6^2 - 56507823179941819846447/114831897087111770230193*c_0110_6 + 51600703497920158820705/114831897087111770230193, c_0101_4 - 1, c_0110_6^17 + 4*c_0110_6^16 + 5*c_0110_6^15 + 42*c_0110_6^14 + 79*c_0110_6^13 - 45*c_0110_6^12 + 113*c_0110_6^11 + 53*c_0110_6^10 - 231*c_0110_6^9 - 415*c_0110_6^8 + 172*c_0110_6^7 + 247*c_0110_6^6 + 137*c_0110_6^5 + 127*c_0110_6^4 + 36*c_0110_6^3 + 2*c_0110_6^2 - 6*c_0110_6 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB