Magma V2.19-8 Tue Aug 20 2013 16:15:48 on localhost [Seed = 981181969] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0023 geometric_solution 3.58560611 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 2310 0 0 0 0 0 -1 0 1 -1 0 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 -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 -5.797048301257 4.139326052998 0 0 3 3 0132 3201 3201 0132 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 0 0 0 1 0 -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.146310413220 0.160058551067 0 0 4 4 3201 0132 3201 0132 0 0 0 0 0 1 0 -1 0 0 0 0 -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 1 0 -1 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.083353576988 0.036221266393 1 5 1 6 2310 0132 0132 0132 0 0 0 0 0 1 -1 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 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.825573818719 2.008265597949 2 4 2 4 2310 1302 0132 2031 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 -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 -11.018153036480 4.412167299558 6 3 6 6 3201 0132 2310 3120 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 0 0 0 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.024813976675 0.988673269972 5 5 3 5 3120 3201 0132 2310 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 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.024813976675 0.988673269972 ==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_3']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], '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_0101_5']), 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_6'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : negation(d['c_0011_6']), 'c_1010_0' : negation(d['c_0101_4'])})} 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_4, c_0011_6, c_0101_0, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 139403975889447147236365/351531794922958153543*c_0101_5^15 - 639230234270015537482793/351531794922958153543*c_0101_5^14 - 2543845057667222772874877/351531794922958153543*c_0101_5^13 - 1487983628628687803101137/351531794922958153543*c_0101_5^12 + 4066851647506611860354138/351531794922958153543*c_0101_5^11 + 5745515283273081790704510/351531794922958153543*c_0101_5^10 + 1515075237575684089819861/351531794922958153543*c_0101_5^9 - 10076397327563739373526827/351531794922958153543*c_0101_5^8 - 9527171182758757829961467/351531794922958153543*c_0101_5^7 + 4394962871834745004848240/351531794922958153543*c_0101_5^6 + 1822610710939152539676200/351531794922958153543*c_0101_5^5 - 983267398529566623240810/351531794922958153543*c_0101_5^4 + 1315424224625008547854361/351531794922958153543*c_0101_5^3 + 3849716513739949947830/351531794922958153543*c_0101_5^2 - 320339641913996284030545/351531794922958153543*c_0101_5 + 33528210723556637601510/351531794922958153543, c_0011_0 - 1, c_0011_3 - 64646000026056815835/27040907301766011811*c_0101_5^15 + 278303801876313009962/27040907301766011811*c_0101_5^14 + 1265734124407965644440/27040907301766011811*c_0101_5^13 + 1002230950920562125937/27040907301766011811*c_0101_5^12 - 1721777339732025948748/27040907301766011811*c_0101_5^11 - 3140240840210826547907/27040907301766011811*c_0101_5^10 - 1328226687174611244585/27040907301766011811*c_0101_5^9 + 4460290470622456279923/27040907301766011811*c_0101_5^8 + 5603236943312982347205/27040907301766011811*c_0101_5^7 - 1055496543395840675774/27040907301766011811*c_0101_5^6 - 1289211282835502375365/27040907301766011811*c_0101_5^5 + 557807801361336442967/27040907301766011811*c_0101_5^4 - 585476971216292147796/27040907301766011811*c_0101_5^3 - 134323891506409430609/27040907301766011811*c_0101_5^2 + 148685154871102750018/27040907301766011811*c_0101_5 - 26014132957536790923/27040907301766011811, c_0011_4 + 587843604203153781915/27040907301766011811*c_0101_5^15 - 2726733260762600480408/27040907301766011811*c_0101_5^14 - 10575326762563164369676/27040907301766011811*c_0101_5^13 - 5752378617549376769119/27040907301766011811*c_0101_5^12 + 17366502087965202113779/27040907301766011811*c_0101_5^11 + 23350395263141248856136/27040907301766011811*c_0101_5^10 + 5382035931374555377444/27040907301766011811*c_0101_5^9 - 42700564159275880612642/27040907301766011811*c_0101_5^8 - 38021482238247071320021/27040907301766011811*c_0101_5^7 + 20038686328036389041342/27040907301766011811*c_0101_5^6 + 6643045820482300969780/27040907301766011811*c_0101_5^5 - 4050191681490140160920/27040907301766011811*c_0101_5^4 + 5568557219014290658740/27040907301766011811*c_0101_5^3 - 195226660824567725731/27040907301766011811*c_0101_5^2 - 1234755174559325193385/27040907301766011811*c_0101_5 + 159295395415273750292/27040907301766011811, c_0011_6 - 328690108602992231105/27040907301766011811*c_0101_5^15 + 1520668421565132073756/27040907301766011811*c_0101_5^14 + 5941047034798904443180/27040907301766011811*c_0101_5^13 + 3236826731497747377821/27040907301766011811*c_0101_5^12 - 9806034228881157517961/27040907301766011811*c_0101_5^11 - 13154784835926187985529/27040907301766011811*c_0101_5^10 - 2861160906107984500649/27040907301766011811*c_0101_5^9 + 24007334400514573618094/27040907301766011811*c_0101_5^8 + 21440092522823436629758/27040907301766011811*c_0101_5^7 - 11649433475536728542662/27040907301766011811*c_0101_5^6 - 3966794901656583423457/27040907301766011811*c_0101_5^5 + 2797361416673268380686/27040907301766011811*c_0101_5^4 - 3265131808152014600580/27040907301766011811*c_0101_5^3 + 84044316733198795119/27040907301766011811*c_0101_5^2 + 757290240267657054846/27040907301766011811*c_0101_5 - 132087132061435671807/27040907301766011811, c_0101_0 + 588525059882001801290/27040907301766011811*c_0101_5^15 - 2768575623449548333793/27040907301766011811*c_0101_5^14 - 10442611944278342714879/27040907301766011811*c_0101_5^13 - 4900601668165909068149/27040907301766011811*c_0101_5^12 + 18362825849036714840730/27040907301766011811*c_0101_5^11 + 22566912720375698096759/27040907301766011811*c_0101_5^10 + 2961986837580445524880/27040907301766011811*c_0101_5^9 - 44313492167465532989225/27040907301766011811*c_0101_5^8 - 35697371782103749139171/27040907301766011811*c_0101_5^7 + 24790965674791243034573/27040907301766011811*c_0101_5^6 + 7252245661257287895262/27040907301766011811*c_0101_5^5 - 5249823864243605168879/27040907301766011811*c_0101_5^4 + 5990833562457811140744/27040907301766011811*c_0101_5^3 - 485752668694382413780/27040907301766011811*c_0101_5^2 - 1489321815377529418635/27040907301766011811*c_0101_5 + 267219617703490669933/27040907301766011811, c_0101_4 - 61247006534166661345/27040907301766011811*c_0101_5^15 + 244987900255098430989/27040907301766011811*c_0101_5^14 + 1269781098396629579079/27040907301766011811*c_0101_5^13 + 1360440739160247764256/27040907301766011811*c_0101_5^12 - 1163025384447554458595/27040907301766011811*c_0101_5^11 - 3365298931877935173201/27040907301766011811*c_0101_5^10 - 2430626684975521468266/27040907301766011811*c_0101_5^9 + 3463037886397461872233/27040907301766011811*c_0101_5^8 + 6471898754632448613180/27040907301766011811*c_0101_5^7 + 1272056392663724838657/27040907301766011811*c_0101_5^6 - 890804591185144487604/27040907301766011811*c_0101_5^5 - 115524224554316317040/27040907301766011811*c_0101_5^4 - 396526941177199564764/27040907301766011811*c_0101_5^3 - 236918889083805755245/27040907301766011811*c_0101_5^2 + 17008225264232385907/27040907301766011811*c_0101_5 + 40608219945254092337/27040907301766011811, c_0101_5^16 - 26/5*c_0101_5^15 - 77/5*c_0101_5^14 + 2/5*c_0101_5^13 + 176/5*c_0101_5^12 + 23*c_0101_5^11 - 68/5*c_0101_5^10 - 389/5*c_0101_5^9 - 118/5*c_0101_5^8 + 357/5*c_0101_5^7 - 41/5*c_0101_5^6 - 71/5*c_0101_5^5 + 14*c_0101_5^4 - 29/5*c_0101_5^3 - 2*c_0101_5^2 + 8/5*c_0101_5 - 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB