Magma V2.19-8 Tue Aug 20 2013 16:18:44 on localhost [Seed = 3414841023] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2894 geometric_solution 6.10280316 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 1 2 0 3012 0132 0132 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 -1 0 1 -1 0 0 1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.289134546163 1.826232321324 3 0 2 4 0132 0132 1302 0132 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 1 0 -1 0 0 1 -1 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.402824941763 0.309015297835 1 4 3 0 2031 0321 2310 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.185114952143 0.455714604128 1 2 5 5 0132 3201 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0.257038635365 0.934117266966 6 5 1 2 0132 0213 0132 0321 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 -1 1 0 -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.257038635365 0.934117266966 6 3 4 3 2031 0321 0213 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 1 -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.726159593051 0.995177445449 4 6 5 6 0132 1302 1302 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 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.293203346203 1.170979330222 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : 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' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_1001_0'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0011_2']), 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_2']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], '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' : d['c_0011_2'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_0'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_2'], 'c_0110_1' : d['c_0101_3'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_2']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], '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_2, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 1354728676328253673656/64380566152772706955*c_1001_0^14 - 18801182004485424639371/64380566152772706955*c_1001_0^13 - 102056428301017069531614/64380566152772706955*c_1001_0^12 - 252179252275533254425393/64380566152772706955*c_1001_0^11 - 48231251352930847153166/12876113230554541391*c_1001_0^10 - 116722547853738464322834/64380566152772706955*c_1001_0^9 - 584466215296310229732062/64380566152772706955*c_1001_0^8 - 632359515123974074541812/64380566152772706955*c_1001_0^7 + 354053318815911959390356/64380566152772706955*c_1001_0^6 - 495362127818982860126224/64380566152772706955*c_1001_0^5 + 119281911401634352480167/64380566152772706955*c_1001_0^4 - 137379109420452828269878/64380566152772706955*c_1001_0^3 + 31874066821021065179659/64380566152772706955*c_1001_0^2 + 783089744347436472351/64380566152772706955*c_1001_0 + 8169428708217713907272/64380566152772706955, c_0011_0 - 1, c_0011_2 + 3147690729967830/16529028537297229*c_1001_0^14 + 42548781979528904/16529028537297229*c_1001_0^13 + 221316355094539994/16529028537297229*c_1001_0^12 + 499812063008208946/16529028537297229*c_1001_0^11 + 346771503011306566/16529028537297229*c_1001_0^10 + 67275254432741656/16529028537297229*c_1001_0^9 + 1262800644942250724/16529028537297229*c_1001_0^8 + 963694642303309780/16529028537297229*c_1001_0^7 - 1403698644696424303/16529028537297229*c_1001_0^6 + 1458744174565013643/16529028537297229*c_1001_0^5 - 682831004508640255/16529028537297229*c_1001_0^4 + 277222313147390650/16529028537297229*c_1001_0^3 - 115762178117904251/16529028537297229*c_1001_0^2 - 16204599024105376/16529028537297229*c_1001_0 - 5052086897386593/16529028537297229, c_0011_4 + 194829958044454/16529028537297229*c_1001_0^14 + 2734607814824632/16529028537297229*c_1001_0^13 + 15058001808759783/16529028537297229*c_1001_0^12 + 37901776494095279/16529028537297229*c_1001_0^11 + 36345517371156360/16529028537297229*c_1001_0^10 + 10686209709274221/16529028537297229*c_1001_0^9 + 72412015316718642/16529028537297229*c_1001_0^8 + 98472058965352010/16529028537297229*c_1001_0^7 - 54056244864141562/16529028537297229*c_1001_0^6 + 22843788652781318/16529028537297229*c_1001_0^5 - 4557264707729879/16529028537297229*c_1001_0^4 + 23590790442654776/16529028537297229*c_1001_0^3 - 41411909643492318/16529028537297229*c_1001_0^2 + 2934910758957740/16529028537297229*c_1001_0 + 445233401922547/16529028537297229, c_0101_0 - 708743749345005/16529028537297229*c_1001_0^14 - 10367645892752617/16529028537297229*c_1001_0^13 - 61001366284525497/16529028537297229*c_1001_0^12 - 175222610885136726/16529028537297229*c_1001_0^11 - 242918521303312443/16529028537297229*c_1001_0^10 - 200212573408562652/16529028537297229*c_1001_0^9 - 393788297133558443/16529028537297229*c_1001_0^8 - 573272935313984944/16529028537297229*c_1001_0^7 - 150663011403421913/16529028537297229*c_1001_0^6 - 233797339838476035/16529028537297229*c_1001_0^5 - 66283812935533585/16529028537297229*c_1001_0^4 - 61833888285057558/16529028537297229*c_1001_0^3 - 26181988493581215/16529028537297229*c_1001_0^2 - 15694673438282001/16529028537297229*c_1001_0 + 15459438531003261/16529028537297229, c_0101_2 + 1976467870575728/16529028537297229*c_1001_0^14 + 26645069238297220/16529028537297229*c_1001_0^13 + 138144234387099636/16529028537297229*c_1001_0^12 + 310921013028169496/16529028537297229*c_1001_0^11 + 218694059772812572/16529028537297229*c_1001_0^10 + 69308465546327760/16529028537297229*c_1001_0^9 + 840701722742566712/16529028537297229*c_1001_0^8 + 626424131660946149/16529028537297229*c_1001_0^7 - 800230474173153202/16529028537297229*c_1001_0^6 + 1075384874300876617/16529028537297229*c_1001_0^5 - 425261925107819551/16529028537297229*c_1001_0^4 + 283244372680098211/16529028537297229*c_1001_0^3 - 54171315851713944/16529028537297229*c_1001_0^2 + 5480431181797593/16529028537297229*c_1001_0 - 1018463942475544/16529028537297229, c_0101_3 + 109217760128642/16529028537297229*c_1001_0^14 + 2122821030265472/16529028537297229*c_1001_0^13 + 16305978977150598/16529028537297229*c_1001_0^12 + 61226466178313782/16529028537297229*c_1001_0^11 + 106119118124530794/16529028537297229*c_1001_0^10 + 52895764312576997/16529028537297229*c_1001_0^9 + 42871711494489532/16529028537297229*c_1001_0^8 + 303252315154624128/16529028537297229*c_1001_0^7 + 130767711129484861/16529028537297229*c_1001_0^6 - 269075759733972431/16529028537297229*c_1001_0^5 + 351195127644324665/16529028537297229*c_1001_0^4 - 104785405079243498/16529028537297229*c_1001_0^3 + 63540875197160833/16529028537297229*c_1001_0^2 - 9058581670914241/16529028537297229*c_1001_0 - 1023058623969721/16529028537297229, c_1001_0^15 + 14*c_1001_0^14 + 77*c_1001_0^13 + 195*c_1001_0^12 + 199*c_1001_0^11 + 104*c_1001_0^10 + 439*c_1001_0^9 + 518*c_1001_0^8 - 215*c_1001_0^7 + 326*c_1001_0^6 - 35*c_1001_0^5 + 77*c_1001_0^4 - 5*c_1001_0^3 - 8*c_1001_0^2 - 5*c_1001_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB