Magma V2.19-8 Tue Aug 20 2013 16:16:03 on localhost [Seed = 1747580078] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0295 geometric_solution 4.33684109 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 0132 2310 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 0 0 0 0 0 0 1.541248567126 0.615723189743 0 1 0 1 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.089988650665 0.288297458576 0 3 4 0 3201 0132 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 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 0.984972179238 0.192019715094 4 2 4 5 2103 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.915237467587 0.620523049087 3 5 3 2 2031 0132 2103 0132 0 0 0 0 0 0 -1 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 0 0 0 1 0 -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.915237467587 0.620523049087 6 4 3 6 0132 0132 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.263487319633 0.281952217341 5 5 6 6 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.798221042530 1.185937158228 ==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' : d['1'], 's_3_2' : d['1'], 's_3_5' : 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' : 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_2']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_1001_2'], 'c_1001_4' : negation(d['c_0011_2']), 'c_1001_6' : d['c_0011_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0011_2']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : d['c_1001_2'], 'c_1010_3' : d['c_1001_2'], '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 194117229330198446835866347737559877466043/718755075211678871218250\ 61858396081371072*c_1001_2^19 + 21344289204953204027917950393942348\ 45039713/71875507521167887121825061858396081371072*c_1001_2^18 + 485310742229817744594575244801207638619705/718755075211678871218250\ 61858396081371072*c_1001_2^17 - 29467587043090650948461027479657796\ 252538707/35937753760583943560912530929198040685536*c_1001_2^16 - 1057171180117647337424352084231940457749527/42279710306569345365779\ 44815199769492416*c_1001_2^15 + 70987044184395660430803600355940061\ 484170499/8984438440145985890228132732299510171384*c_1001_2^14 + 67132236019188850500014098865253645980118655/7187550752116788712182\ 5061858396081371072*c_1001_2^13 - 270187942705540734753988572380993\ 4945227220703/71875507521167887121825061858396081371072*c_1001_2^12 + 78673982916927146867987318139124726908991587/71875507521167887121\ 825061858396081371072*c_1001_2^11 + 3612466763651051024012726114671651270818771583/35937753760583943560\ 912530929198040685536*c_1001_2^10 - 546678007665808520049437475218882386514151769/359377537605839435609\ 12530929198040685536*c_1001_2^9 - 115143078234916478746369228939759\ 12515735139363/71875507521167887121825061858396081371072*c_1001_2^8 + 2844690264018971719711844482953570112792769653/718755075211678871\ 21825061858396081371072*c_1001_2^7 + 10858329038891414602072774482642751589101492287/7187550752116788712\ 1825061858396081371072*c_1001_2^6 - 784043426640479163161743558687249831218823263/179688768802919717804\ 56265464599020342768*c_1001_2^5 - 556012145397980754781142020328297\ 5418563819175/71875507521167887121825061858396081371072*c_1001_2^4 + 1382853432804010874866225110523046959380577497/71875507521167887121\ 825061858396081371072*c_1001_2^3 + 311344302046959255158841897688219061705326871/179688768802919717804\ 56265464599020342768*c_1001_2^2 - 162726415338021107719369844392316\ 20820424483/8984438440145985890228132732299510171384*c_1001_2 - 71794055159661006543460409404034377460867619/7187550752116788712182\ 5061858396081371072, c_0011_0 - 1, c_0011_2 + 12898205094548416227429528792920770437/660620473540146021340\ 30387737496398319*c_1001_2^19 + 15330091509604580576482362246106461\ 0870/66062047354014602134030387737496398319*c_1001_2^18 + 173819991502207080476316619787127604425/660620473540146021340303877\ 37496398319*c_1001_2^17 - 3696679037592879201607655160883145820747/\ 66062047354014602134030387737496398319*c_1001_2^16 - 4373693163581486182279367440976575720500/66062047354014602134030387\ 737496398319*c_1001_2^15 + 3241956741929816683842049989439230985657\ 7/66062047354014602134030387737496398319*c_1001_2^14 + 30623397574827168517937101737991869978378/6606204735401460213403038\ 7737496398319*c_1001_2^13 - 140647307104133642704253046564565570288\ 784/66062047354014602134030387737496398319*c_1001_2^12 - 99839126777235295615536407085351747677452/6606204735401460213403038\ 7737496398319*c_1001_2^11 + 344478123673000598440457910219302560734\ 520/66062047354014602134030387737496398319*c_1001_2^10 + 162028413036245821617272725754473258844972/660620473540146021340303\ 87737496398319*c_1001_2^9 - 515358340905766746200822376411050886710\ 349/66062047354014602134030387737496398319*c_1001_2^8 - 132770818095375849532066743847577759798999/660620473540146021340303\ 87737496398319*c_1001_2^7 + 454647506546329998123431620039521859432\ 367/66062047354014602134030387737496398319*c_1001_2^6 + 44619288096153842729942632876588956250095/6606204735401460213403038\ 7737496398319*c_1001_2^5 - 2073203429739090615834041878817463702874\ 59/66062047354014602134030387737496398319*c_1001_2^4 + 2252300283524354859947687967365850598731/66062047354014602134030387\ 737496398319*c_1001_2^3 + 38039865948272151072018346027113716165314\ /66062047354014602134030387737496398319*c_1001_2^2 - 2018264933819587451332934668197770136792/66062047354014602134030387\ 737496398319*c_1001_2 - 2249115115061539513944525816008753854891/66\ 062047354014602134030387737496398319, c_0011_4 + 7168188965633732690717087316083497065/6606204735401460213403\ 0387737496398319*c_1001_2^19 + 852317682964087670901881500010339129\ 20/66062047354014602134030387737496398319*c_1001_2^18 + 97048760829525575251772265664787733977/6606204735401460213403038773\ 7496398319*c_1001_2^17 - 2053518606816840652801122110391366153486/6\ 6062047354014602134030387737496398319*c_1001_2^16 - 2439893514968540101019989457211695672174/66062047354014602134030387\ 737496398319*c_1001_2^15 + 1799580583045705714356648250009760527026\ 1/66062047354014602134030387737496398319*c_1001_2^14 + 17089751553261800215934200362414125525123/6606204735401460213403038\ 7737496398319*c_1001_2^13 - 780103850224221812007019487948306925543\ 64/66062047354014602134030387737496398319*c_1001_2^12 - 55747294641852563161787713358605620282819/6606204735401460213403038\ 7737496398319*c_1001_2^11 + 190931483557327741133389476478171208757\ 148/66062047354014602134030387737496398319*c_1001_2^10 + 90575118445242514966390211416700102194308/6606204735401460213403038\ 7737496398319*c_1001_2^9 - 2855715636841270077973037077638507802317\ 20/66062047354014602134030387737496398319*c_1001_2^8 - 74456212501438398931687658936298403531060/6606204735401460213403038\ 7737496398319*c_1001_2^7 + 2519647778770385440795227629778803894867\ 80/66062047354014602134030387737496398319*c_1001_2^6 + 25279539596598826689102292291853213992194/6606204735401460213403038\ 7737496398319*c_1001_2^5 - 1150077463644313110798985334845531871045\ 36/66062047354014602134030387737496398319*c_1001_2^4 + 1072571110098383790173950737820314263262/66062047354014602134030387\ 737496398319*c_1001_2^3 + 21251572445690038748940916221997820430075\ /66062047354014602134030387737496398319*c_1001_2^2 - 1022023257165748822482838518848001222751/66062047354014602134030387\ 737496398319*c_1001_2 - 1320902703137016966230849787111603641037/66\ 062047354014602134030387737496398319, c_0101_0 + 9039289007673664653017245757337784434/6606204735401460213403\ 0387737496398319*c_1001_2^19 + 107440115197997914176603271812944976\ 382/66062047354014602134030387737496398319*c_1001_2^18 + 122133084684782520091172492911790451689/660620473540146021340303877\ 37496398319*c_1001_2^17 - 2587556152832178605147899970202052981011/\ 66062047354014602134030387737496398319*c_1001_2^16 - 3063526717739517692220313120261658420996/66062047354014602134030387\ 737496398319*c_1001_2^15 + 2264487827726688989624394238740111824503\ 3/66062047354014602134030387737496398319*c_1001_2^14 + 21411770041031068779985574414400412536197/6606204735401460213403038\ 7737496398319*c_1001_2^13 - 979546132498435338186514959508314749605\ 48/66062047354014602134030387737496398319*c_1001_2^12 - 69683483864070459038984966034839954825393/6606204735401460213403038\ 7737496398319*c_1001_2^11 + 239089951297045029190928872832955582023\ 882/66062047354014602134030387737496398319*c_1001_2^10 + 112933486550710609702607762526032658219462/660620473540146021340303\ 87737496398319*c_1001_2^9 - 356571028858407745576083554239268501063\ 082/66062047354014602134030387737496398319*c_1001_2^8 - 92809412754886090851928332422579850236225/6606204735401460213403038\ 7737496398319*c_1001_2^7 + 3135890061241870140316658341190903565134\ 22/66062047354014602134030387737496398319*c_1001_2^6 + 31805940298716032055817179721165088394444/6606204735401460213403038\ 7737496398319*c_1001_2^5 - 1427967396076220044691578134242534986291\ 06/66062047354014602134030387737496398319*c_1001_2^4 + 1181623228248176034544204433817646117435/66062047354014602134030387\ 737496398319*c_1001_2^3 + 26417459985957070950848487863742205973125\ /66062047354014602134030387737496398319*c_1001_2^2 - 1458954286824652543025733667915591769552/66062047354014602134030387\ 737496398319*c_1001_2 - 1591340550930182929828253990951312990546/66\ 062047354014602134030387737496398319, c_0101_1 + 6458882649522151777930659837211540894/6606204735401460213403\ 0387737496398319*c_1001_2^19 + 764295224016676553911118881381040708\ 97/66062047354014602134030387737496398319*c_1001_2^18 + 83033247067882434984891581378356409242/6606204735401460213403038773\ 7496398319*c_1001_2^17 - 1855754337018703047328145641563704543462/6\ 6062047354014602134030387737496398319*c_1001_2^16 - 2094262698053630380439451928354477674803/66062047354014602134030387\ 737496398319*c_1001_2^15 + 1634743814698800051685069842463887020868\ 9/66062047354014602134030387737496398319*c_1001_2^14 + 14502053709495149453342653363618687387425/6606204735401460213403038\ 7737496398319*c_1001_2^13 - 711975819166722671804669577097739573757\ 50/66062047354014602134030387737496398319*c_1001_2^12 - 46422903561054015231253815500905493665813/6606204735401460213403038\ 7737496398319*c_1001_2^11 + 174857375601676300568003755085600063082\ 467/66062047354014602134030387737496398319*c_1001_2^10 + 72477422619507709479413454742223502896123/6606204735401460213403038\ 7737496398319*c_1001_2^9 - 2614154520875884023694100785517859512123\ 21/66062047354014602134030387737496398319*c_1001_2^8 - 53627229586817574529834146739777587603831/6606204735401460213403038\ 7737496398319*c_1001_2^7 + 2295192110695322058291093884184984959299\ 49/66062047354014602134030387737496398319*c_1001_2^6 + 11209661602210781097057757409020000105931/6606204735401460213403038\ 7737496398319*c_1001_2^5 - 1032762845555060254297784403750347285059\ 76/66062047354014602134030387737496398319*c_1001_2^4 + 5987258220287993150935110061102933754693/66062047354014602134030387\ 737496398319*c_1001_2^3 + 18094617189510216495409269721010150454638\ /66062047354014602134030387737496398319*c_1001_2^2 - 1750896586781805697150861611408581337904/66062047354014602134030387\ 737496398319*c_1001_2 - 943771892923163095765206826346182857971/660\ 62047354014602134030387737496398319, c_0101_6 + 14740649004892545712283952629837960314/660620473540146021340\ 30387737496398319*c_1001_2^19 + 17527398985701651919927058070070149\ 8525/66062047354014602134030387737496398319*c_1001_2^18 + 199572195006771874684608693968580267369/660620473540146021340303877\ 37496398319*c_1001_2^17 - 4223287592594657523671406154686300685924/\ 66062047354014602134030387737496398319*c_1001_2^16 - 5018988962410600558609015092638766600402/66062047354014602134030387\ 737496398319*c_1001_2^15 + 3701647003410775463385193877703622756159\ 4/66062047354014602134030387737496398319*c_1001_2^14 + 35165118533798341833817270312358034609780/6606204735401460213403038\ 7737496398319*c_1001_2^13 - 160499164855474238871306070439786577841\ 238/66062047354014602134030387737496398319*c_1001_2^12 - 114761208667215312368943472583667362152752/660620473540146021340303\ 87737496398319*c_1001_2^11 + 39290978868357442638810791715373867096\ 8774/66062047354014602134030387737496398319*c_1001_2^10 + 186609519692095770640029791091323556072998/660620473540146021340303\ 87737496398319*c_1001_2^9 - 587700977752202606123034832034467566808\ 537/66062047354014602134030387737496398319*c_1001_2^8 - 153647885656282948045759098617247440741720/660620473540146021340303\ 87737496398319*c_1001_2^7 + 518395663645920209211113912600789326839\ 297/66062047354014602134030387737496398319*c_1001_2^6 + 52451686376934878687819036368406529637159/6606204735401460213403038\ 7737496398319*c_1001_2^5 - 2363034535747159412384632711339475880794\ 51/66062047354014602134030387737496398319*c_1001_2^4 + 2042009170319190463512336076190761908931/66062047354014602134030387\ 737496398319*c_1001_2^3 + 43370051860414297277854723316526546306369\ /66062047354014602134030387737496398319*c_1001_2^2 - 2213910967581644759099606802665446742533/66062047354014602134030387\ 737496398319*c_1001_2 - 2599533800450283959067330304675294150292/66\ 062047354014602134030387737496398319, c_1001_2^20 + 11*c_1001_2^19 + 3*c_1001_2^18 - 298*c_1001_2^17 - 85*c_1001_2^16 + 2800*c_1001_2^15 + 141*c_1001_2^14 - 12885*c_1001_2^13 + 1953*c_1001_2^12 + 33042*c_1001_2^11 - 11142*c_1001_2^10 - 49865*c_1001_2^9 + 24983*c_1001_2^8 + 42709*c_1001_2^7 - 27356*c_1001_2^6 - 17893*c_1001_2^5 + 13987*c_1001_2^4 + 2364*c_1001_2^3 - 2600*c_1001_2^2 + 7*c_1001_2 + 136 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB