Magma V2.19-8 Tue Aug 20 2013 16:18:31 on localhost [Seed = 1579139939] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2703 geometric_solution 5.95542983 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.328842332448 0.956633207728 0 3 4 2 0132 0132 0132 2031 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 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.878733721993 0.780656944499 5 1 0 6 0132 1302 0132 0132 0 0 0 0 0 0 1 -1 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 1 0 -1 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.283552712871 0.498061578888 6 1 5 5 0132 0132 3012 0132 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 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.461771412456 0.156562238980 4 4 5 1 1302 2031 2031 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 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.496993243714 0.583454813107 2 3 3 4 0132 1230 0132 1302 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 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.341936080541 1.149276240873 3 6 2 6 0132 2310 0132 3201 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 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.545733133830 1.241068784556 ==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' : 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' : 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' : 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_0011_0'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0101_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : d['c_0011_2'], '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_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 2970361046865978570190302774/12998857075317827118646204115*c_0101_5\ ^17 + 18777544786739537479383365883/12998857075317827118646204115*c\ _0101_5^16 - 82588406550592186107985802903/129988570753178271186462\ 04115*c_0101_5^15 + 44505856599886754700130750603/25997714150635654\ 23729240823*c_0101_5^14 - 93433233977251123350836330536/25997714150\ 63565423729240823*c_0101_5^13 + 750108661021144621689911129769/1299\ 8857075317827118646204115*c_0101_5^12 - 185181181117397433675406095804/2599771415063565423729240823*c_0101_\ 5^11 + 906624845112788109171197887581/12998857075317827118646204115\ *c_0101_5^10 - 707639028051913914984503783689/129988570753178271186\ 46204115*c_0101_5^9 + 610812996674526420056613583358/12998857075317\ 827118646204115*c_0101_5^8 - 542529162803913906606113923583/1299885\ 7075317827118646204115*c_0101_5^7 + 518668483277584906994113110816/12998857075317827118646204115*c_0101\ _5^6 - 366631468420530200174153072314/12998857075317827118646204115\ *c_0101_5^5 - 297189606899849156859228048082/1299885707531782711864\ 6204115*c_0101_5^4 + 144713130668501972415808206637/129988570753178\ 27118646204115*c_0101_5^3 - 14519362673507262452866535289/259977141\ 5063565423729240823*c_0101_5^2 + 360670452882736618193297442871/129\ 98857075317827118646204115*c_0101_5 + 90525745760183580824996611324/12998857075317827118646204115, c_0011_0 - 1, c_0011_2 + 2176562167398750706028528/60459800350315474970447461*c_0101_\ 5^17 - 10382610665065101817502246/60459800350315474970447461*c_0101\ _5^16 + 42370811226944577144542359/60459800350315474970447461*c_010\ 1_5^15 - 85664717063926740320026989/60459800350315474970447461*c_01\ 01_5^14 + 159696543077701868204937570/60459800350315474970447461*c_\ 0101_5^13 - 180093999727005277404690395/60459800350315474970447461*\ c_0101_5^12 + 157835903457668756502417713/6045980035031547497044746\ 1*c_0101_5^11 - 78521493040953922056239274/604598003503154749704474\ 61*c_0101_5^10 + 38129058695774816171975741/60459800350315474970447\ 461*c_0101_5^9 - 131206603801439811670151785/6045980035031547497044\ 7461*c_0101_5^8 + 84524578315940901930426049/6045980035031547497044\ 7461*c_0101_5^7 - 160501172659689105970506592/604598003503154749704\ 47461*c_0101_5^6 - 47120130033028146034645942/604598003503154749704\ 47461*c_0101_5^5 + 239120271281408236310418903/60459800350315474970\ 447461*c_0101_5^4 + 311589682556618599512155142/6045980035031547497\ 0447461*c_0101_5^3 + 165659044029926334974208869/604598003503154749\ 70447461*c_0101_5^2 + 66313825419138483736924300/604598003503154749\ 70447461*c_0101_5 - 45213435688094900150832737/60459800350315474970\ 447461, c_0011_4 - 1111386394683294550775156/60459800350315474970447461*c_0101_\ 5^17 + 5715839728495282788776226/60459800350315474970447461*c_0101_\ 5^16 - 23772664182386623788955372/60459800350315474970447461*c_0101\ _5^15 + 52859348251154916177876321/60459800350315474970447461*c_010\ 1_5^14 - 102346165715744165417210941/60459800350315474970447461*c_0\ 101_5^13 + 134125208255587588985264160/60459800350315474970447461*c\ _0101_5^12 - 137024347649663049972759780/60459800350315474970447461\ *c_0101_5^11 + 100561813867133325465511827/604598003503154749704474\ 61*c_0101_5^10 - 59616781225375559799158589/60459800350315474970447\ 461*c_0101_5^9 + 83533517910360601758779566/60459800350315474970447\ 461*c_0101_5^8 - 60190864777533147465017852/60459800350315474970447\ 461*c_0101_5^7 + 95559290914668525013545115/60459800350315474970447\ 461*c_0101_5^6 - 28510801175860887938418010/60459800350315474970447\ 461*c_0101_5^5 - 120063849828348467982466630/6045980035031547497044\ 7461*c_0101_5^4 - 115779379214431570630575410/604598003503154749704\ 47461*c_0101_5^3 - 88275847825668350727878151/604598003503154749704\ 47461*c_0101_5^2 + 20709019313852389676974680/604598003503154749704\ 47461*c_0101_5 + 40406763925599143421824254/60459800350315474970447\ 461, c_0101_0 - 76393745515352588945884/60459800350315474970447461*c_0101_5^\ 17 - 827864773944621087371698/60459800350315474970447461*c_0101_5^1\ 6 + 4507497969999221925290770/60459800350315474970447461*c_0101_5^1\ 5 - 22081914310274787326168240/60459800350315474970447461*c_0101_5^\ 14 + 49836352842135970574670343/60459800350315474970447461*c_0101_5\ ^13 - 104683463823283480889909862/60459800350315474970447461*c_0101\ _5^12 + 146358292003591586117430819/60459800350315474970447461*c_01\ 01_5^11 - 175400129431188281151576054/60459800350315474970447461*c_\ 0101_5^10 + 167285972914073960317956935/60459800350315474970447461*\ c_0101_5^9 - 152195722299533896904160243/60459800350315474970447461\ *c_0101_5^8 + 182741755421284474686499851/6045980035031547497044746\ 1*c_0101_5^7 - 126889530800425764976474267/604598003503154749704474\ 61*c_0101_5^6 + 148998304744647709421807349/60459800350315474970447\ 461*c_0101_5^5 - 47759404101898681459181362/60459800350315474970447\ 461*c_0101_5^4 - 80754819808875639680001309/60459800350315474970447\ 461*c_0101_5^3 - 148030235832629412417735210/6045980035031547497044\ 7461*c_0101_5^2 - 111353977626245864034117269/604598003503154749704\ 47461*c_0101_5 + 15560575199640972731373822/60459800350315474970447\ 461, c_0101_1 + 2566960251848072125096422/60459800350315474970447461*c_0101_\ 5^17 - 15047620953043899975191215/60459800350315474970447461*c_0101\ _5^16 + 65856753184995691941717009/60459800350315474970447461*c_010\ 1_5^15 - 169717232478856841766578969/60459800350315474970447461*c_0\ 101_5^14 + 359123775883032322520627311/60459800350315474970447461*c\ _0101_5^13 - 565225949938077512303187091/60459800350315474970447461\ *c_0101_5^12 + 714157225238998725264469737/604598003503154749704474\ 61*c_0101_5^11 - 719788432578693921827916142/6045980035031547497044\ 7461*c_0101_5^10 + 617020244225490088521522476/60459800350315474970\ 447461*c_0101_5^9 - 587980394319785087419431792/6045980035031547497\ 0447461*c_0101_5^8 + 511285986226374345294244452/604598003503154749\ 70447461*c_0101_5^7 - 529870177357851668892666898/60459800350315474\ 970447461*c_0101_5^6 + 338988068137621593079640509/6045980035031547\ 4970447461*c_0101_5^5 + 130813906548254005495507921/604598003503154\ 74970447461*c_0101_5^4 + 85961111385943232271108873/604598003503154\ 74970447461*c_0101_5^3 + 141708281844008037317433943/60459800350315\ 474970447461*c_0101_5^2 - 88816481973404120682470217/60459800350315\ 474970447461*c_0101_5 + 24171297482516782759228611/6045980035031547\ 4970447461, c_0101_3 - 1327569539568286/28269696296810723*c_0101_5^17 + 6393802208218871/28269696296810723*c_0101_5^16 - 25993193070976467/28269696296810723*c_0101_5^15 + 52532008074986173/28269696296810723*c_0101_5^14 - 95580259254250610/28269696296810723*c_0101_5^13 + 102333786890808578/28269696296810723*c_0101_5^12 - 73592460851646419/28269696296810723*c_0101_5^11 + 4339760392529694/28269696296810723*c_0101_5^10 + 44121336459097770/28269696296810723*c_0101_5^9 + 1134808870491881/28269696296810723*c_0101_5^8 + 25384951339360206/28269696296810723*c_0101_5^7 + 19956951996111431/28269696296810723*c_0101_5^6 + 103843609705791181/28269696296810723*c_0101_5^5 - 237326693284088642/28269696296810723*c_0101_5^4 - 120249660427291017/28269696296810723*c_0101_5^3 - 137796365643860225/28269696296810723*c_0101_5^2 - 18801782668396277/28269696296810723*c_0101_5 + 34879498498246702/28269696296810723, c_0101_5^18 - 11/2*c_0101_5^17 + 24*c_0101_5^16 - 119/2*c_0101_5^15 + 255/2*c_0101_5^14 - 397/2*c_0101_5^13 + 517/2*c_0101_5^12 - 543/2*c_0101_5^11 + 250*c_0101_5^10 - 248*c_0101_5^9 + 403/2*c_0101_5^8 - 437/2*c_0101_5^7 + 130*c_0101_5^6 + 29/2*c_0101_5^5 + 99*c_0101_5^4 + 108*c_0101_5^3 - 23/2*c_0101_5^2 + 18*c_0101_5 - 43/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB