Magma V2.19-8 Tue Aug 20 2013 16:18:08 on localhost [Seed = 2244221118] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2357 geometric_solution 5.73018294 oriented_manifold CS_known -0.0000000000000001 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473408111358 0.222032926051 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 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.795121102569 0.590043411003 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.895500992513 1.098870706683 5 2 4 1 1023 1230 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 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.895500992513 1.098870706683 6 2 6 3 0132 0132 2310 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 0 -1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.474185558918 1.348871725538 5 3 2 5 3201 1023 0132 2310 0 0 0 0 0 1 0 -1 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 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.697511271949 0.837656363012 4 4 6 6 0132 3201 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.449516494805 0.153105370682 ==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' : negation(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' : negation(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_0101_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), '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_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], '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_1']), '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), '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' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t - 14083737852637515338730342316530304140875182086/1035993616183156948\ 4296553209061272576796413*c_0101_4^37 + 503178680002895730395415182629595705511292368541/103599361618315694\ 84296553209061272576796413*c_0101_4^35 - 5764083041201984045975196815225203619169602147681/10359936161831569\ 484296553209061272576796413*c_0101_4^33 + 40175844587694644814672181563448613878938117505018/1035993616183156\ 9484296553209061272576796413*c_0101_4^31 - 224118976727285977696402767591845005706223318606176/103599361618315\ 69484296553209061272576796413*c_0101_4^29 + 944999399220201073603237802396839266572299705794076/103599361618315\ 69484296553209061272576796413*c_0101_4^27 - 2593110524935422323598233262691233952044444753225734/10359936161831\ 569484296553209061272576796413*c_0101_4^25 + 4384696404861096350313429772326480297506018814805921/10359936161831\ 569484296553209061272576796413*c_0101_4^23 - 5013532295970151568479146635898347041890507299219327/10359936161831\ 569484296553209061272576796413*c_0101_4^21 + 4934863756286672728560208738911417305155145587732573/10359936161831\ 569484296553209061272576796413*c_0101_4^19 - 4151074545141305891853195107890774180548269829935302/10359936161831\ 569484296553209061272576796413*c_0101_4^17 + 2461263936867847872176582386655313731080153287481385/10359936161831\ 569484296553209061272576796413*c_0101_4^15 - 1142956518116351298146509940573442870081907153761778/10359936161831\ 569484296553209061272576796413*c_0101_4^13 + 509488546226605756477075236907054632481070127557149/103599361618315\ 69484296553209061272576796413*c_0101_4^11 - 155277496908828258149042278662672700444977852396393/103599361618315\ 69484296553209061272576796413*c_0101_4^9 + 39787427282748587199215315689607954138714738290415/1035993616183156\ 9484296553209061272576796413*c_0101_4^7 - 10771206005166718613355476540688089503679123711618/1035993616183156\ 9484296553209061272576796413*c_0101_4^5 + 1574172812711419995801696974259471604818360232681/10359936161831569\ 484296553209061272576796413*c_0101_4^3 - 63564049756663996204117676371136350094556127714/1035993616183156948\ 4296553209061272576796413*c_0101_4, c_0011_0 - 1, c_0011_1 + 48916475751780006273952760742806963441778402/103599361618315\ 69484296553209061272576796413*c_0101_4^36 - 1748164506619930620060624016839735170819384944/10359936161831569484\ 296553209061272576796413*c_0101_4^34 + 20037642433606049201537819982533905860326586656/1035993616183156948\ 4296553209061272576796413*c_0101_4^32 - 139737172297284632988074362553566782957226987484/103599361618315694\ 84296553209061272576796413*c_0101_4^30 + 779762099048954248846298193097836544925193468543/103599361618315694\ 84296553209061272576796413*c_0101_4^28 - 3289600441319006189416017627286429722976454036856/10359936161831569\ 484296553209061272576796413*c_0101_4^26 + 9036969821500540675451781854673577962279299772762/10359936161831569\ 484296553209061272576796413*c_0101_4^24 - 15308715989279187424520647433319808983395356298215/1035993616183156\ 9484296553209061272576796413*c_0101_4^22 + 17536199185567278692179448984394159163851780078178/1035993616183156\ 9484296553209061272576796413*c_0101_4^20 - 17265132879049270814995373753384661646046864053363/1035993616183156\ 9484296553209061272576796413*c_0101_4^18 + 14534656510940975937226720880034886359750106218106/1035993616183156\ 9484296553209061272576796413*c_0101_4^16 - 8639453132215612797601564849171485432845505871801/10359936161831569\ 484296553209061272576796413*c_0101_4^14 + 4011002089633561945680470320088491627497318562069/10359936161831569\ 484296553209061272576796413*c_0101_4^12 - 1784543163490324669178362994958366447047501131625/10359936161831569\ 484296553209061272576796413*c_0101_4^10 + 545932923026087187378828301829131635558686574506/103599361618315694\ 84296553209061272576796413*c_0101_4^8 - 138699229464356049326699352763465431490657515306/103599361618315694\ 84296553209061272576796413*c_0101_4^6 + 37603460607890841317216345091484795867752557687/1035993616183156948\ 4296553209061272576796413*c_0101_4^4 - 5524680771057856908211651734048377543822227158/10359936161831569484\ 296553209061272576796413*c_0101_4^2 + 193533511755244340192734688128891441915861562/103599361618315694842\ 96553209061272576796413, c_0011_3 + 12487658103148532119966120432782263252421188/103599361618315\ 69484296553209061272576796413*c_0101_4^37 - 444852616905272175824005789942638430388436220/103599361618315694842\ 96553209061272576796413*c_0101_4^35 + 5064676803846612517847977751582682044996590199/10359936161831569484\ 296553209061272576796413*c_0101_4^33 - 35101984414300605584641063561583065690783725808/1035993616183156948\ 4296553209061272576796413*c_0101_4^31 + 195141620330193450217050253292990063113647825764/103599361618315694\ 84296553209061272576796413*c_0101_4^29 - 818116962913117933800615640115281536551169286506/103599361618315694\ 84296553209061272576796413*c_0101_4^27 + 2217023172989525436539235604590173035123758890772/10359936161831569\ 484296553209061272576796413*c_0101_4^25 - 3669423809281933760874329328359139374678524811913/10359936161831569\ 484296553209061272576796413*c_0101_4^23 + 4096641605003090561573484430824572085425851067147/10359936161831569\ 484296553209061272576796413*c_0101_4^21 - 4002313434599623300525688647724691359118893949362/10359936161831569\ 484296553209061272576796413*c_0101_4^19 + 3320705353160315244791377206180286481992402467680/10359936161831569\ 484296553209061272576796413*c_0101_4^17 - 1891403807862409889883207646120957265616522579039/10359936161831569\ 484296553209061272576796413*c_0101_4^15 + 860802325871388256826391032388280812517397891505/103599361618315694\ 84296553209061272576796413*c_0101_4^13 - 385131115320456188226639687790037223056731685472/103599361618315694\ 84296553209061272576796413*c_0101_4^11 + 107643123631058443184808978581654696524032397202/103599361618315694\ 84296553209061272576796413*c_0101_4^9 - 28655869166429975667106637913648852360326809831/1035993616183156948\ 4296553209061272576796413*c_0101_4^7 + 7522612301884193390706214021107915719373863967/10359936161831569484\ 296553209061272576796413*c_0101_4^5 - 930363091742439498082955912860042370077451610/103599361618315694842\ 96553209061272576796413*c_0101_4^3 + 47617332591742121009207581790453216605961174/1035993616183156948429\ 6553209061272576796413*c_0101_4, c_0101_0 - 64135351584503254150663334932031165069009016/103599361618315\ 69484296553209061272576796413*c_0101_4^37 + 2288562531335726825498633544221366107570588698/10359936161831569484\ 296553209061272576796413*c_0101_4^35 - 26147948661076649477685593905059191848566525672/1035993616183156948\ 4296553209061272576796413*c_0101_4^33 + 181815700559506506184972091248385815405272853251/103599361618315694\ 84296553209061272576796413*c_0101_4^31 - 1012767307020611309436484361753309439288901279879/10359936161831569\ 484296553209061272576796413*c_0101_4^29 + 4260015772422731933656443442434925597814067349655/10359936161831569\ 484296553209061272576796413*c_0101_4^27 - 11628195294073145667639250182083223668779226601236/1035993616183156\ 9484296553209061272576796413*c_0101_4^25 + 19486615559558145622378837760994858884468396125886/1035993616183156\ 9484296553209061272576796413*c_0101_4^23 - 22059788961861591564097605760270107867677194576445/1035993616183156\ 9484296553209061272576796413*c_0101_4^21 + 21644012781838131103741464095359012280320281229356/1035993616183156\ 9484296553209061272576796413*c_0101_4^19 - 18105414515992832642282418739284354857922166289977/1035993616183156\ 9484296553209061272576796413*c_0101_4^17 + 10561776373758879609448099750447391538071367153286/1035993616183156\ 9484296553209061272576796413*c_0101_4^15 - 4863545191554330500647083640230582224543939812741/10359936161831569\ 484296553209061272576796413*c_0101_4^13 + 2172502424730113493551775496921271998599677422642/10359936161831569\ 484296553209061272576796413*c_0101_4^11 - 640704921922318423708903683776413594705902162263/103599361618315694\ 84296553209061272576796413*c_0101_4^9 + 166112137367594380391084798996147317712005613547/103599361618315694\ 84296553209061272576796413*c_0101_4^7 - 44784184816633650741095995834205294277915859594/1035993616183156948\ 4296553209061272576796413*c_0101_4^5 + 6093022977388600581208718766746776066993804117/10359936161831569484\ 296553209061272576796413*c_0101_4^3 - 243903576492002255462417197387678197415166028/103599361618315694842\ 96553209061272576796413*c_0101_4, c_0101_1 - 18044233906932590860210456241707911769168/103599361618315694\ 84296553209061272576796413*c_0101_4^36 - 1233113457764287264329228131562244347650858/10359936161831569484296\ 553209061272576796413*c_0101_4^34 + 59252508592651374870098862777689557311955059/1035993616183156948429\ 6553209061272576796413*c_0101_4^32 - 701027529671148043542545447966000076219047089/103599361618315694842\ 96553209061272576796413*c_0101_4^30 + 4888470580660232999926438858241367377812980922/10359936161831569484\ 296553209061272576796413*c_0101_4^28 - 27425485649147059845505111060258642269637522239/1035993616183156948\ 4296553209061272576796413*c_0101_4^26 + 115781544714157444777311562437497128577839691547/103599361618315694\ 84296553209061272576796413*c_0101_4^24 - 311443135226405036964151177007253339741400994235/103599361618315694\ 84296553209061272576796413*c_0101_4^22 + 501791276808037722423882130727655876061603308399/103599361618315694\ 84296553209061272576796413*c_0101_4^20 - 539559202832605402958902330088470630306979776855/103599361618315694\ 84296553209061272576796413*c_0101_4^18 + 520987590353197523069712288949256391602612171009/103599361618315694\ 84296553209061272576796413*c_0101_4^16 - 423695930845585740338155341737780721889698890639/103599361618315694\ 84296553209061272576796413*c_0101_4^14 + 224259674866553232576143965924750293887917854383/103599361618315694\ 84296553209061272576796413*c_0101_4^12 - 97777881902022812738289015375493819531013995164/1035993616183156948\ 4296553209061272576796413*c_0101_4^10 + 44559367249740940413778882356667486773140504223/1035993616183156948\ 4296553209061272576796413*c_0101_4^8 - 10281652471264562767402995002846610511724174457/1035993616183156948\ 4296553209061272576796413*c_0101_4^6 + 2936787926382214207540850204479331395032042550/10359936161831569484\ 296553209061272576796413*c_0101_4^4 - 771690797085786857503691171787857458784281399/103599361618315694842\ 96553209061272576796413*c_0101_4^2 + 37532231044531742566397866035827482371487168/1035993616183156948429\ 6553209061272576796413, c_0101_3 + 2842730165627293738052149743561063877315215/1035993616183156\ 9484296553209061272576796413*c_0101_4^36 - 103070017109265160375474134118184576311341129/103599361618315694842\ 96553209061272576796413*c_0101_4^34 + 1216939218087441045509823139535785566271369827/10359936161831569484\ 296553209061272576796413*c_0101_4^32 - 8714394609084598176088617554578293173211468946/10359936161831569484\ 296553209061272576796413*c_0101_4^30 + 49405869397382982144872141295128838409775938230/1035993616183156948\ 4296553209061272576796413*c_0101_4^28 - 213829497335889987524408433391453925814349193669/103599361618315694\ 84296553209061272576796413*c_0101_4^26 + 619582878957195028399441921448374760442270863576/103599361618315694\ 84296553209061272576796413*c_0101_4^24 - 1141981906025425005599346782555970886081085760627/10359936161831569\ 484296553209061272576796413*c_0101_4^22 + 1426306514303661493708387937148591268679129154114/10359936161831569\ 484296553209061272576796413*c_0101_4^20 - 1443589521978636672385976448075601736097813276499/10359936161831569\ 484296553209061272576796413*c_0101_4^18 + 1268585604356586157641818607556437130716875527214/10359936161831569\ 484296553209061272576796413*c_0101_4^16 - 846336290897017845660704831451726659687285428079/103599361618315694\ 84296553209061272576796413*c_0101_4^14 + 416611272213277724186394019155094662844724768136/103599361618315694\ 84296553209061272576796413*c_0101_4^12 - 182693857457368913473423003304965139463711804011/103599361618315694\ 84296553209061272576796413*c_0101_4^10 + 66824034850447539174909472598239528603995305063/1035993616183156948\ 4296553209061272576796413*c_0101_4^8 - 16184756193616650870342851908831780665921956396/1035993616183156948\ 4296553209061272576796413*c_0101_4^6 + 4380409920541716760599744461004115027845802797/10359936161831569484\ 296553209061272576796413*c_0101_4^4 - 899612252880752827381827368474582748409772146/103599361618315694842\ 96553209061272576796413*c_0101_4^2 + 38591854264655478503492413958303688673958308/1035993616183156948429\ 6553209061272576796413, c_0101_4^38 - 36*c_0101_4^36 + 419*c_0101_4^34 - 2964*c_0101_4^32 + 16689*c_0101_4^30 - 71424*c_0101_4^28 + 202347*c_0101_4^26 - 361272*c_0101_4^24 + 440214*c_0101_4^22 - 446415*c_0101_4^20 + 389126*c_0101_4^18 - 254010*c_0101_4^16 + 127898*c_0101_4^14 - 57788*c_0101_4^12 + 20656*c_0101_4^10 - 5729*c_0101_4^8 + 1506*c_0101_4^6 - 313*c_0101_4^4 + 33*c_0101_4^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB