Magma V2.19-8 Tue Aug 20 2013 16:17:38 on localhost [Seed = 3221103449] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1876 geometric_solution 5.50461563 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 -1 0 1 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.397853292309 0.246192301073 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 -1 0 0 1 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 -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.784617585183 0.878497843731 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 0 0 0 1 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 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.075320468573 0.948715364570 2 5 4 1 3201 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -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 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.075320468573 0.948715364570 3 2 4 4 2310 0132 1230 3012 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 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.249815722905 1.153718178124 6 3 6 2 0132 0132 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.376090728151 1.505117363726 5 5 6 6 0132 3201 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.433787036238 0.149198496966 ==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' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_0'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_1'], 's_3_6' : negation(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_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : 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_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : 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_0'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 366665125249077550113706084150613698665743/209149214719122939052021\ 9750876591449238944*c_0101_5^28 - 121960894900726692722186060258225\ 674205951/19365668029548420282594627322931402307768*c_0101_5^26 + 209847703267433069107122176532869666428166689/209149214719122939052\ 0219750876591449238944*c_0101_5^24 - 1949797935579172191954695032771035667133216681/20914921471912293905\ 20219750876591449238944*c_0101_5^22 + 11623817089963425972671731971907820828449357939/2091492147191229390\ 520219750876591449238944*c_0101_5^20 - 11635420881022596041376414454384665508966168189/5228730367978073476\ 30054937719147862309736*c_0101_5^18 + 449751611538257217620222937113703383698060142/726212551108065760597\ 2985246099275865413*c_0101_5^16 - 292562127456314114867226638256078\ 15447213410207/232388016354581043391135527875176827693216*c_0101_5^\ 14 + 401997635751830535188578034862617778990617677489/2091492147191\ 229390520219750876591449238944*c_0101_5^12 - 412253064443048629838224103208153903836791561217/209149214719122939\ 0520219750876591449238944*c_0101_5^10 + 241792371088322169409615215409819451835828594899/209149214719122939\ 0520219750876591449238944*c_0101_5^8 - 4380885462327128774810843608289502253128776707/11619400817729052169\ 5567763937588413846608*c_0101_5^6 + 5441010978592936044626521957615127892150227137/52287303679780734763\ 0054937719147862309736*c_0101_5^4 - 191573856768513616686941158532922163399027519/871455061329678912716\ 75822953191310384956*c_0101_5^2 - 421403532929851306824100060888820\ 097836470769/2091492147191229390520219750876591449238944, c_0011_0 - 1, c_0011_1 - 101902314633256916784750495451121254/26896761152150583725825\ 8712818491698719*c_0101_5^28 + 109957942176944634989173558632611096\ 41/806902834564517511774776138455475096157*c_0101_5^26 - 175488708007853784235660568465064059492/806902834564517511774776138\ 455475096157*c_0101_5^24 + 1634673988177232815608445631195553557213\ /806902834564517511774776138455475096157*c_0101_5^22 - 9782401404979421123109461258268083407913/80690283456451751177477613\ 8455475096157*c_0101_5^20 + 131340544761983546170503365073605899896\ 04/268967611521505837258258712818491698719*c_0101_5^18 - 110678627301124397094406940870481304721099/806902834564517511774776\ 138455475096157*c_0101_5^16 + 7600686406591139171205398219796021386\ 0696/268967611521505837258258712818491698719*c_0101_5^14 - 354735085973134536175030963338126447458642/806902834564517511774776\ 138455475096157*c_0101_5^12 + 1258693838240083341866369462320071446\ 70399/268967611521505837258258712818491698719*c_0101_5^10 - 244205068869251054828027573093783888498648/806902834564517511774776\ 138455475096157*c_0101_5^8 + 33163392730538265052869822729532407905\ 938/268967611521505837258258712818491698719*c_0101_5^6 - 10657090079909337751896085687777130092632/2689676115215058372582587\ 12818491698719*c_0101_5^4 + 628955678075246675707440503424520658424\ 7/806902834564517511774776138455475096157*c_0101_5^2 - 50317336979091669784511089517289170425/2689676115215058372582587128\ 18491698719, c_0011_3 - 11152381039735059822713301206825800385/161380566912903502354\ 9552276910950192314*c_0101_5^29 + 201328664832346434087714503215010\ 443421/806902834564517511774776138455475096157*c_0101_5^27 - 6454627602137698959484952704732545207805/16138056691290350235495522\ 76910950192314*c_0101_5^25 + 60433341831704017676841932657352741423\ 727/1613805669129035023549552276910950192314*c_0101_5^23 - 121277492176932730572306703591335304674439/537935223043011674516517\ 425636983397438*c_0101_5^21 + 7376817165092726802236836953023976929\ 87714/806902834564517511774776138455475096157*c_0101_5^19 - 695162472141213922665273636864003155234245/268967611521505837258258\ 712818491698719*c_0101_5^17 + 8624744158000087791710424366470121871\ 672387/1613805669129035023549552276910950192314*c_0101_5^15 - 4473115798478579208184711244062840807697639/53793522304301167451651\ 7425636983397438*c_0101_5^13 + 142587404794177467003314297168782308\ 15317953/1613805669129035023549552276910950192314*c_0101_5^11 - 2973455985484887958681870797091225795564261/53793522304301167451651\ 7425636983397438*c_0101_5^9 + 5185068254825148603939329892670054643\ 67642/268967611521505837258258712818491698719*c_0101_5^7 - 421354408030349701989184273038757877787484/806902834564517511774776\ 138455475096157*c_0101_5^5 + 33186060002149549330232695367069483228\ 479/268967611521505837258258712818491698719*c_0101_5^3 + 4439285067115531278564667208348005002837/53793522304301167451651742\ 5636983397438*c_0101_5, c_0101_0 - 10604926928136657588956292376170985549/161380566912903502354\ 9552276910950192314*c_0101_5^29 + 190798759635336494978062179092839\ 247561/806902834564517511774776138455475096157*c_0101_5^27 - 6092108147106667394984784574218794634997/16138056691290350235495522\ 76910950192314*c_0101_5^25 + 56754856033671692028611128432353181907\ 269/1613805669129035023549552276910950192314*c_0101_5^23 - 339538174999600596129024459035612606333057/161380566912903502354955\ 2276910950192314*c_0101_5^21 + 227659166820406671256701593984142222\ 802575/268967611521505837258258712818491698719*c_0101_5^19 - 637529282818751430250981677201386852901449/268967611521505837258258\ 712818491698719*c_0101_5^17 + 7832707164927708672289118467954675948\ 303757/1613805669129035023549552276910950192314*c_0101_5^15 - 12062562959390042919248329267955250842849401/1613805669129035023549\ 552276910950192314*c_0101_5^13 + 1257795470667608513842679824877022\ 7179880855/1613805669129035023549552276910950192314*c_0101_5^11 - 7643311013120331685869992093707306439956439/16138056691290350235495\ 52276910950192314*c_0101_5^9 + 131641729967275627232908149016886611\ 0351562/806902834564517511774776138455475096157*c_0101_5^7 - 121624896987833618698785324535144591608554/268967611521505837258258\ 712818491698719*c_0101_5^5 + 26756502120746980712955625764650559614\ 111/268967611521505837258258712818491698719*c_0101_5^3 + 3467626179795184098317408193388740245177/53793522304301167451651742\ 5636983397438*c_0101_5, c_0101_1 - 965516404114200827068334748868505221/80690283456451751177477\ 6138455475096157*c_0101_5^28 + 347242689896073238046578222453228094\ 98/806902834564517511774776138455475096157*c_0101_5^26 - 184673624104244126780995958348558473619/268967611521505837258258712\ 818491698719*c_0101_5^24 + 1719153110144090853618625825939048664851\ /268967611521505837258258712818491698719*c_0101_5^22 - 30826024379760241273735330119390609320761/8069028345645175117747761\ 38455475096157*c_0101_5^20 + 12387220035848297321797234327166885775\ 9374/806902834564517511774776138455475096157*c_0101_5^18 - 346452525998108278703951161932217930176313/806902834564517511774776\ 138455475096157*c_0101_5^16 + 7086699759279470880509522056718462616\ 75731/806902834564517511774776138455475096157*c_0101_5^14 - 1090614639278410033526179799296079727403192/80690283456451751177477\ 6138455475096157*c_0101_5^12 + 113628331623207454988938951281852641\ 4543839/806902834564517511774776138455475096157*c_0101_5^10 - 692340022592819881426305494732470628453410/806902834564517511774776\ 138455475096157*c_0101_5^8 + 81690495061056892738938406134066351609\ 001/268967611521505837258258712818491698719*c_0101_5^6 - 73001995917239872502660148033874795630840/8069028345645175117747761\ 38455475096157*c_0101_5^4 + 169796410919323216847103741593807869156\ 22/806902834564517511774776138455475096157*c_0101_5^2 + 318063469187832594347582751195399226751/268967611521505837258258712\ 818491698719, c_0101_4 + 53143793237004663872232310652165294/268967611521505837258258\ 712818491698719*c_0101_5^29 - 5893913264553291751346535479619602116\ /806902834564517511774776138455475096157*c_0101_5^27 + 97139021426816925864986121224170159061/8069028345645175117747761384\ 55475096157*c_0101_5^25 - 939930828856222469778607912676937453722/8\ 06902834564517511774776138455475096157*c_0101_5^23 + 5889918590055464649568329260696556951980/80690283456451751177477613\ 8455475096157*c_0101_5^21 - 835488162794383474035173650987168347959\ 1/268967611521505837258258712818491698719*c_0101_5^19 + 74859658569809061325174184407242751564580/8069028345645175117747761\ 38455475096157*c_0101_5^17 - 54464478365254772319192431716356026512\ 476/268967611521505837258258712818491698719*c_0101_5^15 + 268387511497744244900658086023320803440835/806902834564517511774776\ 138455475096157*c_0101_5^13 - 1041342377819142308350243341690700666\ 05094/268967611521505837258258712818491698719*c_0101_5^11 + 222505277895881571122302390585410385476827/806902834564517511774776\ 138455475096157*c_0101_5^9 - 27895686865543487232052333859880555743\ 880/268967611521505837258258712818491698719*c_0101_5^7 + 6892412229439881789865522015340523375717/26896761152150583725825871\ 2818491698719*c_0101_5^5 - 7083444395180370339479886717968238045055\ /806902834564517511774776138455475096157*c_0101_5^3 + 415735256084778827457829643673448244266/268967611521505837258258712\ 818491698719*c_0101_5, c_0101_5^30 - 36*c_0101_5^28 + 575*c_0101_5^26 - 5359*c_0101_5^24 + 32069*c_0101_5^22 - 128996*c_0101_5^20 + 360864*c_0101_5^18 - 737001*c_0101_5^16 + 1129799*c_0101_5^14 - 1167079*c_0101_5^12 + 687013*c_0101_5^10 - 214290*c_0101_5^8 + 55100*c_0101_5^6 - 12648*c_0101_5^4 - 2143*c_0101_5^2 - 72 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB