Magma V2.19-8 Tue Aug 20 2013 16:16:23 on localhost [Seed = 728414155] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0662 geometric_solution 4.63924100 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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 1.402738261439 0.104450391905 0 2 2 0 3201 0132 1023 0132 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 -1 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 0 0 0 1.166790659213 0.115663325673 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 -1 0 1 0 0 1 -1 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 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 1.198239145403 0.370056174687 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 -1 0 1 0 0 1 -1 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 -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.491695394784 0.461597843194 5 3 6 5 2103 0132 0132 2031 0 0 0 0 0 1 0 -1 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.683483970773 0.789129862798 6 4 4 3 2310 1302 2103 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 -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.683483970773 0.789129862798 6 6 5 4 1302 2031 3201 0132 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 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.558807018930 0.334953237477 ==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_5']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0101_2'], '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_5, c_0011_6, c_0101_0, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 4240186599958599711651295703240115931052/64030302705154277802775775\ 406422901283*c_0101_4^23 + 4535967274976697462871007278446561081220\ 5/64030302705154277802775775406422901283*c_0101_4^22 + 84207029647959030775865897005965764166943/6403030270515427780277577\ 5406422901283*c_0101_4^21 - 500434405759534055220446194413490774049\ 532/64030302705154277802775775406422901283*c_0101_4^20 - 1860281972467912656975756556614433307454870/64030302705154277802775\ 775406422901283*c_0101_4^19 + 1471039789354250166525988423355635507\ 251442/64030302705154277802775775406422901283*c_0101_4^18 + 12240227539491608930157763792045553098037764/6403030270515427780277\ 5775406422901283*c_0101_4^17 - 371894453248059139140098320690132044\ 763472/64030302705154277802775775406422901283*c_0101_4^16 - 45687599353301075518064713828478397564160946/6403030270515427780277\ 5775406422901283*c_0101_4^15 - 341527158009941614946261925823038555\ 1180645/64030302705154277802775775406422901283*c_0101_4^14 + 104408763203912601497505301301939305008445977/640303027051542778027\ 75775406422901283*c_0101_4^13 - 32539586838089044184840623178176034\ 28542160/64030302705154277802775775406422901283*c_0101_4^12 - 144583182376032564122485828341918314730739149/640303027051542778027\ 75775406422901283*c_0101_4^11 + 28828490715233583869094780634314192\ 936818452/64030302705154277802775775406422901283*c_0101_4^10 + 109004105614252667480697247969682015811566125/640303027051542778027\ 75775406422901283*c_0101_4^9 - 309295328850118321431066298374990650\ 00409886/64030302705154277802775775406422901283*c_0101_4^8 - 46456677539669973393748031196335233346672980/6403030270515427780277\ 5775406422901283*c_0101_4^7 + 1261200659178026256130917981962174615\ 6180648/64030302705154277802775775406422901283*c_0101_4^6 + 12103477382406426474423999307999738661279201/6403030270515427780277\ 5775406422901283*c_0101_4^5 - 2019059347705246387752454155308780392\ 811316/64030302705154277802775775406422901283*c_0101_4^4 - 1882335565426849257887720664393870119000798/64030302705154277802775\ 775406422901283*c_0101_4^3 + 14586337744676100033853442406206490575\ 335/64030302705154277802775775406422901283*c_0101_4^2 + 119415237982795869313751584323464564399428/640303027051542778027757\ 75406422901283*c_0101_4 + 20865011697993473171999949425384900161318\ /64030302705154277802775775406422901283, c_0011_0 - 1, c_0011_1 - 13770873990406854275321115793380574782/640303027051542778027\ 75775406422901283*c_0101_4^23 - 14426702168767865383984774708085798\ 5209/64030302705154277802775775406422901283*c_0101_4^22 - 245650857067995060443793367556080498668/640303027051542778027757754\ 06422901283*c_0101_4^21 + 1630789619780587143673387892161883106666/\ 64030302705154277802775775406422901283*c_0101_4^20 + 5541708071381717298816341098947354304882/64030302705154277802775775\ 406422901283*c_0101_4^19 - 5670096731011331491858619286812782015839\ /64030302705154277802775775406422901283*c_0101_4^18 - 36251210189277443168951494008072537537513/6403030270515427780277577\ 5406422901283*c_0101_4^17 + 103695750183484193242178552868435203252\ 93/64030302705154277802775775406422901283*c_0101_4^16 + 134858400932747499190438137986654183183907/640303027051542778027757\ 75406422901283*c_0101_4^15 - 31903851087390069063450147487915502630\ 639/64030302705154277802775775406422901283*c_0101_4^14 - 299538939710668028505467888853406135340622/640303027051542778027757\ 75406422901283*c_0101_4^13 + 12142365155588038361369694228612756257\ 1705/64030302705154277802775775406422901283*c_0101_4^12 + 382075678740623088789386898532677089737859/640303027051542778027757\ 75406422901283*c_0101_4^11 - 25453413217375787308497481022472859752\ 9715/64030302705154277802775775406422901283*c_0101_4^10 - 223404716554818845702004965113340381247616/640303027051542778027757\ 75406422901283*c_0101_4^9 + 217614131367550869088170736281667799844\ 689/64030302705154277802775775406422901283*c_0101_4^8 + 48028473884954111610014859408812267812511/6403030270515427780277577\ 5406422901283*c_0101_4^7 - 8417140521492346517271963142046427542868\ 4/64030302705154277802775775406422901283*c_0101_4^6 + 1514004564055965943057152870392061040182/64030302705154277802775775\ 406422901283*c_0101_4^5 + 15644013561705450465326123937358321203679\ /64030302705154277802775775406422901283*c_0101_4^4 - 1636657305815233826166053528432354929155/64030302705154277802775775\ 406422901283*c_0101_4^3 - 1301210870673471552997499187312203025277/\ 64030302705154277802775775406422901283*c_0101_4^2 + 226140901281212229696338647593527719947/640303027051542778027757754\ 06422901283*c_0101_4 + 19389730800669404542138380601589942261/64030\ 302705154277802775775406422901283, c_0011_5 - 56890319032284269888108032820569397483/640303027051542778027\ 75775406422901283*c_0101_4^23 - 63269368298008156339638633826043146\ 6627/64030302705154277802775775406422901283*c_0101_4^22 - 1408826729912472148788978173903064100037/64030302705154277802775775\ 406422901283*c_0101_4^21 + 5991461511489725509491784485770406985706\ /64030302705154277802775775406422901283*c_0101_4^20 + 27179231094565289723333284651853734876568/6403030270515427780277577\ 5406422901283*c_0101_4^19 - 718292342734299865236087376738929833443\ 5/64030302705154277802775775406422901283*c_0101_4^18 - 161622805255151181434715658705045950467649/640303027051542778027757\ 75406422901283*c_0101_4^17 - 62771881673345463942581205150598095384\ 167/64030302705154277802775775406422901283*c_0101_4^16 + 555207340456663031118088845164125345438233/640303027051542778027757\ 75406422901283*c_0101_4^15 + 25701245291738307850063692357877856232\ 6974/64030302705154277802775775406422901283*c_0101_4^14 - 1192191819884656058273146948746762771236595/64030302705154277802775\ 775406422901283*c_0101_4^13 - 3723406615994976803297626940084410072\ 26764/64030302705154277802775775406422901283*c_0101_4^12 + 1579366454863958297071431126513216957563410/64030302705154277802775\ 775406422901283*c_0101_4^11 + 1275470122880024172140283819491338508\ 67281/64030302705154277802775775406422901283*c_0101_4^10 - 1147047474044344278557708096154828542565187/64030302705154277802775\ 775406422901283*c_0101_4^9 + 62839214571395766822550330025033725028\ 201/64030302705154277802775775406422901283*c_0101_4^8 + 456393343861183371915352028668261380863842/640303027051542778027757\ 75406422901283*c_0101_4^7 - 440337988620206834908481323748799252313\ 99/64030302705154277802775775406422901283*c_0101_4^6 - 99599049153157236571020814065905124656994/6403030270515427780277577\ 5406422901283*c_0101_4^5 + 8313713758825070445246047411353989558964\ /64030302705154277802775775406422901283*c_0101_4^4 + 10259919351372430386475273970341808406734/6403030270515427780277577\ 5406422901283*c_0101_4^3 - 878203758163205603329352701245566058734/\ 64030302705154277802775775406422901283*c_0101_4^2 - 280177262018788575381528123372671159802/640303027051542778027757754\ 06422901283*c_0101_4 + 41333483221345995801722549990708442202/64030\ 302705154277802775775406422901283, c_0011_6 - 87798011588560515712740783268869782903/640303027051542778027\ 75775406422901283*c_0101_4^23 - 97129446799120378187901757787636121\ 0163/64030302705154277802775775406422901283*c_0101_4^22 - 2118075244156095572612562567152469231237/64030302705154277802775775\ 406422901283*c_0101_4^21 + 9363748541786552793032581182787760282394\ /64030302705154277802775775406422901283*c_0101_4^20 + 41387331011577888894985447274345136890239/6403030270515427780277577\ 5406422901283*c_0101_4^19 - 134251347092985163067553554519139299945\ 56/64030302705154277802775775406422901283*c_0101_4^18 - 248385516904297612085316067223067735841498/640303027051542778027757\ 75406422901283*c_0101_4^17 - 82665117475768866543261978523654886201\ 503/64030302705154277802775775406422901283*c_0101_4^16 + 859857038005684142416744862402165690192174/640303027051542778027757\ 75406422901283*c_0101_4^15 + 34697032056040707112946859883000467695\ 0331/64030302705154277802775775406422901283*c_0101_4^14 - 1853075132431962673168206581106976924533124/64030302705154277802775\ 775406422901283*c_0101_4^13 - 4676517031933542454545008150274339335\ 57515/64030302705154277802775775406422901283*c_0101_4^12 + 2448173731462871246354510609120312936734090/64030302705154277802775\ 775406422901283*c_0101_4^11 + 5849663781628600724811065885955432950\ 5759/64030302705154277802775775406422901283*c_0101_4^10 - 1751005570963189648861450728123720685813882/64030302705154277802775\ 775406422901283*c_0101_4^9 + 18860151372498870049261197596068269401\ 1451/64030302705154277802775775406422901283*c_0101_4^8 + 678096092032732242159111764880336189039924/640303027051542778027757\ 75406422901283*c_0101_4^7 - 972669284039069828770939153918039147224\ 99/64030302705154277802775775406422901283*c_0101_4^6 - 144034032674049314698345449563040251930331/640303027051542778027757\ 75406422901283*c_0101_4^5 + 169854600839450792736252642461034007295\ 33/64030302705154277802775775406422901283*c_0101_4^4 + 14703413524967836662708412514908935858209/6403030270515427780277577\ 5406422901283*c_0101_4^3 - 1474230635953878226431665952945593723864\ /64030302705154277802775775406422901283*c_0101_4^2 - 400046455382845001298151775850693610227/640303027051542778027757754\ 06422901283*c_0101_4 + 58804348001577358352433274898973942484/64030\ 302705154277802775775406422901283, c_0101_0 - 63577602519464667265930727678789256904/640303027051542778027\ 75775406422901283*c_0101_4^23 - 72426896599089110261797167616587714\ 1210/64030302705154277802775775406422901283*c_0101_4^22 - 1768667718255645653271953865280266713299/64030302705154277802775775\ 406422901283*c_0101_4^21 + 6239877002906588468581896990322773180498\ /64030302705154277802775775406422901283*c_0101_4^20 + 32143088006759998657591161242125846375106/6403030270515427780277577\ 5406422901283*c_0101_4^19 + 576302160352041914284419798039144191008\ /64030302705154277802775775406422901283*c_0101_4^18 - 181616513316181007810487196520153648911202/640303027051542778027757\ 75406422901283*c_0101_4^17 - 12067350779708077594990844125495040233\ 3130/64030302705154277802775775406422901283*c_0101_4^16 + 592798314138747745980591137362581618927605/640303027051542778027757\ 75406422901283*c_0101_4^15 + 45835920091835552340405542450965881650\ 3060/64030302705154277802775775406422901283*c_0101_4^14 - 1220258235095646135341567566988892675104794/64030302705154277802775\ 775406422901283*c_0101_4^13 - 7826639568373871939849394203450731478\ 20569/64030302705154277802775775406422901283*c_0101_4^12 + 1572271342516318669736844244063070824366354/64030302705154277802775\ 775406422901283*c_0101_4^11 + 6375299477341454391460497162484817620\ 45304/64030302705154277802775775406422901283*c_0101_4^10 - 1133986796368842820390889414420210684528776/64030302705154277802775\ 775406422901283*c_0101_4^9 - 31414100013421158633934464264465953110\ 8621/64030302705154277802775775406422901283*c_0101_4^8 + 452271836965326083210421745429873343594895/640303027051542778027757\ 75406422901283*c_0101_4^7 + 121418372180053349612690735781354239587\ 282/64030302705154277802775775406422901283*c_0101_4^6 - 96315181570149740530114738798409742308161/6403030270515427780277577\ 5406422901283*c_0101_4^5 - 3359527033709467417904982484875556659217\ 7/64030302705154277802775775406422901283*c_0101_4^4 + 8424868781458681184556408415000783938297/64030302705154277802775775\ 406422901283*c_0101_4^3 + 4278096780057510651976840785756173119622/\ 64030302705154277802775775406422901283*c_0101_4^2 - 69736019881760646120664296122184450515/6403030270515427780277577540\ 6422901283*c_0101_4 - 128953951462831694672460186536249040847/64030\ 302705154277802775775406422901283, c_0101_2 + 30245715563374607032735093219383078431/640303027051542778027\ 75775406422901283*c_0101_4^23 + 37751753767283243827738201141813040\ 3608/64030302705154277802775775406422901283*c_0101_4^22 + 1211382447494298759012968253001173228512/64030302705154277802775775\ 406422901283*c_0101_4^21 - 2108728785885154369038853834382830816724\ /64030302705154277802775775406422901283*c_0101_4^20 - 18614219065911853671623775930668056359139/6403030270515427780277577\ 5406422901283*c_0101_4^19 - 162257026735670798764988187249026796162\ 56/64030302705154277802775775406422901283*c_0101_4^18 + 88378712666619984927948254998583541193130/6403030270515427780277577\ 5406422901283*c_0101_4^17 + 148688913350405651587262470460894577416\ 284/64030302705154277802775775406422901283*c_0101_4^16 - 235881230468761811084962665616714658013922/640303027051542778027757\ 75406422901283*c_0101_4^15 - 52035450624214456302196034434625999513\ 0219/64030302705154277802775775406422901283*c_0101_4^14 + 407544531929223293011287446592295552230088/640303027051542778027757\ 75406422901283*c_0101_4^13 + 99696907469563042070808963925276992612\ 4262/64030302705154277802775775406422901283*c_0101_4^12 - 494043316128692344951558238874251274093360/640303027051542778027757\ 75406422901283*c_0101_4^11 - 10930788390167503174984910931087740083\ 35392/64030302705154277802775775406422901283*c_0101_4^10 + 420554519882753598976635896239506322208425/640303027051542778027757\ 75406422901283*c_0101_4^9 + 678071755482905821428156523703008437523\ 533/64030302705154277802775775406422901283*c_0101_4^8 - 209701097056941679766471132024942057589629/640303027051542778027757\ 75406422901283*c_0101_4^7 - 241245770934672603385282364400057886080\ 100/64030302705154277802775775406422901283*c_0101_4^6 + 48779071143330530206018783690417958854989/6403030270515427780277577\ 5406422901283*c_0101_4^5 + 4690926827556891358311635377619303007195\ 9/64030302705154277802775775406422901283*c_0101_4^4 - 3123893557654576266344566315371660362650/64030302705154277802775775\ 406422901283*c_0101_4^3 - 3384912848908645301865568038411742173864/\ 64030302705154277802775775406422901283*c_0101_4^2 - 12248778998872096942361334156131256055/6403030270515427780277577540\ 6422901283*c_0101_4 - 1704644274417061103036264405853134733/6403030\ 2705154277802775775406422901283, c_0101_4^24 + 11*c_0101_4^23 + 23*c_0101_4^22 - 113*c_0101_4^21 - 476*c_0101_4^20 + 226*c_0101_4^19 + 3030*c_0101_4^18 + 740*c_0101_4^17 - 11067*c_0101_4^16 - 3976*c_0101_4^15 + 25409*c_0101_4^14 + 6465*c_0101_4^13 - 36723*c_0101_4^12 - 2787*c_0101_4^11 + 31055*c_0101_4^10 - 1062*c_0101_4^9 - 15520*c_0101_4^8 + 1031*c_0101_4^7 + 4669*c_0101_4^6 - 184*c_0101_4^5 - 805*c_0101_4^4 - 13*c_0101_4^3 + 63*c_0101_4^2 + 3*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB