Magma V2.19-8 Tue Aug 20 2013 16:16:33 on localhost [Seed = 3886447423] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0832 geometric_solution 4.75588446 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 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 -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 -1.290405261692 0.978018364006 0 0 3 2 2310 0132 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 1 -1 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.103100877380 0.367238766116 3 3 1 4 1230 1023 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 -1 1 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 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.494330938351 1.159858814960 2 2 4 1 1023 3012 2310 0132 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 0 0 -1 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.494330938351 1.159858814960 5 3 2 5 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 1 -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.519903022996 0.648145049852 4 6 6 4 0132 0132 1023 1023 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.461143998658 0.409356275488 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 -1 1 -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 1.621201307430 0.143099050195 ==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_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_2'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_2'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 36315672225047201112122886548086/601981121525651096266734815377*c_0\ 101_6^23 - 86934278488402244395373783133085/60198112152565109626673\ 4815377*c_0101_6^22 + 145568457748859845535417885203980/85997303075\ 093013752390687911*c_0101_6^21 + 2216392434780905647479269295895111\ /601981121525651096266734815377*c_0101_6^20 - 10533441375589927282381021619090317/601981121525651096266734815377*\ c_0101_6^19 - 21268395483899608608294075592599083/60198112152565109\ 6266734815377*c_0101_6^18 + 46041206061971085508286191596452134/601\ 981121525651096266734815377*c_0101_6^17 + 98597384191995475966265381584397835/601981121525651096266734815377*\ c_0101_6^16 - 70106643179001894088958101780453191/60198112152565109\ 6266734815377*c_0101_6^15 - 30467883210479162429470688365665419/859\ 97303075093013752390687911*c_0101_6^14 - 19059770755994487781480666729732071/601981121525651096266734815377*\ c_0101_6^13 + 166080574941223964806236433105515449/6019811215256510\ 96266734815377*c_0101_6^12 + 63374823325742199306034512385252427/60\ 1981121525651096266734815377*c_0101_6^11 - 56787820077465417683784125725260775/601981121525651096266734815377*\ c_0101_6^10 - 9270812471918033616039107011980389/859973030750930137\ 52390687911*c_0101_6^9 - 71679272951793620608576255012863931/601981\ 121525651096266734815377*c_0101_6^8 - 65904972257499574312822976805002755/601981121525651096266734815377*\ c_0101_6^7 - 31048887956059534777298377463181470/601981121525651096\ 266734815377*c_0101_6^6 - 10877050640094716439816029349489684/60198\ 1121525651096266734815377*c_0101_6^5 - 603666714757725260941501414403131/85997303075093013752390687911*c_0\ 101_6^4 - 93947115113466283913730294879067/601981121525651096266734\ 815377*c_0101_6^3 + 524755122377527192390116995402580/6019811215256\ 51096266734815377*c_0101_6^2 + 203186017356803937248965361091002/60\ 1981121525651096266734815377*c_0101_6 + 70131356669462133746270470718451/601981121525651096266734815377, c_0011_0 - 1, c_0011_2 + 37250460937676800011942823188/85997303075093013752390687911*\ c_0101_6^23 + 52262983004871267187485549796/85997303075093013752390\ 687911*c_0101_6^22 - 1109992613149800223765833283040/85997303075093\ 013752390687911*c_0101_6^21 - 1202343003747031809165728255412/85997\ 303075093013752390687911*c_0101_6^20 + 12362307569112916256401564343888/85997303075093013752390687911*c_01\ 01_6^19 + 10287588173349089724327689097101/859973030750930137523906\ 87911*c_0101_6^18 - 61212922642191104636348563442149/85997303075093\ 013752390687911*c_0101_6^17 - 47281323982827105262857855136653/8599\ 7303075093013752390687911*c_0101_6^16 + 135245235121242804617943104806102/85997303075093013752390687911*c_0\ 101_6^15 + 116017212185018448943952290956582/8599730307509301375239\ 0687911*c_0101_6^14 - 119892489234498089915226306180842/85997303075\ 093013752390687911*c_0101_6^13 - 118687529631872473746879264222708/\ 85997303075093013752390687911*c_0101_6^12 + 43136536456306925401701947729724/85997303075093013752390687911*c_01\ 01_6^11 + 64360262243553021342113331808940/859973030750930137523906\ 87911*c_0101_6^10 + 32093886325022552195707420813727/85997303075093\ 013752390687911*c_0101_6^9 + 30976503631476184133345748694234/85997\ 303075093013752390687911*c_0101_6^8 + 8012433197582420875486298268273/85997303075093013752390687911*c_010\ 1_6^7 - 6844042374281745068160356926169/859973030750930137523906879\ 11*c_0101_6^6 - 1887029361122912304816705153346/8599730307509301375\ 2390687911*c_0101_6^5 - 1501023330522816512763591028433/85997303075\ 093013752390687911*c_0101_6^4 - 690768980816040048670912993901/8599\ 7303075093013752390687911*c_0101_6^3 + 189730120752141595369304359646/85997303075093013752390687911*c_0101\ _6^2 + 129175012662166052614465468511/85997303075093013752390687911\ *c_0101_6 + 32580397005172055276723904429/8599730307509301375239068\ 7911, c_0011_4 + 1120392602054234582366506262335/8599730307509301375239068791\ 1*c_0101_6^23 + 1488838948631838087585380921302/8599730307509301375\ 2390687911*c_0101_6^22 - 33499260532263182520810108384537/859973030\ 75093013752390687911*c_0101_6^21 - 33548026522948194792179717488647/85997303075093013752390687911*c_01\ 01_6^20 + 374579315875029671263838666417934/85997303075093013752390\ 687911*c_0101_6^19 + 277682603844092190579707201323335/859973030750\ 93013752390687911*c_0101_6^18 - 1866538625791117549495717001590411/\ 85997303075093013752390687911*c_0101_6^17 - 1238913224540586801688679573760030/85997303075093013752390687911*c_\ 0101_6^16 + 4195349339144839235860314111085046/85997303075093013752\ 390687911*c_0101_6^15 + 2953884392578926511364270045453714/85997303\ 075093013752390687911*c_0101_6^14 - 3973007534876239911622071314807577/85997303075093013752390687911*c_\ 0101_6^13 - 2766864880815796114976356394185342/85997303075093013752\ 390687911*c_0101_6^12 + 1854697011356148614792303435819522/85997303\ 075093013752390687911*c_0101_6^11 + 1311196085278249204823840743982340/85997303075093013752390687911*c_\ 0101_6^10 + 499178398586659454023524475367674/859973030750930137523\ 90687911*c_0101_6^9 + 1103681539255124668497062827527913/8599730307\ 5093013752390687911*c_0101_6^8 + 383791421034360940442528453464785/\ 85997303075093013752390687911*c_0101_6^7 - 147733557546123440191019711442443/85997303075093013752390687911*c_0\ 101_6^6 + 24686841656278003641651072450426/859973030750930137523906\ 87911*c_0101_6^5 - 38239734442871006662566793725041/859973030750930\ 13752390687911*c_0101_6^4 - 32682674144185723776359222086749/859973\ 03075093013752390687911*c_0101_6^3 + 4074381809012356415449250603076/85997303075093013752390687911*c_010\ 1_6^2 - 2614671764896252510965441711827/859973030750930137523906879\ 11*c_0101_6 + 1744807912303148189556329748657/859973030750930137523\ 90687911, c_0101_0 + 301330777885418959607489400282/85997303075093013752390687911\ *c_0101_6^23 + 415735725307555468868976452116/859973030750930137523\ 90687911*c_0101_6^22 - 8983475993009732971041385407684/859973030750\ 93013752390687911*c_0101_6^21 - 9471595800903111697932240531912/859\ 97303075093013752390687911*c_0101_6^20 + 100112164579087663774423105685037/85997303075093013752390687911*c_0\ 101_6^19 + 79589969265941346998488427251844/85997303075093013752390\ 687911*c_0101_6^18 - 496299630688449025893464442061246/859973030750\ 93013752390687911*c_0101_6^17 - 356834136314003664654880919217422/8\ 5997303075093013752390687911*c_0101_6^16 + 1101999398634547182849082806546437/85997303075093013752390687911*c_\ 0101_6^15 + 842979202635478700608320723658130/859973030750930137523\ 90687911*c_0101_6^14 - 1007505832051537453026273140031292/859973030\ 75093013752390687911*c_0101_6^13 - 776901989746828511593261948525830/85997303075093013752390687911*c_0\ 101_6^12 + 442263794960833200522663192335532/8599730307509301375239\ 0687911*c_0101_6^11 + 355619669581704444512296549144038/85997303075\ 093013752390687911*c_0101_6^10 + 161593920634479629178645609984898/\ 85997303075093013752390687911*c_0101_6^9 + 316973272107521105467033281265952/85997303075093013752390687911*c_0\ 101_6^8 + 119869146058592834509532499035710/85997303075093013752390\ 687911*c_0101_6^7 - 31396139265340475601958204721301/85997303075093\ 013752390687911*c_0101_6^6 + 8765495227076921836898919630404/859973\ 03075093013752390687911*c_0101_6^5 - 9386485283048149850289914517449/85997303075093013752390687911*c_010\ 1_6^4 - 9313841400566622620529458251670/859973030750930137523906879\ 11*c_0101_6^3 + 950855336991014004697153181859/85997303075093013752\ 390687911*c_0101_6^2 - 742022375864977389111237086028/8599730307509\ 3013752390687911*c_0101_6 + 388271280635796214369163520087/85997303\ 075093013752390687911, c_0101_1 + 690045561441454890441164370508/85997303075093013752390687911\ *c_0101_6^23 + 917937317365834659013054384342/859973030750930137523\ 90687911*c_0101_6^22 - 20637753972555640352565335113942/85997303075\ 093013752390687911*c_0101_6^21 - 20700508750795446515457698712833/8\ 5997303075093013752390687911*c_0101_6^20 + 230881661566296616511393584023193/85997303075093013752390687911*c_0\ 101_6^19 + 171564134455522899972722415241446/8599730307509301375239\ 0687911*c_0101_6^18 - 1151692811321624584570613556295410/8599730307\ 5093013752390687911*c_0101_6^17 - 766500827557622225929831149960433\ /85997303075093013752390687911*c_0101_6^16 + 2594552145477783453416236027422076/85997303075093013752390687911*c_\ 0101_6^15 + 1831450245530208521845155139784008/85997303075093013752\ 390687911*c_0101_6^14 - 2471143412194259525503515504060289/85997303\ 075093013752390687911*c_0101_6^13 - 1729004752660046216378375276801949/85997303075093013752390687911*c_\ 0101_6^12 + 1166231093854040833937233339711324/85997303075093013752\ 390687911*c_0101_6^11 + 832571477756755058372222493166193/859973030\ 75093013752390687911*c_0101_6^10 + 295380064674388956777173817039083/85997303075093013752390687911*c_0\ 101_6^9 + 665600924068221991510434251357114/85997303075093013752390\ 687911*c_0101_6^8 + 234920679994633097226128694707452/8599730307509\ 3013752390687911*c_0101_6^7 - 93919918202059127690651130360147/8599\ 7303075093013752390687911*c_0101_6^6 + 12999002549332611983635906740637/85997303075093013752390687911*c_01\ 01_6^5 - 22730581232053533301635638390840/8599730307509301375239068\ 7911*c_0101_6^4 - 19998787659858550096424829148846/8599730307509301\ 3752390687911*c_0101_6^3 + 2356705051762796122217392859593/85997303\ 075093013752390687911*c_0101_6^2 - 1548499241134190456663626961255/85997303075093013752390687911*c_010\ 1_6 + 1057319554629961977252872974508/85997303075093013752390687911\ , c_0101_5 - 969202706329189331862012079356/85997303075093013752390687911\ *c_0101_6^23 - 1293418146426266202387684020412/85997303075093013752\ 390687911*c_0101_6^22 + 28975132584036476805721934548057/8599730307\ 5093013752390687911*c_0101_6^21 + 29191458593725238930470200957639/\ 85997303075093013752390687911*c_0101_6^20 - 323975411262438377115381705162257/85997303075093013752390687911*c_0\ 101_6^19 - 242202208652372293600385469470162/8599730307509301375239\ 0687911*c_0101_6^18 + 1614471577123455956136332407806572/8599730307\ 5093013752390687911*c_0101_6^17 + 108230734431214243467549948330723\ 3/85997303075093013752390687911*c_0101_6^16 - 3628735634710564803215719646753605/85997303075093013752390687911*c_\ 0101_6^15 - 2582601792077123745853826740983717/85997303075093013752\ 390687911*c_0101_6^14 + 3433644777894037101404748433456082/85997303\ 075093013752390687911*c_0101_6^13 + 2429244014914036557215204839533251/85997303075093013752390687911*c_\ 0101_6^12 - 1597684794457206676336692836483045/85997303075093013752\ 390687911*c_0101_6^11 - 1159796718235102599080384787577064/85997303\ 075093013752390687911*c_0101_6^10 - 438904807399177632331845848217688/85997303075093013752390687911*c_0\ 101_6^9 - 948510193745878027145415837026487/85997303075093013752390\ 687911*c_0101_6^8 - 331675831085611451330860025017200/8599730307509\ 3013752390687911*c_0101_6^7 + 129593368442748864142353931496742/859\ 97303075093013752390687911*c_0101_6^6 - 18814138382678641599834848557884/85997303075093013752390687911*c_01\ 01_6^5 + 32918578005866003930295606898613/8599730307509301375239068\ 7911*c_0101_6^4 + 28088311037943238984633845834354/8599730307509301\ 3752390687911*c_0101_6^3 - 3490939723286559880395055045988/85997303\ 075093013752390687911*c_0101_6^2 + 2213417841598511514228232325190/85997303075093013752390687911*c_010\ 1_6 - 1495547524906698721589415934181/85997303075093013752390687911\ , c_0101_6^24 + 2*c_0101_6^23 - 29*c_0101_6^22 - 50*c_0101_6^21 + 314*c_0101_6^20 + 472*c_0101_6^19 - 1497*c_0101_6^18 - 2222*c_0101_6^17 + 2989*c_0101_6^16 + 5141*c_0101_6^15 - 1745*c_0101_6^14 - 4828*c_0101_6^13 - 36*c_0101_6^12 + 2258*c_0101_6^11 + 1251*c_0101_6^10 + 1299*c_0101_6^9 + 1003*c_0101_6^8 + 101*c_0101_6^7 - 64*c_0101_6^6 - 20*c_0101_6^5 - 52*c_0101_6^4 - 16*c_0101_6^3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB