Magma V2.19-8 Tue Aug 20 2013 16:16:26 on localhost [Seed = 3684321076] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0722 geometric_solution 4.67242713 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 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.962697209170 0.173874430124 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 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 -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.775869506128 0.431101532269 3 1 1 3 0132 0132 1023 3201 0 0 0 0 0 -1 0 1 -1 0 1 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 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 -0.165979290815 0.342053197109 2 2 5 4 0132 2310 0132 0132 0 0 0 0 0 -1 1 0 1 0 0 -1 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.107671851159 1.045811777466 6 5 3 5 0132 1023 0132 3012 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 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.454059637640 1.082143105648 4 6 4 3 1023 3201 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 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.454059637640 1.082143105648 4 6 5 6 0132 2310 2310 3201 0 0 0 0 0 1 -1 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 -1 1 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.329696751706 0.785753758400 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : 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' : negation(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' : negation(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' : negation(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_0011_4'], 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], '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_1, c_0011_4, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 8486738522480520852066562384852467139311/12558833457102553412878603\ 899997920748*c_0101_3*c_0101_6^17 - 15820238698964209848455327744248898218207/1255883345710255341287860\ 3899997920748*c_0101_3*c_0101_6^16 + 2174367077485574053493992555624832245913/12558833457102553412878603\ 899997920748*c_0101_3*c_0101_6^15 - 443499631961940787411216592545312706634844/313970836427563835321965\ 0974999480187*c_0101_3*c_0101_6^14 + 2131862685199682404365403907701642613771161/62794167285512767064393\ 01949998960374*c_0101_3*c_0101_6^13 - 17725954414152679453660956434250916937301713/1255883345710255341287\ 8603899997920748*c_0101_3*c_0101_6^12 + 19344920817860666972696429924069102189780737/6279416728551276706439\ 301949998960374*c_0101_3*c_0101_6^11 - 32923503174726186970250607304832086477500283/1255883345710255341287\ 8603899997920748*c_0101_3*c_0101_6^10 + 26030809739426452198284003662406950382606845/1255883345710255341287\ 8603899997920748*c_0101_3*c_0101_6^9 + 11251502303265031584562971684567812544462359/1255883345710255341287\ 8603899997920748*c_0101_3*c_0101_6^8 - 19142304092757272374842253774107686938206906/3139708364275638353219\ 650974999480187*c_0101_3*c_0101_6^7 + 21969950838307490033751653143780810991914477/6279416728551276706439\ 301949998960374*c_0101_3*c_0101_6^6 + 19494689770487790218794577484956606514691269/1255883345710255341287\ 8603899997920748*c_0101_3*c_0101_6^5 - 3755286056519134471850713398291369726526054/31397083642756383532196\ 50974999480187*c_0101_3*c_0101_6^4 - 196744950570168407660993102208417652455577/125588334571025534128786\ 03899997920748*c_0101_3*c_0101_6^3 + 454199646538998456864442245644972640498663/125588334571025534128786\ 03899997920748*c_0101_3*c_0101_6^2 - 38040310031763301901358107452830493601647/6279416728551276706439301\ 949998960374*c_0101_3*c_0101_6 + 7901523918955888844074459020563077\ 6810513/12558833457102553412878603899997920748*c_0101_3, c_0011_0 - 1, c_0011_1 - 20143552577061516810485310162494/593517649201443923103903775\ 9923403*c_0101_6^17 - 347355129212172848714472155159804/59351764920\ 14439231039037759923403*c_0101_6^16 - 680526635941363557349734325865299/593517649201443923103903775992340\ 3*c_0101_6^15 - 4402503670301450443502280201080238/5935176492014439\ 231039037759923403*c_0101_6^14 - 5476501427193454168366512094602295\ 2/5935176492014439231039037759923403*c_0101_6^13 + 90927323715954672354028950296056778/5935176492014439231039037759923\ 403*c_0101_6^12 - 515445846613170789678490439228146762/593517649201\ 4439231039037759923403*c_0101_6^11 + 1138245888978350059045927683001800151/59351764920144392310390377599\ 23403*c_0101_6^10 - 781510783460399908251519429101517566/5935176492\ 014439231039037759923403*c_0101_6^9 + 828856244884093853068369660630397943/593517649201443923103903775992\ 3403*c_0101_6^8 + 386319077026591569433882376805250848/593517649201\ 4439231039037759923403*c_0101_6^7 - 2388632562112327082195369690833889604/59351764920144392310390377599\ 23403*c_0101_6^6 + 808746779941712270811418436532978663/59351764920\ 14439231039037759923403*c_0101_6^5 + 660409144084442422191809018687638686/593517649201443923103903775992\ 3403*c_0101_6^4 - 160592982439725455313702593069796793/593517649201\ 4439231039037759923403*c_0101_6^3 + 3016693302279286102004744201097995/59351764920144392310390377599234\ 03*c_0101_6^2 - 15358338474990514929025599472442693/593517649201443\ 9231039037759923403*c_0101_6 - 4754149952536895223728627526053073/5\ 935176492014439231039037759923403, c_0011_4 + 1340504832038782428879950890176735/5935176492014439231039037\ 759923403*c_0101_3*c_0101_6^17 + 2795727821668341276135819281407344\ /5935176492014439231039037759923403*c_0101_3*c_0101_6^16 + 339602879166813062591409808994201/593517649201443923103903775992340\ 3*c_0101_3*c_0101_6^15 + 280482181156906754087723130598265704/59351\ 76492014439231039037759923403*c_0101_3*c_0101_6^14 - 611154519560424023899724802437875789/593517649201443923103903775992\ 3403*c_0101_3*c_0101_6^13 + 2678013784647796499925618392066030233/5\ 935176492014439231039037759923403*c_0101_3*c_0101_6^12 - 5533432328031198995724468986148389656/59351764920144392310390377599\ 23403*c_0101_3*c_0101_6^11 + 4081752158681747443440110137191622367/\ 5935176492014439231039037759923403*c_0101_3*c_0101_6^10 - 3355558999590362998898024001124147089/59351764920144392310390377599\ 23403*c_0101_3*c_0101_6^9 - 2517198055483339112332001203264144639/5\ 935176492014439231039037759923403*c_0101_3*c_0101_6^8 + 11437303947332978526787495418263136811/5935176492014439231039037759\ 923403*c_0101_3*c_0101_6^7 - 4626333760787039540399110907847049679/\ 5935176492014439231039037759923403*c_0101_3*c_0101_6^6 - 3768302957664661147636931528280237095/59351764920144392310390377599\ 23403*c_0101_3*c_0101_6^5 + 1763501716136734533108505553338592985/5\ 935176492014439231039037759923403*c_0101_3*c_0101_6^4 + 312559967438243394552788741608154854/593517649201443923103903775992\ 3403*c_0101_3*c_0101_6^3 - 95939431529522707502430717392612834/5935\ 176492014439231039037759923403*c_0101_3*c_0101_6^2 - 8255766186334426753322570408581611/59351764920144392310390377599234\ 03*c_0101_3*c_0101_6 - 10317971595835149602706757066058934/59351764\ 92014439231039037759923403*c_0101_3, c_0101_1 - 671181071136683249801419915689240/59351764920144392310390377\ 59923403*c_0101_3*c_0101_6^17 - 986933840323141577724187697899362/5\ 935176492014439231039037759923403*c_0101_3*c_0101_6^16 + 923740499134580907718461508073072/593517649201443923103903775992340\ 3*c_0101_3*c_0101_6^15 - 139663017049092898316936512140762797/59351\ 76492014439231039037759923403*c_0101_3*c_0101_6^14 + 392979336650048916636510915435323947/593517649201443923103903775992\ 3403*c_0101_3*c_0101_6^13 - 1479939519413493158183285742342021073/5\ 935176492014439231039037759923403*c_0101_3*c_0101_6^12 + 3527759150530680944107838451347557427/59351764920144392310390377599\ 23403*c_0101_3*c_0101_6^11 - 3334095590984376814916290273646649968/\ 5935176492014439231039037759923403*c_0101_3*c_0101_6^10 + 2292365606331364064528871086798006569/59351764920144392310390377599\ 23403*c_0101_3*c_0101_6^9 + 458190490717174011804171253973906306/59\ 35176492014439231039037759923403*c_0101_3*c_0101_6^8 - 6985334669821842970143479167737207263/59351764920144392310390377599\ 23403*c_0101_3*c_0101_6^7 + 5139942441049399088382011937000185934/5\ 935176492014439231039037759923403*c_0101_3*c_0101_6^6 + 1802236531543804527841889214525593848/59351764920144392310390377599\ 23403*c_0101_3*c_0101_6^5 - 1737064712226362090549776239126283799/5\ 935176492014439231039037759923403*c_0101_3*c_0101_6^4 + 72324442130644288116850021000024221/5935176492014439231039037759923\ 403*c_0101_3*c_0101_6^3 + 16655110897783991301138271570666385/59351\ 76492014439231039037759923403*c_0101_3*c_0101_6^2 - 26992321546947150421493343931491601/5935176492014439231039037759923\ 403*c_0101_3*c_0101_6 + 19547401124800458578671658228673033/5935176\ 492014439231039037759923403*c_0101_3, c_0101_2 + 114718157590776418375917501053874/59351764920144392310390377\ 59923403*c_0101_6^17 + 339602879166813062591409808994201/5935176492\ 014439231039037759923403*c_0101_6^16 + 316671260801226451813394551328089/593517649201443923103903775992340\ 3*c_0101_6^15 + 24244770825958847389371919505896601/593517649201443\ 9231039037759923403*c_0101_6^14 - 311464809025827888407623569811512\ 02/5935176492014439231039037759923403*c_0101_6^13 + 199906838598673452595080971137505939/593517649201443923103903775992\ 3403*c_0101_6^12 - 297677127588954751710689421015770878/59351764920\ 14439231039037759923403*c_0101_6^11 + 73452360764842454176890375947941041/5935176492014439231039037759923\ 403*c_0101_6^10 - 208848734712555769800725770379806969/593517649201\ 4439231039037759923403*c_0101_6^9 - 395332205073353972935831089326903034/593517649201443923103903775992\ 3403*c_0101_6^8 + 668660325766151053676695108351053571/593517649201\ 4439231039037759923403*c_0101_6^7 + 211655888658483883707642664654489120/593517649201443923103903775992\ 3403*c_0101_6^6 - 144036659854452863187664563382900920/593517649201\ 4439231039037759923403*c_0101_6^5 - 39992803387956384242638342508326451/5935176492014439231039037759923\ 403*c_0101_6^4 - 45000247912048975204992583565896904/59351764920144\ 39231039037759923403*c_0101_6^3 - 691526135429564432444261951840487\ 6/5935176492014439231039037759923403*c_0101_6^2 - 4188604599500546973826236814391722/59351764920144392310390377599234\ 03*c_0101_6 + 1340504832038782428879950890176735/593517649201443923\ 1039037759923403, c_0101_3^2 - 108494906607921749360445661959829/593517649201443923103903\ 7759923403*c_0101_6^17 - 134959710374533948619345782363502/59351764\ 92014439231039037759923403*c_0101_6^16 + 207513682206245914130614356801896/593517649201443923103903775992340\ 3*c_0101_6^15 - 22549475592187898670577577854834002/593517649201443\ 9231039037759923403*c_0101_6^14 + 686784133633191079059380295760815\ 50/5935176492014439231039037759923403*c_0101_6^13 - 248991814177165232406175364630879376/593517649201443923103903775992\ 3403*c_0101_6^12 + 617428410288097540994773038876403855/59351764920\ 14439231039037759923403*c_0101_6^11 - 629807327721297254644170561189885840/593517649201443923103903775992\ 3403*c_0101_6^10 + 428425067575338018797912296730261583/59351764920\ 14439231039037759923403*c_0101_6^9 + 5296212626048062746930336889845657/59351764920144392310390377599234\ 03*c_0101_6^8 - 1176371010984943189743962319660169166/5935176492014\ 439231039037759923403*c_0101_6^7 + 1017699162444567429608779045574400049/59351764920144392310390377599\ 23403*c_0101_6^6 + 257559349770772249194607204026747298/59351764920\ 14439231039037759923403*c_0101_6^5 - 309077350837289951636467701711299213/593517649201443923103903775992\ 3403*c_0101_6^4 + 8725254923720738723077043997783360/59351764920144\ 39231039037759923403*c_0101_6^3 - 179393697635545239267100419455495\ 07/5935176492014439231039037759923403*c_0101_6^2 - 1346232005645515820634824750776724/59351764920144392310390377599234\ 03*c_0101_6 - 109848436274040428655829474822768/5935176492014439231\ 039037759923403, c_0101_6^18 + 2*c_0101_6^17 + 209*c_0101_6^15 - 474*c_0101_6^14 + 2021*c_0101_6^13 - 4277*c_0101_6^12 + 3267*c_0101_6^11 - 2558*c_0101_6^10 - 1722*c_0101_6^9 + 8827*c_0101_6^8 - 3950*c_0101_6^7 - 2969*c_0101_6^6 + 1423*c_0101_6^5 + 263*c_0101_6^4 - 38*c_0101_6^3 - c_0101_6^2 - 9*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB