Magma V2.19-8 Tue Aug 20 2013 16:17:23 on localhost [Seed = 3667609111] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1613 geometric_solution 5.37076920 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 -1 1 -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 -1 1 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.108228850082 1.164160651611 0 2 4 3 0132 3012 0132 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 -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.727490348429 0.850709503890 1 0 3 4 1230 0132 3201 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.727490348429 0.850709503890 2 5 1 5 2310 0132 0132 1023 0 0 0 0 0 0 -1 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.718203830934 0.371012083433 6 2 6 1 0132 2310 1023 0132 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 0 0 0 0 0 0 0 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.179967155398 1.269892231730 5 3 5 3 2031 0132 1302 1023 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 1 -1 -1 0 1 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.599321811730 0.112839309112 4 6 4 6 0132 1302 1023 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 0.462498340366 0.226974662707 ==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' : negation(d['1']), 's_2_0' : negation(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' : negation(d['1']), 's_1_1' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], '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_3'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(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_2']), 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 230932174715965355301404396709188797193557511379/357951779200162152\ 9272220334822140002803350416*c_0110_5^21 + 303676636757337647877683135103016176780409616825/894879448000405382\ 318055083705535000700837604*c_0110_5^20 - 49785967176020367357128476689444501569892738577/1789758896000810764\ 636110167411070001401675208*c_0110_5^19 - 605291791361525394360897817533236419310923400698/223719862000101345\ 579513770926383750175209401*c_0110_5^18 - 14230647412230785798819203573509281270021980050931/3579517792001621\ 529272220334822140002803350416*c_0110_5^17 + 4778113790428522798776208196345870342552434198309/17897588960008107\ 64636110167411070001401675208*c_0110_5^16 + 39875504507311028622916487610115300636265493431307/3579517792001621\ 529272220334822140002803350416*c_0110_5^15 + 33668016678886930788112561901583587659823386967027/3579517792001621\ 529272220334822140002803350416*c_0110_5^14 + 251409523273212790132718698005294222213264386819/223719862000101345\ 579513770926383750175209401*c_0110_5^13 + 9494365199109383984304965479823233400759801598105/35795177920016215\ 29272220334822140002803350416*c_0110_5^12 + 3987100327743729060524153653044905372160029501671/17897588960008107\ 64636110167411070001401675208*c_0110_5^11 - 2323284499243298484243993789923443625702510215044/22371986200010134\ 5579513770926383750175209401*c_0110_5^10 - 9484297304412334877422596737630945173043589349787/35795177920016215\ 29272220334822140002803350416*c_0110_5^9 - 8424442412549257602493413377966826783983165073849/35795177920016215\ 29272220334822140002803350416*c_0110_5^8 - 40820547789034532572987678231568727590158965884621/3579517792001621\ 529272220334822140002803350416*c_0110_5^7 + 5511699683081475732874637394446022799075971822581/35795177920016215\ 29272220334822140002803350416*c_0110_5^6 - 745924440183709373593545441943935331063414356435/894879448000405382\ 318055083705535000700837604*c_0110_5^5 + 762106028758096940821210453412789883362353819261/357951779200162152\ 9272220334822140002803350416*c_0110_5^4 + 538417719691471529582416103102467861404462528993/447439724000202691\ 159027541852767500350418802*c_0110_5^3 + 1325746247129702138968296079154116112616447223187/35795177920016215\ 29272220334822140002803350416*c_0110_5^2 + 47563627764244439275116307771816552677687915130/2237198620001013455\ 79513770926383750175209401*c_0110_5 + 115197156418605562008133479079202471836851510341/178975889600081076\ 4636110167411070001401675208, c_0011_0 - 1, c_0011_3 + 329354906310112035452621696524588547148817698/22371986200010\ 1345579513770926383750175209401*c_0110_5^21 + 3394663757845642332195377738154755015318069409/44743972400020269115\ 9027541852767500350418802*c_0110_5^20 - 300870765090737990331927308165115705725587208/223719862000101345579\ 513770926383750175209401*c_0110_5^19 - 13690314162844289103861271746599124217628584048/2237198620001013455\ 79513770926383750175209401*c_0110_5^18 - 18964352148174279917232221176175741106519999238/2237198620001013455\ 79513770926383750175209401*c_0110_5^17 + 29659163465267003865960623296926806275418029421/4474397240002026911\ 59027541852767500350418802*c_0110_5^16 + 55011467684204660913394424364926970986372095318/2237198620001013455\ 79513770926383750175209401*c_0110_5^15 + 87866382529351548436688103237801138603816686305/4474397240002026911\ 59027541852767500350418802*c_0110_5^14 + 5356057950573295737596290137227924308370962975/44743972400020269115\ 9027541852767500350418802*c_0110_5^13 + 12652505829133106378821896810291186304129971301/2237198620001013455\ 79513770926383750175209401*c_0110_5^12 + 19367338442335273261947626972402890542759159111/4474397240002026911\ 59027541852767500350418802*c_0110_5^11 - 50847212154314340418641734696048323526453440780/2237198620001013455\ 79513770926383750175209401*c_0110_5^10 - 7955253144600862783991140339148255092991626531/22371986200010134557\ 9513770926383750175209401*c_0110_5^9 - 30099582983803179984774572793019245834909026279/4474397240002026911\ 59027541852767500350418802*c_0110_5^8 - 105471705744820514992418788599083285414758458045/447439724000202691\ 159027541852767500350418802*c_0110_5^7 + 22435941360031472132334960202515051255432906509/4474397240002026911\ 59027541852767500350418802*c_0110_5^6 - 17953203208817948922060621302581183852114473361/4474397240002026911\ 59027541852767500350418802*c_0110_5^5 + 6566069263562720103496817607366558078108125017/22371986200010134557\ 9513770926383750175209401*c_0110_5^4 + 2984444452374273896704502805732879340060958229/44743972400020269115\ 9027541852767500350418802*c_0110_5^3 + 2653206200113582248227561621334287528464980472/22371986200010134557\ 9513770926383750175209401*c_0110_5^2 + 1216461177913668518947602231594095465676927335/44743972400020269115\ 9027541852767500350418802*c_0110_5 + 199649208190789505113117841768827952782270608/223719862000101345579\ 513770926383750175209401, c_0101_0 + 99566774295540452639646257671340369637931917/223719862000101\ 345579513770926383750175209401*c_0110_5^21 + 617406028174320495233328650190970709464906906/223719862000101345579\ 513770926383750175209401*c_0110_5^20 + 403483827944289143197353088520172253373963846/223719862000101345579\ 513770926383750175209401*c_0110_5^19 - 4455611832615958819787844560148468528285905999/22371986200010134557\ 9513770926383750175209401*c_0110_5^18 - 10021079425090123853917260100642523590985029857/2237198620001013455\ 79513770926383750175209401*c_0110_5^17 + 298445888380598485668601357209358589888393373/223719862000101345579\ 513770926383750175209401*c_0110_5^16 + 23763764927389408266582393237049663480793968165/2237198620001013455\ 79513770926383750175209401*c_0110_5^15 + 28461797226187166320249707535512718801633320043/2237198620001013455\ 79513770926383750175209401*c_0110_5^14 + 7343557074501773435835442961699758916016124026/22371986200010134557\ 9513770926383750175209401*c_0110_5^13 - 421805916601812752252251736229035480018093244/223719862000101345579\ 513770926383750175209401*c_0110_5^12 + 7652628359960709751999302225907398265591018106/22371986200010134557\ 9513770926383750175209401*c_0110_5^11 - 13776496143319271993441849793894306581182532142/2237198620001013455\ 79513770926383750175209401*c_0110_5^10 - 20587755443430016964969822935372935511209790057/2237198620001013455\ 79513770926383750175209401*c_0110_5^9 - 593235202026576565217359781930425259099453022/223719862000101345579\ 513770926383750175209401*c_0110_5^8 - 19898487245816190309329110491206857225280457936/2237198620001013455\ 79513770926383750175209401*c_0110_5^7 - 12237543506593357324583155124594686495820012205/2237198620001013455\ 79513770926383750175209401*c_0110_5^6 + 8294073619724207330036827173493140071136516479/22371986200010134557\ 9513770926383750175209401*c_0110_5^5 - 2719821727786516141457860596822598621383121505/22371986200010134557\ 9513770926383750175209401*c_0110_5^4 + 3171630650838988384842483355519470027345518193/22371986200010134557\ 9513770926383750175209401*c_0110_5^3 + 1292378233273239641495510776219110696956827454/22371986200010134557\ 9513770926383750175209401*c_0110_5^2 + 776129275873420017807886678215282940730533406/223719862000101345579\ 513770926383750175209401*c_0110_5 + 207273865693303339777582674190738681254776872/223719862000101345579\ 513770926383750175209401, c_0101_1 - 208548638896400612176861103998249166856126429/22371986200010\ 1345579513770926383750175209401*c_0110_5^21 - 1189986663581552309162101504137488433026757224/22371986200010134557\ 9513770926383750175209401*c_0110_5^20 - 404655136186433815958211925636113494378383137/223719862000101345579\ 513770926383750175209401*c_0110_5^19 + 8780262624004707074184605460568297379187990690/22371986200010134557\ 9513770926383750175209401*c_0110_5^18 + 16876096881681723081642796519692517593502195013/2237198620001013455\ 79513770926383750175209401*c_0110_5^17 - 2660949412158756836409272036038794217279367622/22371986200010134557\ 9513770926383750175209401*c_0110_5^16 - 40484411414163609907590352420391202796074318067/2237198620001013455\ 79513770926383750175209401*c_0110_5^15 - 48274116510470995902019109010390475331992329234/2237198620001013455\ 79513770926383750175209401*c_0110_5^14 - 17354127378899386979253450329850607722235264231/2237198620001013455\ 79513770926383750175209401*c_0110_5^13 - 6636054664150390735846830660003251429237896620/22371986200010134557\ 9513770926383750175209401*c_0110_5^12 - 7063139608934174392885174680769006829085781808/22371986200010134557\ 9513770926383750175209401*c_0110_5^11 + 30486966662585156557766283452417841659004015414/2237198620001013455\ 79513770926383750175209401*c_0110_5^10 + 23458073712520973645273884213800579370027654659/2237198620001013455\ 79513770926383750175209401*c_0110_5^9 + 13139076369748438891450784332951224733719695231/2237198620001013455\ 79513770926383750175209401*c_0110_5^8 + 37245350286949804599784552957247871831868958854/2237198620001013455\ 79513770926383750175209401*c_0110_5^7 + 10005928666813593778952085243123459497619875508/2237198620001013455\ 79513770926383750175209401*c_0110_5^6 + 829644714593566669904425584492283139333357685/223719862000101345579\ 513770926383750175209401*c_0110_5^5 - 3121999754212182882626284010702989147526183444/22371986200010134557\ 9513770926383750175209401*c_0110_5^4 - 4168949618316474487638609013231528517020288731/22371986200010134557\ 9513770926383750175209401*c_0110_5^3 - 3008096557970263888190492671465011169710379722/22371986200010134557\ 9513770926383750175209401*c_0110_5^2 - 1020387958465085410153924369604959749974366248/22371986200010134557\ 9513770926383750175209401*c_0110_5 - 415772751513923171005583405926253731143004193/223719862000101345579\ 513770926383750175209401, c_0101_2 + 364170561452718251886463261993628488277750271/22371986200010\ 1345579513770926383750175209401*c_0110_5^21 + 3609687981529075659176488345555184323467905751/44743972400020269115\ 9027541852767500350418802*c_0110_5^20 - 690338892666167584582288725374066666434766407/223719862000101345579\ 513770926383750175209401*c_0110_5^19 - 15017706284001149520076593496970596530991800261/2237198620001013455\ 79513770926383750175209401*c_0110_5^18 - 18052406277366049768948234879252613216948614320/2237198620001013455\ 79513770926383750175209401*c_0110_5^17 + 40051120685875431245348541315822458090904645071/4474397240002026911\ 59027541852767500350418802*c_0110_5^16 + 57345666421513024514407720719789510265811238647/2237198620001013455\ 79513770926383750175209401*c_0110_5^15 + 75551300321201405734867910778302055825457745053/4474397240002026911\ 59027541852767500350418802*c_0110_5^14 - 10209625474825986042336274129661337386620444221/4474397240002026911\ 59027541852767500350418802*c_0110_5^13 + 13032457530615199247130297072801625964234719181/2237198620001013455\ 79513770926383750175209401*c_0110_5^12 + 13175118010264789673543195062248506812521375805/4474397240002026911\ 59027541852767500350418802*c_0110_5^11 - 57450793345380251478677548587434358932271404584/2237198620001013455\ 79513770926383750175209401*c_0110_5^10 + 2702435379399645743003569810161938931205989104/22371986200010134557\ 9513770926383750175209401*c_0110_5^9 - 33777356289974536184731635046974529548340826651/4474397240002026911\ 59027541852767500350418802*c_0110_5^8 - 107591074401470677594120632712581121431192746793/447439724000202691\ 159027541852767500350418802*c_0110_5^7 + 47747648056921116990662311043325503529431518361/4474397240002026911\ 59027541852767500350418802*c_0110_5^6 - 28760982232235564797796383048660197011738296101/4474397240002026911\ 59027541852767500350418802*c_0110_5^5 + 10458635560331340373899004507749277170866177886/2237198620001013455\ 79513770926383750175209401*c_0110_5^4 + 649566890069308635341539940278472888928017937/447439724000202691159\ 027541852767500350418802*c_0110_5^3 + 2030651651666018369744154631151435219814453156/22371986200010134557\ 9513770926383750175209401*c_0110_5^2 + 748412436752530759510059033948302750549074267/447439724000202691159\ 027541852767500350418802*c_0110_5 + 2857523168025031297344448950260724143413952/22371986200010134557951\ 3770926383750175209401, c_0101_4 - 395655923192336384281609572639136486022890329/89487944800040\ 5382318055083705535000700837604*c_0110_5^21 - 645866536987524112912720023980308554501301605/223719862000101345579\ 513770926383750175209401*c_0110_5^20 - 566395713585567579964770329649445439615927711/223719862000101345579\ 513770926383750175209401*c_0110_5^19 + 4455325222281814703522569418633129831706111247/22371986200010134557\ 9513770926383750175209401*c_0110_5^18 + 45020017369419137090029125907812662196952113133/8948794480004053823\ 18055083705535000700837604*c_0110_5^17 + 3082154087556429561640878022648361890042284077/44743972400020269115\ 9027541852767500350418802*c_0110_5^16 - 98885377812852448632374244768216049016306968763/8948794480004053823\ 18055083705535000700837604*c_0110_5^15 - 133145929752077680652443638825313915796649333993/894879448000405382\ 318055083705535000700837604*c_0110_5^14 - 24648351981020658309090581619447656548222564721/4474397240002026911\ 59027541852767500350418802*c_0110_5^13 - 4612210278468070910541095858135096554704614513/89487944800040538231\ 8055083705535000700837604*c_0110_5^12 - 17567483228743142166142136071101390105021159431/4474397240002026911\ 59027541852767500350418802*c_0110_5^11 + 28186748266856997130597745635122814706977757195/4474397240002026911\ 59027541852767500350418802*c_0110_5^10 + 99812256031940444078908069416144294614446427809/8948794480004053823\ 18055083705535000700837604*c_0110_5^9 + 957818587754707489434948333750493347385876775/894879448000405382318\ 055083705535000700837604*c_0110_5^8 + 92073857565008997331370418912815830386708402957/8948794480004053823\ 18055083705535000700837604*c_0110_5^7 + 66848133157450900622034238921203724736500419083/8948794480004053823\ 18055083705535000700837604*c_0110_5^6 - 18916632150757044784462553793421243981230110739/4474397240002026911\ 59027541852767500350418802*c_0110_5^5 + 21496219765163040136584539507345579979548121011/8948794480004053823\ 18055083705535000700837604*c_0110_5^4 - 5505566078276395031880070287845391694643815145/22371986200010134557\ 9513770926383750175209401*c_0110_5^3 - 2979742863895773879490330963069887932731185563/89487944800040538231\ 8055083705535000700837604*c_0110_5^2 - 1052577660212748078846174338905273221779550646/22371986200010134557\ 9513770926383750175209401*c_0110_5 - 89266189974851651024894190398546511179739517/2237198620001013455795\ 13770926383750175209401, c_0110_5^22 + 110/21*c_0110_5^21 - 8/21*c_0110_5^20 - 288/7*c_0110_5^19 - 1285/21*c_0110_5^18 + 36*c_0110_5^17 + 3467/21*c_0110_5^16 + 1069/7*c_0110_5^15 + 788/21*c_0110_5^14 + 363/7*c_0110_5^13 + 88/3*c_0110_5^12 - 458/3*c_0110_5^11 - 247/7*c_0110_5^10 - 1333/21*c_0110_5^9 - 505/3*c_0110_5^8 + 415/21*c_0110_5^7 - 824/21*c_0110_5^6 + 437/21*c_0110_5^5 + 190/21*c_0110_5^4 + 65/7*c_0110_5^3 + 94/21*c_0110_5^2 + 8/7*c_0110_5 + 8/21 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB