Magma V2.19-8 Tue Aug 20 2013 16:18:45 on localhost [Seed = 812756292] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2912 geometric_solution 6.11468437 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0.750103496153 1.573166996312 0 5 5 6 0132 0132 1023 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 -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.368220730444 0.316579334072 6 0 2 2 3201 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 -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.142377749113 0.574575873393 6 3 3 0 0132 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.228543355868 0.462484420912 4 6 0 4 3201 0132 0132 2310 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 -1 1 0 1 0 0 -1 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.687983364607 0.873934076277 5 1 1 5 3201 0132 1023 2310 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 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 1.230298683868 0.919161247393 3 4 1 2 0132 0132 0132 2310 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 -1 0 0 0 0 0 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.750103496153 1.573166996312 ==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' : negation(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' : negation(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_0']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_2']), '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_0'], '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_0101_1'], 'c_1001_4' : negation(d['c_0110_2']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : negation(d['c_0110_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0110_2'])})} 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_5, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 218765580108110627550423896577714454684334/219690016044712518735756\ 71367575543467*c_0110_2^17 - 13966617194207407215736968884002317262\ 18327/21969001604471251873575671367575543467*c_0110_2^16 + 3381968494822922098409736518853709136022047/21969001604471251873575\ 671367575543467*c_0110_2^15 + 2622733822011176284159131561712127407\ 0353571/21969001604471251873575671367575543467*c_0110_2^14 - 6115852377740160727797785734792200093778105/43938003208942503747151\ 342735151086934*c_0110_2^13 - 7977735920291547033610113299246510344\ 5237051/21969001604471251873575671367575543467*c_0110_2^12 - 115126731259708180701944660893137221835761361/439380032089425037471\ 51342735151086934*c_0110_2^11 - 42281041393996373998810728006217904\ 845349268/21969001604471251873575671367575543467*c_0110_2^10 + 594368403295835291959872803306180758310585/219690016044712518735756\ 71367575543467*c_0110_2^9 + 508174892870108557317083761755603193983\ 42870/21969001604471251873575671367575543467*c_0110_2^8 + 86309424234944575295116698750849075252748501/4393800320894250374715\ 1342735151086934*c_0110_2^7 + 3710559891826276921103064765277538227\ 9689308/21969001604471251873575671367575543467*c_0110_2^6 + 32674988229024253667310578838566177618607841/4393800320894250374715\ 1342735151086934*c_0110_2^5 + 1978193251533351726617968287324509018\ 310535/43938003208942503747151342735151086934*c_0110_2^4 - 515317561971844400955755638117545752759511/439380032089425037471513\ 42735151086934*c_0110_2^3 - 173981408161201867700823336004351601510\ 2224/21969001604471251873575671367575543467*c_0110_2^2 - 1696154299570735492987548362394946046258853/43938003208942503747151\ 342735151086934*c_0110_2 - 9496410585209827447019372552643878617674\ 2/21969001604471251873575671367575543467, c_0011_0 - 1, c_0011_3 - 285552018234040352059839970432076876/54500128019030642206836\ 19788532757*c_0110_2^17 - 1551736275128056699809521707269326940/545\ 0012801903064220683619788532757*c_0110_2^16 + 5939456058836725300059677584153879830/54500128019030642206836197885\ 32757*c_0110_2^15 + 28871296805866357166376731158188767390/54500128\ 01903064220683619788532757*c_0110_2^14 - 32450001903994640557428342594227739921/5450012801903064220683619788\ 532757*c_0110_2^13 - 78525492552318369079022670804939489645/5450012\ 801903064220683619788532757*c_0110_2^12 + 4733301084560546352314540211502709183/54500128019030642206836197885\ 32757*c_0110_2^11 - 45211049647825896975678943672150715607/54500128\ 01903064220683619788532757*c_0110_2^10 + 44239057926650852671360738729147051136/5450012801903064220683619788\ 532757*c_0110_2^9 + 32253677800238410344675501788949537563/54500128\ 01903064220683619788532757*c_0110_2^8 + 18673193703946759615563311785253525536/5450012801903064220683619788\ 532757*c_0110_2^7 + 24377624339064310482039283471496372654/54500128\ 01903064220683619788532757*c_0110_2^6 - 5705068925354115232373494996889539327/54500128019030642206836197885\ 32757*c_0110_2^5 + 2051365819655295359645337156525182829/5450012801\ 903064220683619788532757*c_0110_2^4 - 1764477553444775300645740263276062827/54500128019030642206836197885\ 32757*c_0110_2^3 - 939113879217774873506505680575107004/54500128019\ 03064220683619788532757*c_0110_2^2 + 40544793089162258700120672231120763/5450012801903064220683619788532\ 757*c_0110_2 + 16472477501588889700281450459952400/5450012801903064\ 220683619788532757, c_0101_0 + 1108129314367572432310037623334680190/5450012801903064220683\ 619788532757*c_0110_2^17 + 6091732315002947796383664807029964460/54\ 50012801903064220683619788532757*c_0110_2^16 - 22679919984944101853795131917917541069/5450012801903064220683619788\ 532757*c_0110_2^15 - 113557724403506312543524165062369953260/545001\ 2801903064220683619788532757*c_0110_2^14 + 119075655974669756034782173191106675580/545001280190306422068361978\ 8532757*c_0110_2^13 + 313854791285177687911725198924166846448/54500\ 12801903064220683619788532757*c_0110_2^12 - 215608113512002614451037357778361576/545001280190306422068361978853\ 2757*c_0110_2^11 + 170947814792433160843030571596189189411/54500128\ 01903064220683619788532757*c_0110_2^10 - 161012888965131724332916754756951954624/545001280190306422068361978\ 8532757*c_0110_2^9 - 137524190139246333742557625668838245461/545001\ 2801903064220683619788532757*c_0110_2^8 - 78458256452281142266936770125358286785/5450012801903064220683619788\ 532757*c_0110_2^7 - 97596001264639360765979905986540769364/54500128\ 01903064220683619788532757*c_0110_2^6 + 17063029424561195519231261000255010318/5450012801903064220683619788\ 532757*c_0110_2^5 - 5701853406801293709312360587414349116/545001280\ 1903064220683619788532757*c_0110_2^4 + 6066166205965683093849467473625875069/54500128019030642206836197885\ 32757*c_0110_2^3 + 4077821213528307013574013970184654454/5450012801\ 903064220683619788532757*c_0110_2^2 - 23656750992265851518547815539791313/5450012801903064220683619788532\ 757*c_0110_2 - 87122056253393799834161736478458531/5450012801903064\ 220683619788532757, c_0101_1 - 286655381013597299246078352722411894/54500128019030642206836\ 19788532757*c_0110_2^17 - 1565939160746477411350246578343010126/545\ 0012801903064220683619788532757*c_0110_2^16 + 5917911394177062885646824615773825996/54500128019030642206836197885\ 32757*c_0110_2^15 + 29155583885945916328233216207427007299/54500128\ 01903064220683619788532757*c_0110_2^14 - 31739400391209207586640956572447062054/5450012801903064220683619788\ 532757*c_0110_2^13 - 79800687858655520982756953148907776955/5450012\ 801903064220683619788532757*c_0110_2^12 + 2346501931994878257109948289415284508/54500128019030642206836197885\ 32757*c_0110_2^11 - 45087511372900519859697030759465276283/54500128\ 01903064220683619788532757*c_0110_2^10 + 43626318534012011902250933041851111030/5450012801903064220683619788\ 532757*c_0110_2^9 + 33718508964344373553465556552878811766/54500128\ 01903064220683619788532757*c_0110_2^8 + 19660076943479340029576574939726238962/5450012801903064220683619788\ 532757*c_0110_2^7 + 24774576321447712269029339988043534228/54500128\ 01903064220683619788532757*c_0110_2^6 - 5274444221602074429593797627495261073/54500128019030642206836197885\ 32757*c_0110_2^5 + 1824712486792932010306855960630602132/5450012801\ 903064220683619788532757*c_0110_2^4 - 1754778368647648479193404993638778393/54500128019030642206836197885\ 32757*c_0110_2^3 - 953146071431815437048089619585351078/54500128019\ 03064220683619788532757*c_0110_2^2 + 36215603670632018399135663365424362/5450012801903064220683619788532\ 757*c_0110_2 + 16924739206540232273939196802792292/5450012801903064\ 220683619788532757, c_0101_2 + 664511130276858824791/7401224360063960551*c_0110_2^17 + 3652294355486434594910/7401224360063960551*c_0110_2^16 - 13600519109097645501056/7401224360063960551*c_0110_2^15 - 68061158026176135891475/7401224360063960551*c_0110_2^14 + 71395241082440637077166/7401224360063960551*c_0110_2^13 + 187736399439009197586795/7401224360063960551*c_0110_2^12 + 178442182867957563121/7401224360063960551*c_0110_2^11 + 103639588616619572864845/7401224360063960551*c_0110_2^10 - 96942372446171639753133/7401224360063960551*c_0110_2^9 - 82041504747571041788466/7401224360063960551*c_0110_2^8 - 47687646457255679647844/7401224360063960551*c_0110_2^7 - 58851229761289372761498/7401224360063960551*c_0110_2^6 + 10216801556104448697147/7401224360063960551*c_0110_2^5 - 3594290775527720014279/7401224360063960551*c_0110_2^4 + 3800823660564394234205/7401224360063960551*c_0110_2^3 + 2430937258998618515123/7401224360063960551*c_0110_2^2 - 8631698632449979542/7401224360063960551*c_0110_2 - 56454391315829474069/7401224360063960551, c_0101_5 + 914857099519340074383161777604459980/54500128019030642206836\ 19788532757*c_0110_2^17 + 5017232713896046825261615228648454254/545\ 0012801903064220683619788532757*c_0110_2^16 - 18784894940779193660367450377171265690/5450012801903064220683619788\ 532757*c_0110_2^15 - 93476555210222229304514389893326189623/5450012\ 801903064220683619788532757*c_0110_2^14 + 99422939158510941810514388827895763687/5450012801903064220683619788\ 532757*c_0110_2^13 + 257274590360315711951591316099015645476/545001\ 2801903064220683619788532757*c_0110_2^12 - 2904202149120027229407044443615009518/54500128019030642206836197885\ 32757*c_0110_2^11 + 142704005878027883016426089627084419638/5450012\ 801903064220683619788532757*c_0110_2^10 - 135080422553435100058509611791884720458/545001280190306422068361978\ 8532757*c_0110_2^9 - 111308394782840809654029183384256205565/545001\ 2801903064220683619788532757*c_0110_2^8 - 64224883406266073185763006290224025493/5450012801903064220683619788\ 532757*c_0110_2^7 - 80270534904866302694018529725831347366/54500128\ 01903064220683619788532757*c_0110_2^6 + 14992865459833414115181629047339135378/5450012801903064220683619788\ 532757*c_0110_2^5 - 5143700690379842335941075698564257884/545001280\ 1903064220683619788532757*c_0110_2^4 + 5261264337139883716641418677828442455/54500128019030642206836197885\ 32757*c_0110_2^3 + 3272968018332131608264624826544412122/5450012801\ 903064220683619788532757*c_0110_2^2 - 54970191901177410997294022412209267/5450012801903064220683619788532\ 757*c_0110_2 - 75280172325741383449200529441270510/5450012801903064\ 220683619788532757, c_0110_2^18 + 106/17*c_0110_2^17 - 279/17*c_0110_2^16 - 1999/17*c_0110_2^15 + 542/17*c_0110_2^14 + 6165/17*c_0110_2^13 + 3542/17*c_0110_2^12 + 2620/17*c_0110_2^11 - 522/17*c_0110_2^10 - 3948/17*c_0110_2^9 - 2753/17*c_0110_2^8 - 2391/17*c_0110_2^7 - 843/17*c_0110_2^6 + 111/17*c_0110_2^5 + 27/17*c_0110_2^4 + 134/17*c_0110_2^3 + 45/17*c_0110_2^2 - 2/17*c_0110_2 - 1/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB