Magma V2.19-8 Tue Aug 20 2013 16:14:50 on localhost [Seed = 3069651674] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s804 geometric_solution 5.35846702 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 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.249686182838 0.218952684152 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.486273813484 1.766410022737 1 3 4 5 0132 3201 0132 0132 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 0 -1 0 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.086374068937 0.943202364810 5 4 2 1 3201 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 -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.086374068937 0.943202364810 4 3 4 2 2310 0132 3201 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 -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.435509159200 0.917014620650 5 5 2 3 1302 2031 0132 2310 0 0 0 0 0 0 -1 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 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 0 0 0 0 0 0.519879518276 0.948501772706 ==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_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_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_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), '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_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 134819225584309034034835206142780522306451477/127371912061207207812\ 0850448704331222828943*c_0101_3^23 + 61538864043689808163188675159187847081757898/4245730402040240260402\ 83482901443740942981*c_0101_3^22 + 2093463778569986605888831479476915483774097188/12737191206120720781\ 20850448704331222828943*c_0101_3^21 + 1897857478311076268514368993375244441200577582/42457304020402402604\ 0283482901443740942981*c_0101_3^20 - 827117148282692343395857365258035040939683996/127371912061207207812\ 0850448704331222828943*c_0101_3^19 - 1424539069179714890279006541685482101245447379/97978393893236313701\ 603880669563940217611*c_0101_3^18 - 30694974838630568491114154472008422793259922046/1273719120612072078\ 120850448704331222828943*c_0101_3^17 + 10541461621834077979691411769405567189078063258/4245730402040240260\ 40283482901443740942981*c_0101_3^16 + 122244849287843226185684242501671250293103219541/127371912061207207\ 8120850448704331222828943*c_0101_3^15 + 119009940468053028640300672506668753669299364393/127371912061207207\ 8120850448704331222828943*c_0101_3^14 - 151302408848394940794081195418399898512456645315/127371912061207207\ 8120850448704331222828943*c_0101_3^13 - 267003435252548783187570310833674577259315573526/127371912061207207\ 8120850448704331222828943*c_0101_3^12 - 11963883467967082196572265617615066494085718734/9797839389323631370\ 1603880669563940217611*c_0101_3^11 + 23821478678445908520320511451652337937244676503/4245730402040240260\ 40283482901443740942981*c_0101_3^10 + 339407142579708949170375684687341760115500561323/127371912061207207\ 8120850448704331222828943*c_0101_3^9 - 10924337560987127319623742532670757159233148889/1273719120612072078\ 120850448704331222828943*c_0101_3^8 - 13243017528392491122042037458027663395244664450/4245730402040240260\ 40283482901443740942981*c_0101_3^7 - 63260587970454392395221892691182671564938026774/1273719120612072078\ 120850448704331222828943*c_0101_3^6 + 50749806432134371068361082358388334761346218396/1273719120612072078\ 120850448704331222828943*c_0101_3^5 + 1395667381535952149079220137505055835398667929/42457304020402402604\ 0283482901443740942981*c_0101_3^4 - 43762554025455500294998236913690686566009798986/1273719120612072078\ 120850448704331222828943*c_0101_3^3 + 15662252784851867961679051722134649555313279799/1273719120612072078\ 120850448704331222828943*c_0101_3^2 + 1292870164669346440385818924766804544092839583/42457304020402402604\ 0283482901443740942981*c_0101_3 - 146420130543231962832080004122285\ 7825330387269/1273719120612072078120850448704331222828943, c_0011_0 - 1, c_0011_1 - 44737448598321563906104486225321841692113/326594646310787712\ 33867960223187980072537*c_0101_3^23 + 57858167449344344752417830641228444679457/3265946463107877123386796\ 0223187980072537*c_0101_3^22 + 698219619553336602599012545714506374\ 042938/32659464631078771233867960223187980072537*c_0101_3^21 + 1943076479931721645665603778183211485403581/32659464631078771233867\ 960223187980072537*c_0101_3^20 - 1127220471594726158615510139176024\ 25968137/32659464631078771233867960223187980072537*c_0101_3^19 - 6108826708649372060964473602626763411578124/32659464631078771233867\ 960223187980072537*c_0101_3^18 - 1062931878952369103264270107538127\ 0199639634/32659464631078771233867960223187980072537*c_0101_3^17 + 9575123115748976629941749650718223870206561/32659464631078771233867\ 960223187980072537*c_0101_3^16 + 4102898058602928973913185727889838\ 4239450228/32659464631078771233867960223187980072537*c_0101_3^15 + 42665965099950475848225654259812493881915031/3265946463107877123386\ 7960223187980072537*c_0101_3^14 - 461191796125575397463844394819421\ 57874191413/32659464631078771233867960223187980072537*c_0101_3^13 - 90849920009665112038726188622152305223319280/3265946463107877123386\ 7960223187980072537*c_0101_3^12 - 588075032889618276804360755456074\ 87857742118/32659464631078771233867960223187980072537*c_0101_3^11 + 17251399361216285918997543343048366955790857/3265946463107877123386\ 7960223187980072537*c_0101_3^10 + 111838875209853559248547684549421\ 612432086816/32659464631078771233867960223187980072537*c_0101_3^9 + 4257396276521800459106201553176798610369833/32659464631078771233867\ 960223187980072537*c_0101_3^8 - 10942966192581619597883160728037045\ 297050491/32659464631078771233867960223187980072537*c_0101_3^7 - 20770234719266479730102297676795456633941983/3265946463107877123386\ 7960223187980072537*c_0101_3^6 + 1537602365391668681911423487561383\ 9728287234/32659464631078771233867960223187980072537*c_0101_3^5 + 2224271485156076611419465949692562333267299/32659464631078771233867\ 960223187980072537*c_0101_3^4 - 14221994312304469977198704732762896\ 658016346/32659464631078771233867960223187980072537*c_0101_3^3 + 4275805233331836418058476046846302363908453/32659464631078771233867\ 960223187980072537*c_0101_3^2 + 13815806110407064729833750561552434\ 86254413/32659464631078771233867960223187980072537*c_0101_3 - 394053104791029741796763747227770109367313/326594646310787712338679\ 60223187980072537, c_0011_3 + 57440779161585217563459145415755687190785/326594646310787712\ 33867960223187980072537*c_0101_3^23 - 75447948891569015548120384695613723254768/3265946463107877123386796\ 0223187980072537*c_0101_3^22 - 895375070142297281098560154002565572\ 316807/32659464631078771233867960223187980072537*c_0101_3^21 - 2476518666628239648195330107298629649922600/32659464631078771233867\ 960223187980072537*c_0101_3^20 + 2016022640817890361067136457714956\ 03295552/32659464631078771233867960223187980072537*c_0101_3^19 + 7862882653536266045409710508180040330846045/32659464631078771233867\ 960223187980072537*c_0101_3^18 + 1350444655855700879311520611554709\ 3196972217/32659464631078771233867960223187980072537*c_0101_3^17 - 12617476417916428264214440421242699713465429/3265946463107877123386\ 7960223187980072537*c_0101_3^16 - 525657365736175946837232651343834\ 84066453462/32659464631078771233867960223187980072537*c_0101_3^15 - 53726576770806757025119825477955304610475765/3265946463107877123386\ 7960223187980072537*c_0101_3^14 + 607133728476752978121717758079062\ 35145045755/32659464631078771233867960223187980072537*c_0101_3^13 + 116133730109429112858422762545650533626296717/326594646310787712338\ 67960223187980072537*c_0101_3^12 + 73183413422230523484566289244461030792043505/3265946463107877123386\ 7960223187980072537*c_0101_3^11 - 246202459629554817328682104685954\ 36174183296/32659464631078771233867960223187980072537*c_0101_3^10 - 144363915984506549993148284707479635825792044/326594646310787712338\ 67960223187980072537*c_0101_3^9 - 313861925387714799591910486978692\ 4245127538/32659464631078771233867960223187980072537*c_0101_3^8 + 14964765167742599298546882463042630534409969/3265946463107877123386\ 7960223187980072537*c_0101_3^7 + 2710259012422526114474716231535114\ 0806832156/32659464631078771233867960223187980072537*c_0101_3^6 - 20090123571680945445970444136028851116782809/3265946463107877123386\ 7960223187980072537*c_0101_3^5 - 2597596332022604247443080385344984\ 667468581/32659464631078771233867960223187980072537*c_0101_3^4 + 18302675749308247925402992567789715804563885/3265946463107877123386\ 7960223187980072537*c_0101_3^3 - 5757678017172550862251829874894108\ 364282947/32659464631078771233867960223187980072537*c_0101_3^2 - 1758175600567749566080434533395464016510628/32659464631078771233867\ 960223187980072537*c_0101_3 + 5423613882176913709862592497479135039\ 75132/32659464631078771233867960223187980072537, c_0011_5 - 39620471294323546901786092913989136222513/326594646310787712\ 33867960223187980072537*c_0101_3^23 + 50236026303686770452785968765175935166509/3265946463107877123386796\ 0223187980072537*c_0101_3^22 + 619288287230006915246161970434379806\ 300401/32659464631078771233867960223187980072537*c_0101_3^21 + 1736813757420565247770701310010127970568104/32659464631078771233867\ 960223187980072537*c_0101_3^20 - 5026597493321032109766305336436789\ 4134480/32659464631078771233867960223187980072537*c_0101_3^19 - 5393842936481346532330256122307721554348636/32659464631078771233867\ 960223187980072537*c_0101_3^18 - 9543398016061033822551094422816063\ 634940017/32659464631078771233867960223187980072537*c_0101_3^17 + 8192544516353526896491054729687433076713508/32659464631078771233867\ 960223187980072537*c_0101_3^16 + 3643945515457517992565123968659093\ 9442615062/32659464631078771233867960223187980072537*c_0101_3^15 + 38737848042148445875179671155774102140517472/3265946463107877123386\ 7960223187980072537*c_0101_3^14 - 395237767427581965674466182098247\ 85596883055/32659464631078771233867960223187980072537*c_0101_3^13 - 80973354332687315697293581444916118591009359/3265946463107877123386\ 7960223187980072537*c_0101_3^12 - 542897313094099301131432227993393\ 63244173621/32659464631078771233867960223187980072537*c_0101_3^11 + 13083694442872336624043903607385153825574277/3265946463107877123386\ 7960223187980072537*c_0101_3^10 + 985419960964139551580305224461892\ 55370646339/32659464631078771233867960223187980072537*c_0101_3^9 + 6073258707814674685676013031926321089920336/32659464631078771233867\ 960223187980072537*c_0101_3^8 - 87171414397767789629682112292598808\ 71367038/32659464631078771233867960223187980072537*c_0101_3^7 - 18160234978182974581594394430350238743528189/3265946463107877123386\ 7960223187980072537*c_0101_3^6 + 1324758325721510134153191087150219\ 4873037587/32659464631078771233867960223187980072537*c_0101_3^5 + 2184305325146859726983753949927055612138673/32659464631078771233867\ 960223187980072537*c_0101_3^4 - 12467681248952980595768774561211037\ 136559984/32659464631078771233867960223187980072537*c_0101_3^3 + 3538390744426452027788101741890000172412339/32659464631078771233867\ 960223187980072537*c_0101_3^2 + 12236587697035033556883976606927548\ 06757859/32659464631078771233867960223187980072537*c_0101_3 - 343921351681766744929592242894740113044396/326594646310787712338679\ 60223187980072537, c_0101_0 + 21895876433233126994727925868239258113964/326594646310787712\ 33867960223187980072537*c_0101_3^23 - 29203778759268343601876732029053309800801/3265946463107877123386796\ 0223187980072537*c_0101_3^22 - 341362682014231184853914894179609615\ 672070/32659464631078771233867960223187980072537*c_0101_3^21 - 936580873895773669793009224649225439993089/326594646310787712338679\ 60223187980072537*c_0101_3^20 + 10609411530825595180027311546722726\ 1631244/32659464631078771233867960223187980072537*c_0101_3^19 + 3028156514996160996714465190764643884721280/32659464631078771233867\ 960223187980072537*c_0101_3^18 + 5101671271590103501897353486266414\ 971461168/32659464631078771233867960223187980072537*c_0101_3^17 - 4990572754353186684243095274555288967241932/32659464631078771233867\ 960223187980072537*c_0101_3^16 - 2012578039215470137440652980182011\ 1556783676/32659464631078771233867960223187980072537*c_0101_3^15 - 20032092940774428007323669507015152406690869/3265946463107877123386\ 7960223187980072537*c_0101_3^14 + 241425830403561011629991175544958\ 33589209547/32659464631078771233867960223187980072537*c_0101_3^13 + 44686391166994651639965927789536523100834760/3265946463107877123386\ 7960223187980072537*c_0101_3^12 + 268171796659337323686817401438370\ 83609656177/32659464631078771233867960223187980072537*c_0101_3^11 - 11234930669903433514424831826504155924779154/3265946463107877123386\ 7960223187980072537*c_0101_3^10 - 562991593172154767471810173098068\ 38264501785/32659464631078771233867960223187980072537*c_0101_3^9 - 635947969541261802084819345043016139249894/326594646310787712338679\ 60223187980072537*c_0101_3^8 + 691147410123986566527447404445321051\ 0597711/32659464631078771233867960223187980072537*c_0101_3^7 + 10781029041942300808304270511751727319158045/3265946463107877123386\ 7960223187980072537*c_0101_3^6 - 7621798734571526657096969345167216\ 841360243/32659464631078771233867960223187980072537*c_0101_3^5 - 1013893529640764419869989485509827789547150/32659464631078771233867\ 960223187980072537*c_0101_3^4 + 71580742557200050309129298734926694\ 16310553/32659464631078771233867960223187980072537*c_0101_3^3 - 2287944143981812482494580546866747940727027/32659464631078771233867\ 960223187980072537*c_0101_3^2 - 75961172797712913863213674116256654\ 5522742/32659464631078771233867960223187980072537*c_0101_3 + 221946809342583259766089238967900371442472/326594646310787712338679\ 60223187980072537, c_0101_3^24 - c_0101_3^23 - 16*c_0101_3^22 - 48*c_0101_3^21 - 10*c_0101_3^20 + 138*c_0101_3^19 + 278*c_0101_3^18 - 146*c_0101_3^17 - 984*c_0101_3^16 - 1222*c_0101_3^15 + 764*c_0101_3^14 + 2353*c_0101_3^13 + 1907*c_0101_3^12 - 29*c_0101_3^11 - 2646*c_0101_3^10 - 841*c_0101_3^9 + 243*c_0101_3^8 + 550*c_0101_3^7 - 204*c_0101_3^6 - 155*c_0101_3^5 + 306*c_0101_3^4 - 62*c_0101_3^2 + 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB