Magma V2.19-8 Tue Aug 20 2013 16:14:07 on localhost [Seed = 3187417476] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s069 geometric_solution 3.61062987 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0.653242563369 0.050027404816 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 1 -1 -1 0 1 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 -1 1 1 0 -1 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.824858425495 0.066524489058 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 -1 1 1 0 -1 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 -1 0 1 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.655450826669 0.235913857610 4 2 5 2 0132 0132 0132 1023 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 -1 0 0 1 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.919383352609 1.916231510257 3 5 5 5 0132 3201 0213 2310 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 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.016975404385 1.008211684813 4 4 4 3 3201 0213 2310 0132 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 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.016975404385 1.008211684813 ==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' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 9461829720840954001717445545/315173796078196141947818688*c_0101_3^1\ 8 - 36439749152081675407262148671/315173796078196141947818688*c_010\ 1_3^17 - 402787375650323413022502756829/315173796078196141947818688\ *c_0101_3^16 - 448894421467955196741635736795/105057932026065380649\ 272896*c_0101_3^15 - 1754103528992524948360262767217/31517379607819\ 6141947818688*c_0101_3^14 + 53843490581122937019098828917/262644830\ 06516345162318224*c_0101_3^13 + 5133735485610750156469718596987/315\ 173796078196141947818688*c_0101_3^12 + 1813768588815859957683697288885/105057932026065380649272896*c_0101_\ 3^11 - 61917813646460382958341956465/52528966013032690324636448*c_0\ 101_3^10 - 99562607535759545052649732315/78793449019549035486954672\ *c_0101_3^9 + 263342215938824679234089463775/9849181127443629435869\ 334*c_0101_3^8 + 2880938803218940083141763724211/105057932026065380\ 649272896*c_0101_3^7 - 4108787746703363189083117575385/315173796078\ 196141947818688*c_0101_3^6 - 8632089296171149716339224060213/315173\ 796078196141947818688*c_0101_3^5 - 15016987881607987679371255699/19698362254887258871738668*c_0101_3^4 + 2332262229964372241299246813313/315173796078196141947818688*c_010\ 1_3^3 - 141093471723637044431325900893/315173796078196141947818688*\ c_0101_3^2 - 36699879066977069006488822317/105057932026065380649272\ 896*c_0101_3 + 78781029932470301680216330109/3151737960781961419478\ 18688, c_0011_0 - 1, c_0011_1 - 322521342314950424348789/26264483006516345162318224*c_0101_3\ ^18 + 2702018482670395620328387/26264483006516345162318224*c_0101_3\ ^17 + 7688917000474981197064329/26264483006516345162318224*c_0101_3\ ^16 - 13866085717166565551181667/26264483006516345162318224*c_0101_\ 3^15 - 133600234044850934475061587/26264483006516345162318224*c_010\ 1_3^14 - 65864991661598078407869619/6566120751629086290579556*c_010\ 1_3^13 - 90363366693793282866445967/26264483006516345162318224*c_01\ 01_3^12 + 477379182142994902352228669/26264483006516345162318224*c_\ 0101_3^11 + 347205373057550048805907911/13132241503258172581159112*\ c_0101_3^10 + 9242888800173214873095051/6566120751629086290579556*c\ _0101_3^9 - 4095690342916236658287959/1641530187907271572644889*c_0\ 101_3^8 + 975205962676232687435643435/26264483006516345162318224*c_\ 0101_3^7 + 1246285921557574798503881957/26264483006516345162318224*\ c_0101_3^6 - 107368558750155880670658719/26264483006516345162318224\ *c_0101_3^5 - 45783013540803050521252696/1641530187907271572644889*\ c_0101_3^4 - 19180387313005494573261901/26264483006516345162318224*\ c_0101_3^3 + 97027928213147721246991929/26264483006516345162318224*\ c_0101_3^2 - 42639377609239012385226117/26264483006516345162318224*\ c_0101_3 - 3961859652899202467320857/26264483006516345162318224, c_0011_5 - 1778405761862798628558191/26264483006516345162318224*c_0101_\ 3^18 + 8047297034201005525759161/26264483006516345162318224*c_0101_\ 3^17 + 70847784820337302717210715/26264483006516345162318224*c_0101\ _3^16 + 203659261578211541546478503/26264483006516345162318224*c_01\ 01_3^15 + 166866944724366966751701847/26264483006516345162318224*c_\ 0101_3^14 - 83325537969282007138994905/6566120751629086290579556*c_\ 0101_3^13 - 914343123342893943937934109/26264483006516345162318224*\ c_0101_3^12 - 477463452253243018730449241/2626448300651634516231822\ 4*c_0101_3^11 + 336688366237201255655061917/13132241503258172581159\ 112*c_0101_3^10 + 38388883102548220637727661/6566120751629086290579\ 556*c_0101_3^9 - 86155105146835527929997441/16415301879072715726448\ 89*c_0101_3^8 - 560690639601912881671101775/26264483006516345162318\ 224*c_0101_3^7 + 1748700062846485530857514863/262644830065163451623\ 18224*c_0101_3^6 + 1370514991036979613496435219/2626448300651634516\ 2318224*c_0101_3^5 - 35085420633365599452200921/1641530187907271572\ 644889*c_0101_3^4 - 466993533794548569589705703/2626448300651634516\ 2318224*c_0101_3^3 + 46423683256512463844458139/2626448300651634516\ 2318224*c_0101_3^2 - 18630332760474554405233007/2626448300651634516\ 2318224*c_0101_3 + 14646252777303136720821/262644830065163451623182\ 24, c_0101_0 - 9107645539964364188094213/26264483006516345162318224*c_0101_\ 3^18 + 35246367729430640726263427/26264483006516345162318224*c_0101\ _3^17 + 387357687944287666587813961/26264483006516345162318224*c_01\ 01_3^16 + 1287717482272241610006567821/26264483006516345162318224*c\ _0101_3^15 + 1652144718263113431104209469/2626448300651634516231822\ 4*c_0101_3^14 - 173693148253817845703978259/65661207516290862905795\ 56*c_0101_3^13 - 4989811282287987150497368927/262644830065163451623\ 18224*c_0101_3^12 - 5157484776843292630543759523/262644830065163451\ 62318224*c_0101_3^11 + 285589715381346366355848135/1313224150325817\ 2581159112*c_0101_3^10 + 139759518591368487551000795/65661207516290\ 86290579556*c_0101_3^9 - 500338229531540680976776746/16415301879072\ 71572644889*c_0101_3^8 - 8086867156535042020933573237/2626448300651\ 6345162318224*c_0101_3^7 + 4307444473292276325229865413/26264483006\ 516345162318224*c_0101_3^6 + 8537383661859096064111598081/262644830\ 06516345162318224*c_0101_3^5 + 12565013262822419799279736/164153018\ 7907271572644889*c_0101_3^4 - 2366607083015674647736281213/26264483\ 006516345162318224*c_0101_3^3 + 13559235285710150351952665/26264483\ 006516345162318224*c_0101_3^2 + 103079097031729062217047979/2626448\ 3006516345162318224*c_0101_3 - 28326202691449409343008137/262644830\ 06516345162318224, c_0101_1 + 73738749951077018362365/6566120751629086290579556*c_0101_3^1\ 8 + 68297138521429347851617/6566120751629086290579556*c_0101_3^17 - 4547117648528984278027869/6566120751629086290579556*c_0101_3^16 - 25145426915396480040979761/6566120751629086290579556*c_0101_3^15 - 62250454909046660991140889/6566120751629086290579556*c_0101_3^14 - 14746406404891053065569387/1641530187907271572644889*c_0101_3^13 + 54423652406262562523049767/6566120751629086290579556*c_0101_3^12 + 207015822885276533081048427/6566120751629086290579556*c_0101_3^11 + 90981810462375740546247475/3283060375814543145289778*c_0101_3^10 + 4888246800817900154756847/1641530187907271572644889*c_0101_3^9 + 29160978725231499120819679/1641530187907271572644889*c_0101_3^8 + 382182176148433720823561457/6566120751629086290579556*c_0101_3^7 + 267358731258791753510243955/6566120751629086290579556*c_0101_3^6 - 140337079636292485715378245/6566120751629086290579556*c_0101_3^5 - 50011148889370043498484016/1641530187907271572644889*c_0101_3^4 + 13997107005065905298344757/6566120751629086290579556*c_0101_3^3 + 17818697142074405311687519/6566120751629086290579556*c_0101_3^2 - 11160267359417732624588615/6566120751629086290579556*c_0101_3 + 4977295740559725534988429/6566120751629086290579556, c_0101_3^19 - 4*c_0101_3^18 - 42*c_0101_3^17 - 136*c_0101_3^16 - 164*c_0101_3^15 + 97*c_0101_3^14 + 535*c_0101_3^13 + 496*c_0101_3^12 - 129*c_0101_3^11 - 46*c_0101_3^10 + 892*c_0101_3^9 + 785*c_0101_3^8 - 574*c_0101_3^7 - 864*c_0101_3^6 + 105*c_0101_3^5 + 265*c_0101_3^4 - 42*c_0101_3^3 - 14*c_0101_3^2 + 8*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB