Magma V2.19-8 Tue Aug 20 2013 16:17:24 on localhost [Seed = 2362249287] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1637 geometric_solution 5.37988723 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 0 0 -1 1 -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.104538933996 0.958857940330 0 5 5 4 0132 0132 1023 0213 0 0 0 0 0 0 1 -1 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 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.331013225339 0.290841512883 6 0 6 4 0132 0132 2310 2031 0 0 0 0 0 1 -1 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 1 -1 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.959428196584 0.865681191629 4 3 3 0 0213 1230 3012 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 -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.043555407965 0.707021946937 3 2 0 1 0213 1302 0132 0213 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 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.483719131667 0.448187017048 5 1 1 5 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 -1 1 -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 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.689437538503 1.086363019325 2 2 6 6 0132 3201 2031 1302 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.520750455655 0.199983774370 ==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' : 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' : negation(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_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_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_0'], '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_0011_3'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_0101_6']})} 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_4, c_0101_0, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 42941019087301305/237894670913536*c_0101_6^18 + 231799944430565635/237894670913536*c_0101_6^17 - 117772148331718165/237894670913536*c_0101_6^16 - 71867843731411737/59473667728384*c_0101_6^15 - 171823829778021377/29736833864192*c_0101_6^14 + 3340448267670901441/237894670913536*c_0101_6^13 + 474346990044429389/118947335456768*c_0101_6^12 - 209192812596403987/4574897517568*c_0101_6^11 + 12464434641176261935/237894670913536*c_0101_6^10 + 2958620066862315067/118947335456768*c_0101_6^9 - 23283434180527458533/237894670913536*c_0101_6^8 + 921077059924756499/14868416932096*c_0101_6^7 + 566130113656797553/14868416932096*c_0101_6^6 - 1163620904987694297/18299590070272*c_0101_6^5 + 4286069858321357779/237894670913536*c_0101_6^4 + 2694384380407703345/237894670913536*c_0101_6^3 - 287578100461607497/29736833864192*c_0101_6^2 + 81032646083406739/29736833864192*c_0101_6 - 67527287348766827/237894670913536, c_0011_0 - 1, c_0011_3 - 3220252979875/653556788224*c_0101_6^18 + 15510670021009/653556788224*c_0101_6^17 + 994822470441/653556788224*c_0101_6^16 - 6276525118891/163389197056*c_0101_6^15 - 14586946920839/81694598528*c_0101_6^14 + 188563579642715/653556788224*c_0101_6^13 + 104101295336735/326778394112*c_0101_6^12 - 187450656544781/163389197056*c_0101_6^11 + 463611144523477/653556788224*c_0101_6^10 + 455499012205705/326778394112*c_0101_6^9 - 1393619596950375/653556788224*c_0101_6^8 + 7745187286137/40847299264*c_0101_6^7 + 71969463364531/40847299264*c_0101_6^6 - 625452896873127/653556788224*c_0101_6^5 - 273926233573759/653556788224*c_0101_6^4 + 272891302760779/653556788224*c_0101_6^3 - 3343026738127/81694598528*c_0101_6^2 - 3372323450451/81694598528*c_0101_6 + 7219588266103/653556788224, c_0011_4 - 255566118543/20423649632*c_0101_6^18 + 1395324494661/20423649632*c_0101_6^17 - 776179569683/20423649632*c_0101_6^16 - 428908468027/5105912408*c_0101_6^15 - 1008882971433/2552956204*c_0101_6^14 + 20444961322135/20423649632*c_0101_6^13 + 2383527122443/10211824816*c_0101_6^12 - 16417564165881/5105912408*c_0101_6^11 + 77720889825065/20423649632*c_0101_6^10 + 16395479264485/10211824816*c_0101_6^9 - 142548618532627/20423649632*c_0101_6^8 + 5895308239863/1276478102*c_0101_6^7 + 3280340049551/1276478102*c_0101_6^6 - 94869886039747/20423649632*c_0101_6^5 + 28801275486037/20423649632*c_0101_6^4 + 16415265709175/20423649632*c_0101_6^3 - 1850079157877/2552956204*c_0101_6^2 + 528798303703/2552956204*c_0101_6 - 415317006909/20423649632, c_0101_0 - 28409260901101/653556788224*c_0101_6^18 + 157399691016351/653556788224*c_0101_6^17 - 98239117347449/653556788224*c_0101_6^16 - 46667998553317/163389197056*c_0101_6^15 - 110127212821897/81694598528*c_0101_6^14 + 2350141350903477/653556788224*c_0101_6^13 + 182579853397425/326778394112*c_0101_6^12 - 1846064494624355/163389197056*c_0101_6^11 + 9200486388935195/653556788224*c_0101_6^10 + 1549193513952039/326778394112*c_0101_6^9 - 16266414545659113/653556788224*c_0101_6^8 + 726091663336503/40847299264*c_0101_6^7 + 331758658877469/40847299264*c_0101_6^6 - 11116259110279081/653556788224*c_0101_6^5 + 3838597381319855/653556788224*c_0101_6^4 + 1760630696217541/653556788224*c_0101_6^3 - 222855745183041/81694598528*c_0101_6^2 + 68039485007619/81694598528*c_0101_6 - 61401131559207/653556788224, c_0101_2 + 552201221303/40847299264*c_0101_6^18 - 3037150539709/40847299264*c_0101_6^17 + 1790491071259/40847299264*c_0101_6^16 + 918972654747/10211824816*c_0101_6^15 + 2163387488869/5105912408*c_0101_6^14 - 44946322908511/40847299264*c_0101_6^13 - 4414438979507/20423649632*c_0101_6^12 + 35669327161353/10211824816*c_0101_6^11 - 172937633770785/40847299264*c_0101_6^10 - 32942855917837/20423649632*c_0101_6^9 + 311473795675419/40847299264*c_0101_6^8 - 13335818201749/2552956204*c_0101_6^7 - 6775138102647/2552956204*c_0101_6^6 + 209068077929707/40847299264*c_0101_6^5 - 67216077032365/40847299264*c_0101_6^4 - 34385545614015/40847299264*c_0101_6^3 + 4097066571669/5105912408*c_0101_6^2 - 1225337571259/5105912408*c_0101_6 + 1063333458389/40847299264, c_0101_5 + 10141798331777/326778394112*c_0101_6^18 - 55101753710539/326778394112*c_0101_6^17 + 29445526699197/326778394112*c_0101_6^16 + 17079557385061/81694598528*c_0101_6^15 + 40282404006023/40847299264*c_0101_6^14 - 802351812507641/326778394112*c_0101_6^13 - 103355115450917/163389197056*c_0101_6^12 + 648485910415231/81694598528*c_0101_6^11 - 3017655292217639/326778394112*c_0101_6^10 - 679898338689387/163389197056*c_0101_6^9 + 5595511370331549/326778394112*c_0101_6^8 - 225225505635495/20423649632*c_0101_6^7 - 133755592123005/20423649632*c_0101_6^6 + 3677113720715885/326778394112*c_0101_6^5 - 1052732548081819/326778394112*c_0101_6^4 - 660815122576953/326778394112*c_0101_6^3 + 69854683251431/40847299264*c_0101_6^2 - 19269908824105/40847299264*c_0101_6 + 15163455429619/326778394112, c_0101_6^19 - 6*c_0101_6^18 + 6*c_0101_6^17 + 5*c_0101_6^16 + 28*c_0101_6^15 - 97*c_0101_6^14 + 25*c_0101_6^13 + 266*c_0101_6^12 - 443*c_0101_6^11 + 39*c_0101_6^10 + 623*c_0101_6^9 - 671*c_0101_6^8 + 477*c_0101_6^6 - 314*c_0101_6^5 + 91*c_0101_6^3 - 48*c_0101_6^2 + 11*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB