Magma V2.19-8 Tue Aug 20 2013 16:16:21 on localhost [Seed = 3414841135] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0618 geometric_solution 4.62030887 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 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 2.833988057404 0.888259589106 0 2 2 0 0132 0132 3201 1023 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 -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.118308374356 0.143920061417 1 1 3 3 2310 0132 0132 2310 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 1.310188549658 2.991995212989 2 4 5 2 3201 0132 0132 0132 0 0 0 0 0 0 -1 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 -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.375146671897 0.247823617520 5 3 5 6 2031 0132 2103 0132 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 1 0 -1 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.667265019141 0.734503048579 4 6 4 3 2103 2310 1302 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 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.667265019141 0.734503048579 6 6 4 5 1230 3012 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 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.322392889954 0.745887276854 ==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' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(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' : negation(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' : negation(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' : negation(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_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_5']), '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_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : d['c_0011_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_5'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0011_5'], '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_3, c_0011_5, c_0011_6, c_0101_0, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 87902543534942743288924029/8420899761415298911459772*c_0101_6^14 - 214138522749634489559440147/4210449880707649455729886*c_0101_6^13 - 52819218791695797427695426/2105224940353824727864943*c_0101_6^12 + 2476857264035227873117031693/8420899761415298911459772*c_0101_6^11 - 871821688741115221259176934/2105224940353824727864943*c_0101_6^10 - 23486296662522653003916586585/8420899761415298911459772*c_0101_6^9 - 1926649956254149821103190295/4210449880707649455729886*c_0101_6^8 + 49038016619186093564805201837/2105224940353824727864943*c_0101_6^7 - 37442258772632383863942102887/2105224940353824727864943*c_0101_6^6 - 65510474676340350882481320855/8420899761415298911459772*c_0101_6^5 + 46526570823418144174683545015/4210449880707649455729886*c_0101_6^4 - 5128681170237447284091364671/765536341946845355587252*c_0101_6^3 + 4279497201844074460283691497/4210449880707649455729886*c_0101_6^2 + 12736680805738587301390439447/8420899761415298911459772*c_0101_6 - 491940431091445334042173185/2105224940353824727864943, c_0011_0 - 1, c_0011_3 - 4289509202943093748239/382768170973422677793626*c_0101_6^14 - 11980410452556996901216/191384085486711338896813*c_0101_6^13 - 14112864148678142847587/191384085486711338896813*c_0101_6^12 + 96395797591469082005527/382768170973422677793626*c_0101_6^11 - 52648940667232025044792/191384085486711338896813*c_0101_6^10 - 1200531829729160047263805/382768170973422677793626*c_0101_6^9 - 534567730328912761838559/191384085486711338896813*c_0101_6^8 + 4290698056125678024834019/191384085486711338896813*c_0101_6^7 - 659637170721807703111621/191384085486711338896813*c_0101_6^6 - 2407346218788683479716451/382768170973422677793626*c_0101_6^5 + 1075157343575702848507532/191384085486711338896813*c_0101_6^4 - 2039269698697989115231503/382768170973422677793626*c_0101_6^3 - 184017237193322420980422/191384085486711338896813*c_0101_6^2 - 219273031241093348246613/382768170973422677793626*c_0101_6 + 27526812140866813434314/191384085486711338896813, c_0011_5 - 511566892642625106305903/8420899761415298911459772*c_0101_2*\ c_0101_6^14 - 2680295614652816057942945/8420899761415298911459772*c\ _0101_2*c_0101_6^13 - 2263770799273240368680411/8420899761415298911\ 459772*c_0101_2*c_0101_6^12 + 6655047443082020745295641/42104498807\ 07649455729886*c_0101_2*c_0101_6^11 - 3926461606416847959273701/2105224940353824727864943*c_0101_2*c_0101\ _6^10 - 141297353549292357328204923/8420899761415298911459772*c_010\ 1_2*c_0101_6^9 - 75650713518943059520013641/84208997614152989114597\ 72*c_0101_2*c_0101_6^8 + 1100050241206312492802690265/8420899761415\ 298911459772*c_0101_2*c_0101_6^7 - 478644462146959521638979157/8420899761415298911459772*c_0101_2*c_01\ 01_6^6 - 114028107393260909650823924/2105224940353824727864943*c_01\ 01_2*c_0101_6^5 + 87001981631212624507644700/2105224940353824727864\ 943*c_0101_2*c_0101_6^4 - 19857926026333281111181413/76553634194684\ 5355587252*c_0101_2*c_0101_6^3 - 15219074611532608296922045/8420899\ 761415298911459772*c_0101_2*c_0101_6^2 + 21894134084476245608727595/4210449880707649455729886*c_0101_2*c_010\ 1_6 + 524027575149172197015059/2105224940353824727864943*c_0101_2, c_0011_6 + 37576192151605382215591/8420899761415298911459772*c_0101_2*c\ _0101_6^14 + 196735987786251047160877/8420899761415298911459772*c_0\ 101_2*c_0101_6^13 + 124663753518547225954031/8420899761415298911459\ 772*c_0101_2*c_0101_6^12 - 608199163046504204619881/421044988070764\ 9455729886*c_0101_2*c_0101_6^11 + 208242932077164064248132/21052249\ 40353824727864943*c_0101_2*c_0101_6^10 + 11228038565222854049433263/8420899761415298911459772*c_0101_2*c_010\ 1_6^9 + 4753116562006329099195693/8420899761415298911459772*c_0101_\ 2*c_0101_6^8 - 92437266835398862488864421/8420899761415298911459772\ *c_0101_2*c_0101_6^7 + 22457901897226163499958773/84208997614152989\ 11459772*c_0101_2*c_0101_6^6 + 28143229963449299533495085/210522494\ 0353824727864943*c_0101_2*c_0101_6^5 - 4408256626601535043621940/2105224940353824727864943*c_0101_2*c_0101\ _6^4 - 553996887183116004523423/765536341946845355587252*c_0101_2*c\ _0101_6^3 + 7906341194546082538250257/8420899761415298911459772*c_0\ 101_2*c_0101_6^2 - 9774376835313412196009511/4210449880707649455729\ 886*c_0101_2*c_0101_6 - 1521688943762073594477987/21052249403538247\ 27864943*c_0101_2, c_0101_0 - 8092278520503974215231/4210449880707649455729886*c_0101_2*c_\ 0101_6^14 + 14821119534538078554761/2105224940353824727864943*c_010\ 1_2*c_0101_6^13 + 182246421438769329719884/210522494035382472786494\ 3*c_0101_2*c_0101_6^12 + 657566768935994909089981/42104498807076494\ 55729886*c_0101_2*c_0101_6^11 - 985783666061900320302130/2105224940\ 353824727864943*c_0101_2*c_0101_6^10 - 550575844022812651882603/4210449880707649455729886*c_0101_2*c_0101_\ 6^9 + 9605945371750114435960393/2105224940353824727864943*c_0101_2*\ c_0101_6^8 + 17252613840934377392742679/2105224940353824727864943*c\ _0101_2*c_0101_6^7 - 78273308919835396807267814/2105224940353824727\ 864943*c_0101_2*c_0101_6^6 + 13842240691388144323755525/42104498807\ 07649455729886*c_0101_2*c_0101_6^5 + 36916907084536155173430103/2105224940353824727864943*c_0101_2*c_010\ 1_6^4 - 3190930489749797265074877/382768170973422677793626*c_0101_2\ *c_0101_6^3 + 14615556177670570180764949/2105224940353824727864943*\ c_0101_2*c_0101_6^2 + 7737726506950430876219233/4210449880707649455\ 729886*c_0101_2*c_0101_6 - 3927723492138006637976752/21052249403538\ 24727864943*c_0101_2, c_0101_2^2 + 60733810353747510525778/7463979333981742216975707*c_0101_6\ ^14 + 24418366524159994293517/574152256460134016690439*c_0101_6^13 + 268211085995290685751641/7463979333981742216975707*c_0101_6^12 - 518162198067728548944577/2487993111327247405658569*c_0101_6^11 + 652088746194987908106813/2487993111327247405658569*c_0101_6^10 + 5570130755848962370186063/2487993111327247405658569*c_0101_6^9 + 8610107294168923362809285/7463979333981742216975707*c_0101_6^8 - 43139088645537125692094836/2487993111327247405658569*c_0101_6^7 + 61762095989642230252824748/7463979333981742216975707*c_0101_6^6 + 47520749456121997765483372/7463979333981742216975707*c_0101_6^5 - 20350551813064221996000030/2487993111327247405658569*c_0101_6^4 + 40630641786468170103621625/7463979333981742216975707*c_0101_6^3 - 1723495240943649293482202/2487993111327247405658569*c_0101_6^2 - 1566434560084574277846634/7463979333981742216975707*c_0101_6 - 2924371759819334347012345/7463979333981742216975707, c_0101_6^15 + 5*c_0101_6^14 + 3*c_0101_6^13 - 28*c_0101_6^12 + 36*c_0101_6^11 + 273*c_0101_6^10 + 77*c_0101_6^9 - 2233*c_0101_6^8 + 1417*c_0101_6^7 + 1022*c_0101_6^6 - 1004*c_0101_6^5 + 481*c_0101_6^4 + 13*c_0101_6^3 - 172*c_0101_6^2 + 4*c_0101_6 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB