Magma V2.19-8 Tue Aug 20 2013 16:17:59 on localhost [Seed = 2816883553] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2212 geometric_solution 5.65890931 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.393182888759 0.199672818798 2 0 3 0 0132 2310 0132 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 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.584916425281 0.827123160469 1 4 3 5 0132 0132 3012 0132 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 -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.245123314032 1.408831712433 5 2 6 1 3201 1230 0132 0132 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 1 0 -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 1.245123314032 1.408831712433 5 2 6 6 0132 0132 3201 0321 0 0 0 0 0 0 1 -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 -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.876838754575 0.894262387612 4 6 2 3 0132 3201 0132 2310 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 -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.324727268648 0.230972625108 4 4 5 3 2310 0321 2310 0132 0 0 0 0 0 1 0 -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 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.876838754575 0.894262387612 ==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' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], '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_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], '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_0011_6, c_0101_0, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 1189392934873523978672/8850097556764404085*c_0101_6^17 + 12707538157362943813579/17700195113528808170*c_0101_6^16 - 5145312762471025064091/3540039022705761634*c_0101_6^15 + 32866813979960263971593/8850097556764404085*c_0101_6^14 - 26315491606058040300155/3540039022705761634*c_0101_6^13 + 18688343878290892243975/1770019511352880817*c_0101_6^12 + 130469706145852295001999/17700195113528808170*c_0101_6^11 - 392070648037725004082969/17700195113528808170*c_0101_6^10 - 149995576569849856108027/8850097556764404085*c_0101_6^9 + 1493983097008019591270951/17700195113528808170*c_0101_6^8 - 201991092232575694419025/3540039022705761634*c_0101_6^7 - 214397639645109816224931/8850097556764404085*c_0101_6^6 + 853328270637347878018291/17700195113528808170*c_0101_6^5 - 145184302097339744375287/17700195113528808170*c_0101_6^4 - 18081470831843791886358/1770019511352880817*c_0101_6^3 + 7692736968570763489969/1770019511352880817*c_0101_6^2 + 2039912121876564873717/3540039022705761634*c_0101_6 - 6655236521336997233679/17700195113528808170, c_0011_0 - 1, c_0011_1 + 15968552990202715542/54870604851939305327*c_0101_6^17 - 86871373907470581054/54870604851939305327*c_0101_6^16 + 181560700438097562953/54870604851939305327*c_0101_6^15 - 460001108456324240094/54870604851939305327*c_0101_6^14 + 929136427112993091672/54870604851939305327*c_0101_6^13 - 1353984978886350127563/54870604851939305327*c_0101_6^12 - 734662642614572314225/54870604851939305327*c_0101_6^11 + 2686611714170840303524/54870604851939305327*c_0101_6^10 + 1737161895429042214627/54870604851939305327*c_0101_6^9 - 10280857653260606235602/54870604851939305327*c_0101_6^8 + 7817847621279201035071/54870604851939305327*c_0101_6^7 + 2223619786026158820747/54870604851939305327*c_0101_6^6 - 5960113023129356809316/54870604851939305327*c_0101_6^5 + 1125419495020245838756/54870604851939305327*c_0101_6^4 + 1270844220099613043527/54870604851939305327*c_0101_6^3 - 477675860928429763645/54870604851939305327*c_0101_6^2 - 193174576696358359805/54870604851939305327*c_0101_6 + 36144446673249679287/54870604851939305327, c_0011_3 + 40999649311799497764/54870604851939305327*c_0101_6^17 - 217022860004242586225/54870604851939305327*c_0101_6^16 + 434955138709699734908/54870604851939305327*c_0101_6^15 - 1126255722888517795078/54870604851939305327*c_0101_6^14 + 2252841423931235050290/54870604851939305327*c_0101_6^13 - 3204764835232137431195/54870604851939305327*c_0101_6^12 - 2196850959297610488822/54870604851939305327*c_0101_6^11 + 6299595275060887394314/54870604851939305327*c_0101_6^10 + 5628312952384322595862/54870604851939305327*c_0101_6^9 - 24994017662967984941424/54870604851939305327*c_0101_6^8 + 15989614195358358437385/54870604851939305327*c_0101_6^7 + 6418251165080549794045/54870604851939305327*c_0101_6^6 - 11618203700892295938149/54870604851939305327*c_0101_6^5 + 957171203059148446019/54870604851939305327*c_0101_6^4 + 2208233209512387695118/54870604851939305327*c_0101_6^3 - 410395626159612259950/54870604851939305327*c_0101_6^2 - 228645717363018667928/54870604851939305327*c_0101_6 - 13616165301582326891/54870604851939305327, c_0011_6 + 38906423642152441021/54870604851939305327*c_0101_6^17 - 209659451962603497861/54870604851939305327*c_0101_6^16 + 432102324139795544848/54870604851939305327*c_0101_6^15 - 1104114839670247444191/54870604851939305327*c_0101_6^14 + 2224825552354353629844/54870604851939305327*c_0101_6^13 - 3215486608689513117391/54870604851939305327*c_0101_6^12 - 1870812753858243033093/54870604851939305327*c_0101_6^11 + 6315071804664989201469/54870604851939305327*c_0101_6^10 + 4633762669279095470145/54870604851939305327*c_0101_6^9 - 24439396099877961214368/54870604851939305327*c_0101_6^8 + 17665182638974645456537/54870604851939305327*c_0101_6^7 + 5276105175581445219685/54870604851939305327*c_0101_6^6 - 12951357485936100110996/54870604851939305327*c_0101_6^5 + 2388127064023654987868/54870604851939305327*c_0101_6^4 + 2449488163464891063672/54870604851939305327*c_0101_6^3 - 899768531998040071188/54870604851939305327*c_0101_6^2 - 233461599831755568814/54870604851939305327*c_0101_6 + 42402628744160432374/54870604851939305327, c_0101_0 - 15594650721484309630/54870604851939305327*c_0101_6^17 + 61397612155241865287/54870604851939305327*c_0101_6^16 - 59792787674389282717/54870604851939305327*c_0101_6^15 + 235335046593184108611/54870604851939305327*c_0101_6^14 - 333217663949335638115/54870604851939305327*c_0101_6^13 + 215193853452239269620/54870604851939305327*c_0101_6^12 + 2184416364309738361789/54870604851939305327*c_0101_6^11 - 847515969522578280243/54870604851939305327*c_0101_6^10 - 4967665353057352267641/54870604851939305327*c_0101_6^9 + 5846841312600825005649/54870604851939305327*c_0101_6^8 + 5685928589279908105411/54870604851939305327*c_0101_6^7 - 7345543972801981959737/54870604851939305327*c_0101_6^6 - 318144958050402927574/54870604851939305327*c_0101_6^5 + 4635706391808803898328/54870604851939305327*c_0101_6^4 - 388130216377904873115/54870604851939305327*c_0101_6^3 - 773417429764017308298/54870604851939305327*c_0101_6^2 + 184014241232183691241/54870604851939305327*c_0101_6 + 60509935687860284859/54870604851939305327, c_0101_3 + c_0101_6, c_0101_6^18 - 5*c_0101_6^17 + 9*c_0101_6^16 - 24*c_0101_6^15 + 46*c_0101_6^14 - 60*c_0101_6^13 - 81*c_0101_6^12 + 145*c_0101_6^11 + 182*c_0101_6^10 - 583*c_0101_6^9 + 211*c_0101_6^8 + 318*c_0101_6^7 - 291*c_0101_6^6 - 61*c_0101_6^5 + 93*c_0101_6^4 - 5*c_0101_6^3 - 15*c_0101_6^2 + c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB