Magma V2.19-8 Tue Aug 20 2013 16:16:10 on localhost [Seed = 3684321055] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0428 geometric_solution 4.48182790 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 -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.729765533341 0.072505053559 2 0 2 0 0132 2310 1023 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 -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.913325644665 0.062309133078 1 3 1 3 0132 0132 1023 1023 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 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.886488861364 0.131464177607 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 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 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.936126977326 0.346032238998 3 5 5 6 0132 0213 3012 0132 0 0 0 0 0 1 -1 0 0 0 -1 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 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.784359923700 0.818037840031 6 4 4 3 1023 1230 0213 0132 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 -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.784359923700 0.818037840031 6 5 4 6 3201 1023 0132 2310 0 0 0 0 0 0 0 0 0 0 -1 1 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 1 -1 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.301305196012 1.143011336135 ==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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], '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_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0011_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_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_5'], '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_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 95521106746996906916927253135844501016679997/6551002799985713293298\ 9882398371716056701952*c_0101_4^31 + 1987100252297074310311334832881144557935072705/65510027999857132932\ 989882398371716056701952*c_0101_4^29 - 1001854982560594973254098651846800892494410135/81887534999821416166\ 23735299796464507087744*c_0101_4^27 - 65082934217530130590786031817418454692522175605/6551002799985713293\ 2989882398371716056701952*c_0101_4^25 + 652394848508272640660467696714952514255325004385/655100279998571329\ 32989882398371716056701952*c_0101_4^23 - 230015677320353911404972147144655021232685283723/163775069999642832\ 33247470599592929014175488*c_0101_4^21 - 2463834112785252130371732648093088194376914623259/16377506999964283\ 233247470599592929014175488*c_0101_4^19 + 27922860153271332754064351344530381392065996548477/3275501399992856\ 6466494941199185858028350976*c_0101_4^17 - 35063420787823254046566293977107585018380870470855/1637750699996428\ 3233247470599592929014175488*c_0101_4^15 + 207126221221633244231010027949531753205799367445683/655100279998571\ 32932989882398371716056701952*c_0101_4^13 - 96747053131399971581654697233721563633318880445497/3275501399992856\ 6466494941199185858028350976*c_0101_4^11 + 116500432375472195171390563997043313590916367753007/655100279998571\ 32932989882398371716056701952*c_0101_4^9 - 45558519849879136327323009320562805505605067306507/6551002799985713\ 2932989882398371716056701952*c_0101_4^7 + 12183438707790560921411123402869465893987713195829/6551002799985713\ 2932989882398371716056701952*c_0101_4^5 - 2396761613373409914582776544645692324807798613965/65510027999857132\ 932989882398371716056701952*c_0101_4^3 + 8324064192762592700333675678030570638814898187/20471883749955354041\ 55933824949116126771936*c_0101_4, c_0011_0 - 1, c_0011_1 - 6756881488229292585073260709303326108151/1023594187497767702\ 077966912474558063385968*c_0101_4^30 + 137249956392807950835207816484735319165251/102359418749776770207796\ 6912474558063385968*c_0101_4^28 - 626874873363127053301635184001479\ 21060803/127949273437220962759745864059319757923246*c_0101_4^26 - 4814266579417205622509496474505452060033407/10235941874977677020779\ 66912474558063385968*c_0101_4^24 + 43686532960110676670589860912134082653210675/1023594187497767702077\ 966912474558063385968*c_0101_4^22 - 11264859206341519381978943402920650542635277/2558985468744419255194\ 91728118639515846492*c_0101_4^20 - 177189912485403940491786469322870482878176769/255898546874441925519\ 491728118639515846492*c_0101_4^18 + 1800203851872465943955746512969955861996993039/51179709374888385103\ 8983456237279031692984*c_0101_4^16 - 2087087475431304480848660578436400804971476701/25589854687444192551\ 9491728118639515846492*c_0101_4^14 + 11351088424886469571164435251529848008749297769/1023594187497767702\ 077966912474558063385968*c_0101_4^12 - 4832954034625283523331485312370402571463502251/51179709374888385103\ 8983456237279031692984*c_0101_4^10 + 5237906705352154308453082653941710984020109229/10235941874977677020\ 77966912474558063385968*c_0101_4^8 - 1838033438677388076294298759201266400542739649/10235941874977677020\ 77966912474558063385968*c_0101_4^6 + 455011582176016191316611646784214482412647279/102359418749776770207\ 7966912474558063385968*c_0101_4^4 - 82532914590234915968133709876735788875831623/1023594187497767702077\ 966912474558063385968*c_0101_4^2 + 442597081338983539530444405253103070666231/639746367186104813798729\ 32029659878961623, c_0011_5 - 4362701763181714991867028137000196988215/4094376749991070808\ 311867649898232253543872*c_0101_4^31 + 85315525308067110885551518262372475748259/4094376749991070808311867\ 649898232253543872*c_0101_4^29 - 3248081055677255489011250774876715\ 4093353/511797093748883851038983456237279031692984*c_0101_4^27 - 3291611268905493437623811093185726362379807/40943767499910708083118\ 67649898232253543872*c_0101_4^25 + 25654178230455320849995869984674824927824067/4094376749991070808311\ 867649898232253543872*c_0101_4^23 - 2522768893110850578917877192963338328342425/10235941874977677020779\ 66912474558063385968*c_0101_4^21 - 115142553772552224895856236317823803871993761/102359418749776770207\ 7966912474558063385968*c_0101_4^19 + 983987816671890964056691088035803320729784311/204718837499553540415\ 5933824949116126771936*c_0101_4^17 - 992384815737128193939384941790911148816206933/102359418749776770207\ 7966912474558063385968*c_0101_4^15 + 4738102560484873834752965742818458464134640729/40943767499910708083\ 11867649898232253543872*c_0101_4^13 - 1841599274884832830734149762533438161166100891/20471883749955354041\ 55933824949116126771936*c_0101_4^11 + 2038948646030460058508762538831386129282772045/40943767499910708083\ 11867649898232253543872*c_0101_4^9 - 880732013184119886466430355937709482151177409/409437674999107080831\ 1867649898232253543872*c_0101_4^7 + 277160049850127850142304702035784202036595967/409437674999107080831\ 1867649898232253543872*c_0101_4^5 - 46534658349255841574145571238162989677193159/4094376749991070808311\ 867649898232253543872*c_0101_4^3 + 86023540543017102056455737573744582604283/6397463671861048137987293\ 2029659878961623*c_0101_4, c_0101_0 - 405568919509943948469174163473436999366/63974636718610481379\ 872932029659878961623*c_0101_4^31 + 32787741164378435255546551481086055528045/2558985468744419255194917\ 28118639515846492*c_0101_4^29 - 11702508592543896233030456477019962\ 0389065/255898546874441925519491728118639515846492*c_0101_4^27 - 292168050055910997248798298897486818429785/639746367186104813798729\ 32029659878961623*c_0101_4^25 + 10372288499294093527818662962075557\ 874267749/255898546874441925519491728118639515846492*c_0101_4^23 - 9726650092813566294631013340364636268793897/25589854687444192551949\ 1728118639515846492*c_0101_4^21 - 428536342344062700158118478612311\ 15917802535/63974636718610481379872932029659878961623*c_0101_4^19 + 211741651775025247069579272208355249596842672/639746367186104813798\ 72932029659878961623*c_0101_4^17 - 956650219598117587056121715656356304985401477/127949273437220962759\ 745864059319757923246*c_0101_4^15 + 628032332656157698023063505864594205856420962/639746367186104813798\ 72932029659878961623*c_0101_4^13 - 2031887608730724670364058128528043222109949711/25589854687444192551\ 9491728118639515846492*c_0101_4^11 + 508646666475698805853592196791387564510473169/127949273437220962759\ 745864059319757923246*c_0101_4^9 - 318856458401872329682215325679269338819757055/255898546874441925519\ 491728118639515846492*c_0101_4^7 + 71837902096620995180144440969883741925536371/2558985468744419255194\ 91728118639515846492*c_0101_4^5 - 124445401779697154464272471758068\ 27828995897/255898546874441925519491728118639515846492*c_0101_4^3 + 493991255783621774741532784577493442568417/255898546874441925519491\ 728118639515846492*c_0101_4, c_0101_1 + 7449166170835255395634298245886455593863/1023594187497767702\ 077966912474558063385968*c_0101_4^30 - 150269434628404547546929061574959151516547/102359418749776770207796\ 6912474558063385968*c_0101_4^28 + 665721508197049304926637137838057\ 82366481/127949273437220962759745864059319757923246*c_0101_4^26 + 5368079172429855441477863871159649065579103/10235941874977677020779\ 66912474558063385968*c_0101_4^24 - 47372559424897051362501559962183863266692931/1023594187497767702077\ 966912474558063385968*c_0101_4^22 + 10901408827773553907357038556926114552507073/2558985468744419255194\ 91728118639515846492*c_0101_4^20 + 195849620086923906832492935505886095355122221/255898546874441925519\ 491728118639515846492*c_0101_4^18 - 1929628770610859736915739952048987382488210175/51179709374888385103\ 8983456237279031692984*c_0101_4^16 + 2184971214486099817985991089976877280936812733/25589854687444192551\ 9491728118639515846492*c_0101_4^14 - 11594074171897501777334100429948616962670907545/1023594187497767702\ 077966912474558063385968*c_0101_4^12 + 4802439657903412926491174454553712815152163971/51179709374888385103\ 8983456237279031692984*c_0101_4^10 - 5049118103625120142888860846778374815719419549/10235941874977677020\ 77966912474558063385968*c_0101_4^8 + 1722732460895852270933527072241480881994549889/10235941874977677020\ 77966912474558063385968*c_0101_4^6 - 419109185870313069734740718882465790630244095/102359418749776770207\ 7966912474558063385968*c_0101_4^4 + 73159817756004050197908307027514457543386871/1023594187497767702077\ 966912474558063385968*c_0101_4^2 - 320006491215386547646920920128819283996073/639746367186104813798729\ 32029659878961623, c_0101_3 - 514446539590663035011069834866196083941/10235941874977677020\ 77966912474558063385968*c_0101_4^30 + 8883737899747498627350733003096389472281/10235941874977677020779669\ 12474558063385968*c_0101_4^28 - 99012205768521841787612865298773602\ 8231/127949273437220962759745864059319757923246*c_0101_4^26 - 452966649632556380193010378774708465576749/102359418749776770207796\ 6912474558063385968*c_0101_4^24 + 212722832516046577834854482322611\ 9960797129/1023594187497767702077966912474558063385968*c_0101_4^22 + 1375191010758788216179782387643592406708877/25589854687444192551949\ 1728118639515846492*c_0101_4^20 - 139150972230462277028418599561143\ 98927651439/255898546874441925519491728118639515846492*c_0101_4^18 + 54459847157712010804312110338110221558849741/5117970937488838510389\ 83456237279031692984*c_0101_4^16 + 8731498286571252578497090608000058395540709/25589854687444192551949\ 1728118639515846492*c_0101_4^14 - 420566663590993610558960587623448\ 670753701269/1023594187497767702077966912474558063385968*c_0101_4^1\ 2 + 341810385233188076188286381312358645551010367/51179709374888385\ 1038983456237279031692984*c_0101_4^10 - 557133021033657923742559790039291789171173769/102359418749776770207\ 7966912474558063385968*c_0101_4^8 + 263359775049020976656670649225465878084612093/102359418749776770207\ 7966912474558063385968*c_0101_4^6 - 82900142732671147128501638199145712855436739/1023594187497767702077\ 966912474558063385968*c_0101_4^4 + 18396949067272991020102163627812215542445627/1023594187497767702077\ 966912474558063385968*c_0101_4^2 - 115806266143965155802260080597391753355937/639746367186104813798729\ 32029659878961623, c_0101_4^32 - 21*c_0101_4^30 + 88*c_0101_4^28 + 665*c_0101_4^26 - 6965*c_0101_4^24 + 10972*c_0101_4^22 + 101340*c_0101_4^20 - 605058*c_0101_4^18 + 1582540*c_0101_4^16 - 2452655*c_0101_4^14 + 2441498*c_0101_4^12 - 1604187*c_0101_4^10 + 706215*c_0101_4^8 - 216601*c_0101_4^6 + 48913*c_0101_4^4 - 7456*c_0101_4^2 + 512 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB