Magma V2.19-8 Tue Aug 20 2013 16:16:10 on localhost [Seed = 2968595572] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0435 geometric_solution 4.48603830 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 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 2.842288607806 0.972387114335 0 1 1 0 0132 3201 2310 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 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.569145046117 0.094663020083 0 3 4 0 3201 0132 0132 0132 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 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.021018636378 0.823174946266 4 2 5 4 2310 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 1 -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 -1 1 0 -1 0 1 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.132565026107 0.688017428865 5 3 3 2 1023 1302 3201 0132 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 0 0 0 0 0 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.132565026107 0.688017428865 6 4 6 3 0132 1023 2310 0132 0 0 0 0 0 0 0 0 1 0 0 -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 1 0 -1 1 0 0 -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 1.457801971199 0.618663843230 5 5 6 6 0132 3201 2031 1302 0 0 0 0 0 0 0 0 -1 0 0 1 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 -1 0 0 1 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.545006004741 0.306093833508 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(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' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : 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_0101_3'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 680862745778228128840411145692464/485999535249292049277523946377*c_\ 0101_5^16 - 2902367055506005731554722479901992/48599953524929204927\ 7523946377*c_0101_5^15 - 1309693024563694351069203925175088/3738457\ 9634560926867501842029*c_0101_5^14 + 47773796968496943920650340084477130/485999535249292049277523946377*\ c_0101_5^13 + 85914399317845961444186910379772624/48599953524929204\ 9277523946377*c_0101_5^12 - 193436749440588973147481272294570801/48\ 5999535249292049277523946377*c_0101_5^11 - 122965670587422790603414899462453840/485999535249292049277523946377\ *c_0101_5^10 + 696087342868029503096641022391184080/485999535249292\ 049277523946377*c_0101_5^9 + 1105278148328391911610263922828057996/\ 485999535249292049277523946377*c_0101_5^8 + 590015359891208962822625981580517635/485999535249292049277523946377\ *c_0101_5^7 - 1436689379677979332424882051986370/373845796345609268\ 67501842029*c_0101_5^6 - 12238975633478527725400415277752908/373845\ 79634560926867501842029*c_0101_5^5 - 50587464712161911853354711896847479/485999535249292049277523946377*\ c_0101_5^4 + 9482577225708737345357377324111255/4859995352492920492\ 77523946377*c_0101_5^3 + 6190945045413892796124905912595666/4859995\ 35249292049277523946377*c_0101_5^2 - 662301619625875467118611734045480/485999535249292049277523946377*c_\ 0101_5 - 338136920606429305204288550394022/485999535249292049277523\ 946377, c_0011_0 - 1, c_0011_2 + 132712995994000733988164223112/37384579634560926867501842029\ *c_0101_5^16 - 631075427364859919380113267876/373845796345609268675\ 01842029*c_0101_5^15 - 3017330337828870762544937732160/373845796345\ 60926867501842029*c_0101_5^14 + 10840907899053495217757107363473/37\ 384579634560926867501842029*c_0101_5^13 + 11628950588850655409989567698989/37384579634560926867501842029*c_01\ 01_5^12 - 44164823776155998447092687364088/373845796345609268675018\ 42029*c_0101_5^11 - 3164363179914621819243814982480/373845796345609\ 26867501842029*c_0101_5^10 + 140257642703689056343655637981889/3738\ 4579634560926867501842029*c_0101_5^9 + 147007347231561409051030378934442/37384579634560926867501842029*c_0\ 101_5^8 + 32723128816004105726927080267002/373845796345609268675018\ 42029*c_0101_5^7 - 31421750270014284271188969329026/373845796345609\ 26867501842029*c_0101_5^6 - 19796518173990589728365643562561/373845\ 79634560926867501842029*c_0101_5^5 + 1181472792098517763731719441862/37384579634560926867501842029*c_010\ 1_5^4 + 2912553158663086168853408346772/373845796345609268675018420\ 29*c_0101_5^3 + 13213741261585480603458888140/373845796345609268675\ 01842029*c_0101_5^2 - 242221954570571402777115395675/37384579634560\ 926867501842029*c_0101_5 + 42337083612209716269170515794/3738457963\ 4560926867501842029, c_0011_4 - 141074572777713649769191922120/37384579634560926867501842029\ *c_0101_5^16 + 654256122194571518216856259804/373845796345609268675\ 01842029*c_0101_5^15 + 3287072053818243780226918929516/373845796345\ 60926867501842029*c_0101_5^14 - 11154710979408880681079403592573/37\ 384579634560926867501842029*c_0101_5^13 - 13711754728927895079815279412926/37384579634560926867501842029*c_01\ 01_5^12 + 45629067109002173516848237294486/373845796345609268675018\ 42029*c_0101_5^11 + 8572329361577579051842978502548/373845796345609\ 26867501842029*c_0101_5^10 - 148960185317132818691797100529757/3738\ 4579634560926867501842029*c_0101_5^9 - 172596653380234490596699021513652/37384579634560926867501842029*c_0\ 101_5^8 - 53316740232376685384146110213398/373845796345609268675018\ 42029*c_0101_5^7 + 27278878156648225935964775464503/373845796345609\ 26867501842029*c_0101_5^6 + 23119922494743544659826575167412/373845\ 79634560926867501842029*c_0101_5^5 + 704486111712377524951550738483/37384579634560926867501842029*c_0101\ _5^4 - 2709969581737879211139225793581/3738457963456092686750184202\ 9*c_0101_5^3 - 115754448543847895571271746636/373845796345609268675\ 01842029*c_0101_5^2 + 312495113564667246454174806202/37384579634560\ 926867501842029*c_0101_5 - 36989028078976783888811492508/3738457963\ 4560926867501842029, c_0101_0 - 67496751320105916780075072856/37384579634560926867501842029*\ c_0101_5^16 + 246703307073071178522981392228/3738457963456092686750\ 1842029*c_0101_5^15 + 1873421714779489134536815305132/3738457963456\ 0926867501842029*c_0101_5^14 - 3759263978126303606461166602351/3738\ 4579634560926867501842029*c_0101_5^13 - 11646798142468403478647580124136/37384579634560926867501842029*c_01\ 01_5^12 + 14827512240881955375905990594742/373845796345609268675018\ 42029*c_0101_5^11 + 24925410115784074873689634184104/37384579634560\ 926867501842029*c_0101_5^10 - 64923617406800985899437275029457/3738\ 4579634560926867501842029*c_0101_5^9 - 152440733004869383923562253750444/37384579634560926867501842029*c_0\ 101_5^8 - 113982168257114291579285187370325/37384579634560926867501\ 842029*c_0101_5^7 - 19546116298520964397665091018185/37384579634560\ 926867501842029*c_0101_5^6 + 21830285967881911003575409250706/37384\ 579634560926867501842029*c_0101_5^5 + 12636314111425030835438541465151/37384579634560926867501842029*c_01\ 01_5^4 + 200926927896459031929721016776/373845796345609268675018420\ 29*c_0101_5^3 - 1437154162575096704682277799490/3738457963456092686\ 7501842029*c_0101_5^2 - 117921463572093550502237838994/373845796345\ 60926867501842029*c_0101_5 + 91665806928484647468602870744/37384579\ 634560926867501842029, c_0101_1 + 88817867889304399042803146264/37384579634560926867501842029*\ c_0101_5^16 - 367714031984351567266475357460/3738457963456092686750\ 1842029*c_0101_5^15 - 2277117363306055855688472368996/3738457963456\ 0926867501842029*c_0101_5^14 + 6011415635884245662977272172951/3738\ 4579634560926867501842029*c_0101_5^13 + 12157764018427691518146509647734/37384579634560926867501842029*c_01\ 01_5^12 - 24756484820691523266208102040516/373845796345609268675018\ 42029*c_0101_5^11 - 19399400580558608390729134831120/37384579634560\ 926867501842029*c_0101_5^10 + 92110837681677072381506706250165/3738\ 4579634560926867501842029*c_0101_5^9 + 153468304666786052090870930861367/37384579634560926867501842029*c_0\ 101_5^8 + 85986003936173754812994154275143/373845796345609268675018\ 42029*c_0101_5^7 + 1575166491428887711107384210025/3738457963456092\ 6867501842029*c_0101_5^6 - 21016112529981406490236054428526/3738457\ 9634560926867501842029*c_0101_5^5 - 7591429580271846103272291215302/37384579634560926867501842029*c_010\ 1_5^4 + 845315342433196241746173114796/3738457963456092686750184202\ 9*c_0101_5^3 + 819119441500514655550251336880/373845796345609268675\ 01842029*c_0101_5^2 - 5715879938490345737201032875/3738457963456092\ 6867501842029*c_0101_5 - 46340127345857299618582959307/373845796345\ 60926867501842029, c_0101_3 + 115437202676546836591251659592/37384579634560926867501842029\ *c_0101_5^16 - 555311437899024403505937770404/373845796345609268675\ 01842029*c_0101_5^15 - 2598901307812200907961132412400/373845796345\ 60926867501842029*c_0101_5^14 + 9599048033641147910485948602681/373\ 84579634560926867501842029*c_0101_5^13 + 9689857030451843861609261370153/37384579634560926867501842029*c_010\ 1_5^12 - 39385403243531711030022357400820/3738457963456092686750184\ 2029*c_0101_5^11 - 853848743534328653936902705994/37384579634560926\ 867501842029*c_0101_5^10 + 123625147936694868691570221896723/373845\ 79634560926867501842029*c_0101_5^9 + 120673436027714315818818095313395/37384579634560926867501842029*c_0\ 101_5^8 + 17158697496753914694584629552652/373845796345609268675018\ 42029*c_0101_5^7 - 33000972345346742069259919386875/373845796345609\ 26867501842029*c_0101_5^6 - 16807636976045360182687193200825/373845\ 79634560926867501842029*c_0101_5^5 + 2411249787535538672297894334946/37384579634560926867501842029*c_010\ 1_5^4 + 2671676349300713904359374679278/373845796345609268675018420\ 29*c_0101_5^3 - 170214205776235639090779488908/37384579634560926867\ 501842029*c_0101_5^2 - 287336739551764105891850518204/3738457963456\ 0926867501842029*c_0101_5 + 55527770874277365206476156726/373845796\ 34560926867501842029, c_0101_5^17 - 9/2*c_0101_5^16 - 24*c_0101_5^15 + 609/8*c_0101_5^14 + 877/8*c_0101_5^13 - 629/2*c_0101_5^12 - 453/4*c_0101_5^11 + 8535/8*c_0101_5^10 + 11037/8*c_0101_5^9 + 1909/4*c_0101_5^8 - 939/4*c_0101_5^7 - 1807/8*c_0101_5^6 - 139/8*c_0101_5^5 + 127/4*c_0101_5^4 + 11/2*c_0101_5^3 - 13/4*c_0101_5^2 - 1/4*c_0101_5 + 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB