Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 1696921987] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0763 geometric_solution 4.70467156 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 1023 1023 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 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.809054860351 0.441029687964 0 3 3 0 0132 0132 3201 1023 0 0 0 0 0 -1 0 1 -1 0 1 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 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.087920501559 0.598799260577 2 0 0 2 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.697530801509 0.091179501766 1 1 4 5 2310 0132 0132 0132 0 0 0 0 0 1 -1 0 -1 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 -1 0 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.381140614118 0.536903466805 5 6 5 3 1230 0132 2031 0132 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 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.686908548800 0.789033246640 6 4 3 4 0132 3012 0132 1302 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 1 -1 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.686908548800 0.789033246640 5 4 6 6 0132 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.113834204078 0.982280852837 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : negation(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' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_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' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 275586193977912893044935793/37964714959977472620199208*c_0101_6^22 - 667167539534969196041774365/9491178739994368155049802*c_0101_6^21 + 5324709674210160493704289493/18982357479988736310099604*c_0101_6^20 + 30950845964247599076788180249/18982357479988736310099604*c_0101_6\ ^19 - 268006175183221301180705208761/37964714959977472620199208*c_0\ 101_6^18 - 84662177768377893246795320393/37964714959977472620199208\ *c_0101_6^17 + 361510290793546572845062905107/949117873999436815504\ 9802*c_0101_6^16 - 965796779949579183500931175027/37964714959977472\ 620199208*c_0101_6^15 - 336400275643223778589575962554/474558936999\ 7184077524901*c_0101_6^14 + 2265960869232856456894345311873/3796471\ 4959977472620199208*c_0101_6^13 + 3123588837904919102653465696713/3\ 7964714959977472620199208*c_0101_6^12 - 1166670657375495146464187574905/37964714959977472620199208*c_0101_6\ ^11 - 1085252081460487081548989079957/9491178739994368155049802*c_0\ 101_6^10 - 159811401715536253662152272071/1898235747998873631009960\ 4*c_0101_6^9 + 1228018496960480583644495682769/94911787399943681550\ 49802*c_0101_6^8 - 15176478906267773905170453996/474558936999718407\ 7524901*c_0101_6^7 - 705999612879573855953299568971/949117873999436\ 8155049802*c_0101_6^6 + 509443352833497018907903097687/379647149599\ 77472620199208*c_0101_6^5 + 686067270108980823786867878007/37964714\ 959977472620199208*c_0101_6^4 - 201888546713605158960316154903/3796\ 4714959977472620199208*c_0101_6^3 - 55401625380421760546940875971/37964714959977472620199208*c_0101_6^2 + 22018459719999717423898026857/37964714959977472620199208*c_0101_6 + 2320737722510118693726461251/37964714959977472620199208, c_0011_0 - 1, c_0011_4 - 1657503013810736352022746/4745589369997184077524901*c_0101_6\ ^22 - 15611005338752345622521525/4745589369997184077524901*c_0101_6\ ^21 + 69877062481525657167485259/4745589369997184077524901*c_0101_6\ ^20 + 368453953156288593229263691/4745589369997184077524901*c_0101_\ 6^19 - 1790920505826143891807221298/4745589369997184077524901*c_010\ 1_6^18 - 349107143567294781278734866/4745589369997184077524901*c_01\ 01_6^17 + 10825225407209896732802940967/4745589369997184077524901*c\ _0101_6^16 - 9816765262040768419863271145/4745589369997184077524901\ *c_0101_6^15 - 23531873735139586493177303097/4745589369997184077524\ 901*c_0101_6^14 + 36818858820624161345665082447/4745589369997184077\ 524901*c_0101_6^13 + 19718611170441505739315010825/4745589369997184\ 077524901*c_0101_6^12 - 55366459373479074821555556759/4745589369997\ 184077524901*c_0101_6^11 + 182080674847724126738097532/474558936999\ 7184077524901*c_0101_6^10 + 41518036651449981793396349127/474558936\ 9997184077524901*c_0101_6^9 - 10579210341644369818511924824/4745589\ 369997184077524901*c_0101_6^8 - 15587205466194499114853265863/47455\ 89369997184077524901*c_0101_6^7 + 6514215009798045214406586290/4745\ 589369997184077524901*c_0101_6^6 + 2537022558488279925080438438/4745589369997184077524901*c_0101_6^5 - 1538711038957594705266391874/4745589369997184077524901*c_0101_6^4 - 123912031774248508809130955/4745589369997184077524901*c_0101_6^3 + 136680133374486134255551038/4745589369997184077524901*c_0101_6^2 + 9650578161944901909591079/4745589369997184077524901*c_0101_6 - 4620955097653542073299254/4745589369997184077524901, c_0101_0 - 872894307823369666962810/4745589369997184077524901*c_0101_6^\ 22 - 7709237531624285637022200/4745589369997184077524901*c_0101_6^2\ 1 + 40735199949952582993300734/4745589369997184077524901*c_0101_6^2\ 0 + 164904036318449979399147752/4745589369997184077524901*c_0101_6^\ 19 - 1012782240687323387201159265/4745589369997184077524901*c_0101_\ 6^18 + 526383806352954647898103644/4745589369997184077524901*c_0101\ _6^17 + 4708575934384500177588205703/4745589369997184077524901*c_01\ 01_6^16 - 7703026617655615019589879059/4745589369997184077524901*c_\ 0101_6^15 - 4297391632867501076120836751/4745589369997184077524901*\ c_0101_6^14 + 16807973760884086913585763690/47455893699971840775249\ 01*c_0101_6^13 - 4720136494303582203548616301/474558936999718407752\ 4901*c_0101_6^12 - 12053712089406460268335304202/474558936999718407\ 7524901*c_0101_6^11 + 6971554740094231190712547573/4745589369997184\ 077524901*c_0101_6^10 + 1007523786685119663601560980/47455893699971\ 84077524901*c_0101_6^9 + 209653393884858909780712557/47455893699971\ 84077524901*c_0101_6^8 + 1101631156353529224604018365/4745589369997\ 184077524901*c_0101_6^7 - 2657636238076538970365874126/474558936999\ 7184077524901*c_0101_6^6 + 422930849269580533375862877/474558936999\ 7184077524901*c_0101_6^5 + 811004396209297791428095504/474558936999\ 7184077524901*c_0101_6^4 - 322058024860707853920977805/474558936999\ 7184077524901*c_0101_6^3 - 50297927309749645385901521/4745589369997\ 184077524901*c_0101_6^2 + 42496936189102878363185452/47455893699971\ 84077524901*c_0101_6 + 415645521105093607699398/4745589369997184077\ 524901, c_0101_1 + 5572767101696266310004914/4745589369997184077524901*c_0101_6\ ^22 + 44764732315161943222825480/4745589369997184077524901*c_0101_6\ ^21 - 305158015155781782717103797/4745589369997184077524901*c_0101_\ 6^20 - 893737277418819961000326631/4745589369997184077524901*c_0101\ _6^19 + 7596602456059944908620646716/4745589369997184077524901*c_01\ 01_6^18 - 7532447791381397412579218660/4745589369997184077524901*c_\ 0101_6^17 - 34552823264406396576656336672/4745589369997184077524901\ *c_0101_6^16 + 79118550032718542933875267271/4745589369997184077524\ 901*c_0101_6^15 + 19684813721427931054177570427/4745589369997184077\ 524901*c_0101_6^14 - 195328376425228700429720441010/474558936999718\ 4077524901*c_0101_6^13 + 101510369806463716093238877786/47455893699\ 97184077524901*c_0101_6^12 + 198820774913044296556107061116/4745589\ 369997184077524901*c_0101_6^11 - 192558487099213235588839999863/474\ 5589369997184077524901*c_0101_6^10 - 82173537909265389209944680628/4745589369997184077524901*c_0101_6^9 + 138211425481917503666223344404/4745589369997184077524901*c_0101_6^8 + 2410190424627412509471294010/4745589369997184077524901*c_0101_6^7 - 46559769468166595236516568313/4745589369997184077524901*c_0101_6^\ 6 + 7227925975546067396135474956/4745589369997184077524901*c_0101_6\ ^5 + 7491040745657365564365079883/4745589369997184077524901*c_0101_\ 6^4 - 1824973801438139028069398489/4745589369997184077524901*c_0101\ _6^3 - 587416280796950826948166633/4745589369997184077524901*c_0101\ _6^2 + 143438377192371356829935822/4745589369997184077524901*c_0101\ _6 + 28855001983643613799749305/4745589369997184077524901, c_0101_2 - 3026850196132242023806920/4745589369997184077524901*c_0101_6\ ^22 - 22991285787594922631191588/4745589369997184077524901*c_0101_6\ ^21 + 180394154880038855794200686/4745589369997184077524901*c_0101_\ 6^20 + 451009098842023397654146995/4745589369997184077524901*c_0101\ _6^19 - 4504471241621351037906893324/4745589369997184077524901*c_01\ 01_6^18 + 5016017325110903258504150460/4745589369997184077524901*c_\ 0101_6^17 + 21206893850401937064992522930/4745589369997184077524901\ *c_0101_6^16 - 50674168628258582136047341950/4745589369997184077524\ 901*c_0101_6^15 - 15811114115414135000498368069/4745589369997184077\ 524901*c_0101_6^14 + 133814300547497445294489500718/474558936999718\ 4077524901*c_0101_6^13 - 56349256793101991456604415699/474558936999\ 7184077524901*c_0101_6^12 - 157882680446257463008310194576/47455893\ 69997184077524901*c_0101_6^11 + 122342707079440972891182843956/4745\ 589369997184077524901*c_0101_6^10 + 92323976542670543427005297070/4745589369997184077524901*c_0101_6^9 - 99627200531629013578493991260/4745589369997184077524901*c_0101_6^8 - 24915643376265406359701401738/4745589369997184077524901*c_0101_6^7 + 40102443855789752240323337548/4745589369997184077524901*c_0101_6^6 + 1224799092709761365793249224/4745589369997184077524901*c_0101_6^5 - 8322412611123668177131354753/4745589369997184077524901*c_0101_6^4 + 796580863703857359680713049/4745589369997184077524901*c_0101_6^3 + 866172848955033272548168326/4745589369997184077524901*c_0101_6^2 - 116767338497157138873294461/4745589369997184077524901*c_0101_6 - 39843770235323566996274332/4745589369997184077524901, c_0101_4 - 2784032270228848634760136/4745589369997184077524901*c_0101_6\ ^22 - 25474346081959348396354988/4745589369997184077524901*c_0101_6\ ^21 + 123707492922252415420368064/4745589369997184077524901*c_0101_\ 6^20 + 581346273903766866385380550/4745589369997184077524901*c_0101\ _6^19 - 3140755101897383957857298411/4745589369997184077524901*c_01\ 01_6^18 + 348614854616012813402214829/4745589369997184077524901*c_0\ 101_6^17 + 17508282966586481950199247401/4745589369997184077524901*\ c_0101_6^16 - 20861911104650959251270334972/47455893699971840775249\ 01*c_0101_6^15 - 31205123828139538857315632849/47455893699971840775\ 24901*c_0101_6^14 + 65575345655130972339077087274/47455893699971840\ 77524901*c_0101_6^13 + 13027909325375604400231894445/47455893699971\ 84077524901*c_0101_6^12 - 85692845965142792595615968417/47455893699\ 97184077524901*c_0101_6^11 + 19849318041547665692251469360/47455893\ 69997184077524901*c_0101_6^10 + 54939938506990819097286151173/47455\ 89369997184077524901*c_0101_6^9 - 25594883205291670833740097847/474\ 5589369997184077524901*c_0101_6^8 - 16540517609264416897266841365/4745589369997184077524901*c_0101_6^7 + 11540917532747305926853807593/4745589369997184077524901*c_0101_6^6 + 1522453275429615843743655141/4745589369997184077524901*c_0101_6^5 - 2290185772370133481498578483/4745589369997184077524901*c_0101_6^4 + 165942228288065694845806200/4745589369997184077524901*c_0101_6^3 + 189782960975182524975347773/4745589369997184077524901*c_0101_6^2 - 18329554963417540135043188/4745589369997184077524901*c_0101_6 - 7307473414376106874437962/4745589369997184077524901, c_0101_6^23 + 9*c_0101_6^22 - 46*c_0101_6^21 - 204*c_0101_6^20 + 1167*c_0101_6^19 - 250*c_0101_6^18 - 6463*c_0101_6^17 + 8343*c_0101_6^16 + 11287*c_0101_6^15 - 25993*c_0101_6^14 - 4022*c_0101_6^13 + 34708*c_0101_6^12 - 8463*c_0101_6^11 - 23846*c_0101_6^10 + 10418*c_0101_6^9 + 8772*c_0101_6^8 - 4884*c_0101_6^7 - 1683*c_0101_6^6 + 1134*c_0101_6^5 + 156*c_0101_6^4 - 138*c_0101_6^3 - 10*c_0101_6^2 + 8*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB