Magma V2.19-8 Tue Aug 20 2013 16:16:40 on localhost [Seed = 1065264117] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0955 geometric_solution 4.85157800 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.248657430770 0.368562399874 0 2 2 0 0132 0132 3201 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 -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.412437267955 0.896781498137 1 1 3 4 2310 0132 0132 0132 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 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.233972396946 0.384883461200 5 5 6 2 0132 3201 0132 0132 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 1 0 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.005114352249 1.954512217775 5 5 2 6 1023 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.005114352249 1.954512217775 3 4 3 4 0132 1023 2310 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 0 0 0 -1 0 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.001338785142 0.511633104100 6 6 4 3 1302 2031 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.299287234229 0.498181160343 ==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' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : negation(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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_1100_2'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_1100_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_1100_2'], 'c_1100_2' : d['c_1100_2'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_6']), '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' : 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' : negation(d['c_0101_1']), 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0011_6'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : d['c_0101_1'], '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_0011_6, c_0101_0, c_0101_1, c_0101_3, c_1100_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 50340134600960600214343/127912642559122167531*c_1100_2^12 + 271285558413900055388467/127912642559122167531*c_1100_2^11 - 447872713057053130510411/85275095039414778354*c_1100_2^10 + 3325340709759135357572621/767475855354733005186*c_1100_2^9 + 5851164776249533636127516/383737927677366502593*c_1100_2^8 - 47819895930772527392613907/767475855354733005186*c_1100_2^7 + 267748719184496338955985215/2302427566064199015558*c_1100_2^6 - 322853413931667794022113443/2302427566064199015558*c_1100_2^5 + 138815451040251838401934619/1151213783032099507779*c_1100_2^4 - 58994451490487247584494255/767475855354733005186*c_1100_2^3 + 1537173204651879448070474/42637547519707389177*c_1100_2^2 - 13262072351275319846022986/1151213783032099507779*c_1100_2 + 1517203091465833180577429/767475855354733005186, c_0011_0 - 1, c_0011_3 + 31436483834814911615/1039940183407497297*c_1100_2^12 - 169252999437414807725/1039940183407497297*c_1100_2^11 + 139563948999075835426/346646727802499099*c_1100_2^10 - 1031377332283087698977/3119820550222491891*c_1100_2^9 - 3661831006668092406412/3119820550222491891*c_1100_2^8 + 14917315327824618415294/3119820550222491891*c_1100_2^7 - 83371681843933287422711/9359461650667475673*c_1100_2^6 + 100298487696533054140153/9359461650667475673*c_1100_2^5 - 85992793313042880175843/9359461650667475673*c_1100_2^4 + 18210180294473951049634/3119820550222491891*c_1100_2^3 - 945366184823298021325/346646727802499099*c_1100_2^2 + 8110283054918568029443/9359461650667475673*c_1100_2 - 459627160081948014827/3119820550222491891, c_0011_6 - 28235329460348572681/1039940183407497297*c_1100_2^12 + 152471794786354164766/1039940183407497297*c_1100_2^11 - 251651120821389549211/693293455604998198*c_1100_2^10 + 932517263989091474968/3119820550222491891*c_1100_2^9 + 6589338619989753674215/6239641100444983782*c_1100_2^8 - 13445292475932618468404/3119820550222491891*c_1100_2^7 + 75155619052690691358805/9359461650667475673*c_1100_2^6 - 90415985915936178711599/9359461650667475673*c_1100_2^5 + 77560501911490904336333/9359461650667475673*c_1100_2^4 - 32879655105186562638109/6239641100444983782*c_1100_2^3 + 854349339286998970004/346646727802499099*c_1100_2^2 - 7347588216385925006162/9359461650667475673*c_1100_2 + 838529519438296811939/6239641100444983782, c_0101_0 - 7210980256228264075/693293455604998198*c_1100_2^12 + 38831045190235713451/693293455604998198*c_1100_2^11 - 96869166964898325657/693293455604998198*c_1100_2^10 + 246721777298745773185/2079880366814994594*c_1100_2^9 + 410893671765189064195/1039940183407497297*c_1100_2^8 - 1712524038864931134871/1039940183407497297*c_1100_2^7 + 9717617553734217405989/3119820550222491891*c_1100_2^6 - 23774835416761948348907/6239641100444983782*c_1100_2^5 + 20728861385714562204587/6239641100444983782*c_1100_2^4 - 2232235184661032733079/1039940183407497297*c_1100_2^3 + 709502132866076954147/693293455604998198*c_1100_2^2 - 2085135364971359996447/6239641100444983782*c_1100_2 + 61477212679109998628/1039940183407497297, c_0101_1 + 8800845123098539/2067475513732599*c_1100_2^12 - 52170829541302588/2067475513732599*c_1100_2^11 + 92387049042316309/1378317009155066*c_1100_2^10 - 419832943059986449/6202426541197797*c_1100_2^9 - 1984552957211411557/12404853082395594*c_1100_2^8 + 4768874186636760659/6202426541197797*c_1100_2^7 - 28498492883482041781/18607279623593391*c_1100_2^6 + 35901833676874797071/18607279623593391*c_1100_2^5 - 31922297007367535564/18607279623593391*c_1100_2^4 + 13955272940953361629/12404853082395594*c_1100_2^3 - 374455254602606993/689158504577533*c_1100_2^2 + 3345307840641482492/18607279623593391*c_1100_2 - 396101447084136269/12404853082395594, c_0101_3 - 84633845454614866333/2079880366814994594*c_1100_2^12 + 457597771078524436027/2079880366814994594*c_1100_2^11 - 189161654195399979121/346646727802499099*c_1100_2^10 + 2821026631778688471355/6239641100444983782*c_1100_2^9 + 9856340914986575460983/6239641100444983782*c_1100_2^8 - 20191018225752605185981/3119820550222491891*c_1100_2^7 + 113111499409367503955717/9359461650667475673*c_1100_2^6 - 272636704085861431375631/18718923301334951346*c_1100_2^5 + 234246507086669684443481/18718923301334951346*c_1100_2^4 - 49744357473330115219955/6239641100444983782*c_1100_2^3 + 2590458777495561068485/693293455604998198*c_1100_2^2 - 22323413648764704992195/18718923301334951346*c_1100_2 + 1275111733776319154425/6239641100444983782, c_1100_2^13 - 46/7*c_1100_2^12 + 138/7*c_1100_2^11 - 562/21*c_1100_2^10 - 542/21*c_1100_2^9 + 4289/21*c_1100_2^8 - 30400/63*c_1100_2^7 + 44399/63*c_1100_2^6 - 45722/63*c_1100_2^5 + 3887/7*c_1100_2^4 - 2245/7*c_1100_2^3 + 1229/9*c_1100_2^2 - 824/21*c_1100_2 + 41/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB