Magma V2.19-8 Tue Aug 20 2013 16:16:46 on localhost [Seed = 947496176] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1058 geometric_solution 4.93240589 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1230 0132 0 0 0 0 0 0 1 -1 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 -1 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.254276566769 0.645722182608 0 4 2 4 0132 0132 0321 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.369083002130 0.436474029541 3 0 1 0 1230 0132 0321 3012 0 0 0 0 0 0 0 0 1 0 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 -1 0 1 -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 0 0 0 0.766368971920 0.663599161806 5 2 0 5 0132 3012 0132 1023 0 0 0 0 0 -1 1 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 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.078908182280 0.777054882637 6 1 6 1 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.902920590493 0.313874179236 3 5 5 3 0132 3201 2310 1023 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 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.776102643271 0.499088098547 4 4 6 6 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.594496516432 0.205483873510 ==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_0101_4'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_1']), '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' : negation(d['c_0011_0']), '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_0101_6'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : d['c_0011_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_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 8286896427721192250704/92066865784963218727*c_0101_6^29 - 44888567812104078664300/92066865784963218727*c_0101_6^28 + 97395133495080012726320/92066865784963218727*c_0101_6^27 + 727041440108439442236083/92066865784963218727*c_0101_6^26 - 717605439697620557094182/92066865784963218727*c_0101_6^25 - 5649131476406218242807120/92066865784963218727*c_0101_6^24 + 4686032335744374000398856/92066865784963218727*c_0101_6^23 + 26394036151027904925199380/92066865784963218727*c_0101_6^22 - 24227212381521578807707674/92066865784963218727*c_0101_6^21 - 78215040933265315738884709/92066865784963218727*c_0101_6^20 + 85739793677525736161687060/92066865784963218727*c_0101_6^19 + 145942632379612990628643285/92066865784963218727*c_0101_6^18 - 197013544158924171058381419/92066865784963218727*c_0101_6^17 - 160694361142970413926098343/92066865784963218727*c_0101_6^16 + 287611436968380441295805560/92066865784963218727*c_0101_6^15 + 80592903864427841091681079/92066865784963218727*c_0101_6^14 - 258170878518214136957023371/92066865784963218727*c_0101_6^13 + 19819304853806036996970462/92066865784963218727*c_0101_6^12 + 131332293162476606770584799/92066865784963218727*c_0101_6^11 - 49457005065272819176246238/92066865784963218727*c_0101_6^10 - 28382667321312040980142354/92066865784963218727*c_0101_6^9 + 25554126183501540145319129/92066865784963218727*c_0101_6^8 - 3233742702257481200633895/92066865784963218727*c_0101_6^7 - 5099579973756677992543444/92066865784963218727*c_0101_6^6 + 2587830589906696539738969/92066865784963218727*c_0101_6^5 + 69247346479208289445606/92066865784963218727*c_0101_6^4 - 330930291591493380612183/92066865784963218727*c_0101_6^3 + 82957249070631518170395/92066865784963218727*c_0101_6^2 + 3550204264076229251111/92066865784963218727*c_0101_6 - 4437246718125311212593/92066865784963218727, c_0011_0 - 1, c_0011_3 - 9297434001305359594775/92066865784963218727*c_0101_6^29 - 50146018788151127135723/92066865784963218727*c_0101_6^28 + 113506143479246394117704/92066865784963218727*c_0101_6^27 + 829515667529782078243185/92066865784963218727*c_0101_6^26 - 860673454205724088407937/92066865784963218727*c_0101_6^25 - 6581910276536185827171958/92066865784963218727*c_0101_6^24 + 5681952159302217318258514/92066865784963218727*c_0101_6^23 + 31504136390690358416566719/92066865784963218727*c_0101_6^22 - 29692263621482660972642936/92066865784963218727*c_0101_6^21 - 96331696761796930368410038/92066865784963218727*c_0101_6^20 + 107481004659475538452169279/92066865784963218727*c_0101_6^19 + 187862501175351865566373372/92066865784963218727*c_0101_6^18 - 256513450502999726428700258/92066865784963218727*c_0101_6^17 - 221452915478596734824486748/92066865784963218727*c_0101_6^16 + 396417861618654086238817834/92066865784963218727*c_0101_6^15 + 128001086548721528513483805/92066865784963218727*c_0101_6^14 - 386794919554501869506932332/92066865784963218727*c_0101_6^13 + 14809101447936188745013542/92066865784963218727*c_0101_6^12 + 223527075332246643833611620/92066865784963218727*c_0101_6^11 - 74005706396120046679049167/92066865784963218727*c_0101_6^10 - 62239619187128712780438168/92066865784963218727*c_0101_6^9 + 46353018349116097674402524/92066865784963218727*c_0101_6^8 - 1365144792621618609249060/92066865784963218727*c_0101_6^7 - 11631897855993519504256940/92066865784963218727*c_0101_6^6 + 5131122494489506793395901/92066865784963218727*c_0101_6^5 + 517218625142949287216687/92066865784963218727*c_0101_6^4 - 902085976634503445415101/92066865784963218727*c_0101_6^3 + 200753776325376365752886/92066865784963218727*c_0101_6^2 + 8706877135279419643175/92066865784963218727*c_0101_6 - 13187136975168396526817/92066865784963218727, c_0101_0 + 5427371188295475397278/92066865784963218727*c_0101_6^29 + 29007550983559530537542/92066865784963218727*c_0101_6^28 - 67914334955685673486709/92066865784963218727*c_0101_6^27 - 482288055317879219082543/92066865784963218727*c_0101_6^26 + 528311052640487792894921/92066865784963218727*c_0101_6^25 + 3838329582626490346206887/92066865784963218727*c_0101_6^24 - 3517343655779395704797523/92066865784963218727*c_0101_6^23 - 18389086204346380155552682/92066865784963218727*c_0101_6^22 + 18306340986157813691274209/92066865784963218727*c_0101_6^21 + 56150315399180651790802831/92066865784963218727*c_0101_6^20 - 65903103821698359227563442/92066865784963218727*c_0101_6^19 - 108959147792420506154355344/92066865784963218727*c_0101_6^18 + 156703547753527320975407778/92066865784963218727*c_0101_6^17 + 126732307222709651969768623/92066865784963218727*c_0101_6^16 - 241726058415140769120124576/92066865784963218727*c_0101_6^15 - 69592167950245361148307793/92066865784963218727*c_0101_6^14 + 235739354448034737152122512/92066865784963218727*c_0101_6^13 - 14920088424756042604783000/92066865784963218727*c_0101_6^12 - 136208774546215654103151873/92066865784963218727*c_0101_6^11 + 47885534254370893374103320/92066865784963218727*c_0101_6^10 + 37753005663925318576686376/92066865784963218727*c_0101_6^9 - 29073316171128190097777904/92066865784963218727*c_0101_6^8 + 1092363016882614027226907/92066865784963218727*c_0101_6^7 + 7192147869107823146423058/92066865784963218727*c_0101_6^6 - 3264137106178888648749413/92066865784963218727*c_0101_6^5 - 297030479614318010729674/92066865784963218727*c_0101_6^4 + 572681320678677671541474/92066865784963218727*c_0101_6^3 - 129053248970165718011936/92066865784963218727*c_0101_6^2 - 4376554011867385819563/92066865784963218727*c_0101_6 + 8456246033119864541614/92066865784963218727, c_0101_1 + 11912177692608985535629/92066865784963218727*c_0101_6^29 + 63975570433177175031148/92066865784963218727*c_0101_6^28 - 147202936815649793002202/92066865784963218727*c_0101_6^27 - 1061209262736673857058818/92066865784963218727*c_0101_6^26 + 1130056597965072953677065/92066865784963218727*c_0101_6^25 + 8435346050191207706446627/92066865784963218727*c_0101_6^24 - 7489986375732999947139087/92066865784963218727*c_0101_6^23 - 40411114385058268786595883/92066865784963218727*c_0101_6^22 + 39065905403924638242310128/92066865784963218727*c_0101_6^21 + 123563322337206347299668353/92066865784963218727*c_0101_6^20 - 141078836276287700267116697/92066865784963218727*c_0101_6^19 - 240648715968904215113474218/92066865784963218727*c_0101_6^18 + 336271345826954460793366516/92066865784963218727*c_0101_6^17 + 282440143698561528158700344/92066865784963218727*c_0101_6^16 - 519615939634257227227797474/92066865784963218727*c_0101_6^15 - 160327883540533528755390983/92066865784963218727*c_0101_6^14 + 507454678623523686763491145/92066865784963218727*c_0101_6^13 - 24336863827195846436034070/92066865784963218727*c_0101_6^12 - 293759924421371130452025911/92066865784963218727*c_0101_6^11 + 99383784928547180525215038/92066865784963218727*c_0101_6^10 + 81935708737229846531913747/92066865784963218727*c_0101_6^9 - 61610576967567457279975829/92066865784963218727*c_0101_6^8 + 1907052285942341795046885/92066865784963218727*c_0101_6^7 + 15424940589216241244328528/92066865784963218727*c_0101_6^6 - 6862978254079446063637621/92066865784963218727*c_0101_6^5 - 675205962977327634983593/92066865784963218727*c_0101_6^4 + 1208879349020622010776215/92066865784963218727*c_0101_6^3 - 270646067219368226364608/92066865784963218727*c_0101_6^2 - 10118546251825548883641/92066865784963218727*c_0101_6 + 17777941126231766908060/92066865784963218727, c_0101_4 - 3895807866350023461078/92066865784963218727*c_0101_6^29 - 20851321557660376395593/92066865784963218727*c_0101_6^28 + 48579679389692310079423/92066865784963218727*c_0101_6^27 + 346487175345196017829387/92066865784963218727*c_0101_6^26 - 376492824406343715550637/92066865784963218727*c_0101_6^25 - 2756903244425877394434807/92066865784963218727*c_0101_6^24 + 2503383841591908756680114/92066865784963218727*c_0101_6^23 + 13209949725409697742128907/92066865784963218727*c_0101_6^22 - 13037775704252948795985526/92066865784963218727*c_0101_6^21 - 40361138428597609112634521/92066865784963218727*c_0101_6^20 + 46984832128342925641065658/92066865784963218727*c_0101_6^19 + 78431092585214254708864820/92066865784963218727*c_0101_6^18 - 111824166645523660105646605/92066865784963218727*c_0101_6^17 - 91523711707653638586882395/92066865784963218727*c_0101_6^16 + 172644438067916966051194300/92066865784963218727*c_0101_6^15 + 50842332673706579381880297/92066865784963218727*c_0101_6^14 - 168529821846299791839501482/92066865784963218727*c_0101_6^13 + 9822477335214913886190209/92066865784963218727*c_0101_6^12 + 97516731137030292406051437/92066865784963218727*c_0101_6^11 - 33848981775024275726724675/92066865784963218727*c_0101_6^10 - 27129320818273352929612300/92066865784963218727*c_0101_6^9 + 20712256258021789801412104/92066865784963218727*c_0101_6^8 - 718745653557735658846466/92066865784963218727*c_0101_6^7 - 5152728022414725585696580/92066865784963218727*c_0101_6^6 + 2321423227170717123269351/92066865784963218727*c_0101_6^5 + 217889365703479732595289/92066865784963218727*c_0101_6^4 - 409080212207203976820822/92066865784963218727*c_0101_6^3 + 92069959821321927571757/92066865784963218727*c_0101_6^2 + 3242977267992412641355/92066865784963218727*c_0101_6 - 5988134920868122998274/92066865784963218727, c_0101_5 + 13397731117151163256980/92066865784963218727*c_0101_6^29 + 71241776551050934680268/92066865784963218727*c_0101_6^28 - 169462740110490380643481/92066865784963218727*c_0101_6^27 - 1185593878533187014873040/92066865784963218727*c_0101_6^26 + 1333012015019073024144783/92066865784963218727*c_0101_6^25 + 9431146894386763845175699/92066865784963218727*c_0101_6^24 - 8898288454900356773410222/92066865784963218727*c_0101_6^23 - 45087199588027325543520400/92066865784963218727*c_0101_6^22 + 46117412046926824769393819/92066865784963218727*c_0101_6^21 + 137085154290806419135796714/92066865784963218727*c_0101_6^20 - 165000949797879316372589718/92066865784963218727*c_0101_6^19 - 264007145482434053639881622/92066865784963218727*c_0101_6^18 + 389662303148986105078249378/92066865784963218727*c_0101_6^17 + 302652465751790886824141911/92066865784963218727*c_0101_6^16 - 596362364504750948125332355/92066865784963218727*c_0101_6^15 - 159212924682980979773966897/92066865784963218727*c_0101_6^14 + 575870386762585713718277519/92066865784963218727*c_0101_6^13 - 45041326002349868735949701/92066865784963218727*c_0101_6^12 - 328152661639122886907236049/92066865784963218727*c_0101_6^11 + 119552590280470823726820990/92066865784963218727*c_0101_6^10 + 88597319112907442771050627/92066865784963218727*c_0101_6^9 - 70284275358884200595361650/92066865784963218727*c_0101_6^8 + 3542509662147601990716067/92066865784963218727*c_0101_6^7 + 16935736043627041470314907/92066865784963218727*c_0101_6^6 - 7859373737650726932963066/92066865784963218727*c_0101_6^5 - 641254347731469592524384/92066865784963218727*c_0101_6^4 + 1341599727565626399733936/92066865784963218727*c_0101_6^3 - 305955224295178913832504/92066865784963218727*c_0101_6^2 - 10644295866669996486786/92066865784963218727*c_0101_6 + 20104224505760012189195/92066865784963218727, c_0101_6^30 + 6*c_0101_6^29 - 9*c_0101_6^28 - 97*c_0101_6^27 + 39*c_0101_6^26 + 770*c_0101_6^25 - 184*c_0101_6^24 - 3805*c_0101_6^23 + 1149*c_0101_6^22 + 12518*c_0101_6^21 - 5343*c_0101_6^20 - 27913*c_0101_6^19 + 15638*c_0101_6^18 + 42021*c_0101_6^17 - 29035*c_0101_6^16 - 41670*c_0101_6^15 + 34704*c_0101_6^14 + 25432*c_0101_6^13 - 26560*c_0101_6^12 - 7501*c_0101_6^11 + 12527*c_0101_6^10 - 801*c_0101_6^9 - 3238*c_0101_6^8 + 1434*c_0101_6^7 + 259*c_0101_6^6 - 439*c_0101_6^5 + 68*c_0101_6^4 + 44*c_0101_6^3 - 16*c_0101_6^2 + c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB