Magma V2.19-8 Tue Aug 20 2013 16:17:20 on localhost [Seed = 3886447407] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1571 geometric_solution 5.35217818 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 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 0 1 -1 0 0 0 -1 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 2.080972616332 0.617041602242 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 -1 0 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.116318783391 0.731113380819 4 1 5 3 0132 0132 0132 2031 0 0 0 0 0 1 -1 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 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.345194696008 0.512678638559 5 2 4 1 1023 1302 2310 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.345194696008 0.512678638559 2 3 6 6 0132 3201 2310 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 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.771761311421 2.060864359383 5 3 5 2 2310 1023 3201 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 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.601762545647 0.898063907704 6 4 4 6 3201 3201 0132 2310 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.553975837149 0.384090955709 ==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_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_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), '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' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], '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_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 26492721629982923792169065637/17760369371057095332433061600*c_0101_\ 4^15 + 44108881484018314868464147647/2220046171382136916554132700*c\ _0101_4^14 - 226512243602620381768938643067/35520738742114190664866\ 12320*c_0101_4^13 + 57736077737321249631701739407/88801846855285476\ 66216530800*c_0101_4^12 + 46540035138740576238201866577/23368907067\ 1803885953066600*c_0101_4^11 - 4227292254985591279233189745373/1776\ 0369371057095332433061600*c_0101_4^10 - 189185326100185391546855919909/17760369371057095332433061600*c_0101\ _4^9 + 247940113746808886452540489131/934756282687215543812266400*c\ _0101_4^8 - 2097980330236037954698429617951/17760369371057095332433\ 061600*c_0101_4^7 + 1929464351245046155890628248593/177603693710570\ 95332433061600*c_0101_4^6 + 228182103589554182045885955383/44400923\ 42764273833108265400*c_0101_4^5 - 78520039119757904559338826117/222\ 0046171382136916554132700*c_0101_4^4 + 1110048544284537989221381645763/8880184685528547666216530800*c_0101\ _4^3 + 48276651317955564809096266041/1776036937105709533243306160*c\ _0101_4^2 - 52953066945097530379487947999/8880184685528547666216530\ 800*c_0101_4 + 333453089904084205289301207539/177603693710570953324\ 33061600, c_0011_0 - 1, c_0011_3 - 28300663718074938845268531/934756282687215543812266400*c_010\ 1_4^15 + 101495336544122269125903837/233689070671803885953066600*c_\ 0101_4^14 - 323317362867405006966126073/186951256537443108762453280\ *c_0101_4^13 + 817822752455320719286658581/467378141343607771906133\ 200*c_0101_4^12 + 687395534811370435391159029/233689070671803885953\ 066600*c_0101_4^11 - 8256730459832987677638311979/93475628268721554\ 3812266400*c_0101_4^10 + 7675128440612445769473693913/9347562826872\ 15543812266400*c_0101_4^9 + 536727758887134931766344087/93475628268\ 7215543812266400*c_0101_4^8 - 7293780748422633442760132573/93475628\ 2687215543812266400*c_0101_4^7 + 10929941777867704313957490519/9347\ 56282687215543812266400*c_0101_4^6 - 826085192416078359526870963/116844535335901942976533300*c_0101_4^5 + 233625498088368695150694433/233689070671803885953066600*c_0101_4^4 + 1975720685633675018386183859/467378141343607771906133200*c_0101_4^3 - 310555511795201725463640739/93475628268721554381226640*c_0101_4^2 + 1186353684528900455754197393/467378141343607771906133200*c_0101_4 - 445808942553220651333180983/934756282687215543812266400, c_0011_6 - 476317702140758626613067/12804880584756377312496800*c_0101_4\ ^15 + 3180090348660492912518073/6402440292378188656248400*c_0101_4^\ 14 - 4064906024234591688315723/2560976116951275462499360*c_0101_4^1\ 3 - 485576855947330663098543/6402440292378188656248400*c_0101_4^12 + 9994987220873285005352619/1600610073094547164062100*c_0101_4^11 - 101740381603312017189548183/12804880584756377312496800*c_0101_4^10 - 12739654638772809211980629/12804880584756377312496800*c_0101_4^9 + 161439345567595390481475239/12804880584756377312496800*c_0101_4^8 - 136782003631183228589472371/12804880584756377312496800*c_0101_4^7 + 70555349025145965913076843/12804880584756377312496800*c_0101_4^6 + 21491578980352026407682551/6402440292378188656248400*c_0101_4^5 - 33148888241335216908545863/6402440292378188656248400*c_0101_4^4 + 21784473949080801983502189/3201220146189094328124200*c_0101_4^3 - 274436407629882862150517/128048805847563773124968*c_0101_4^2 - 151763783529435676511134/400152518273636791015525*c_0101_4 + 11408678652919063634742179/12804880584756377312496800, c_0101_0 + 137045103552200094069646593/467378141343607771906133200*c_01\ 01_4^15 - 238892111476815919003354023/58422267667950971488266650*c_\ 0101_4^14 + 1403204419294041109889521307/93475628268721554381226640\ *c_0101_4^13 - 2231122100046888107378937953/23368907067180388595306\ 6600*c_0101_4^12 - 2166556395389030062709617401/5842226766795097148\ 8266650*c_0101_4^11 + 33691790642212818675530398357/467378141343607\ 771906133200*c_0101_4^10 - 16089579492472948449433573859/4673781413\ 43607771906133200*c_0101_4^9 - 21512642264990728073187972381/467378\ 141343607771906133200*c_0101_4^8 + 28710719209189079319287003959/467378141343607771906133200*c_0101_4^\ 7 - 25195121645139844536098537497/467378141343607771906133200*c_010\ 1_4^6 + 859746064886586357754789899/58422267667950971488266650*c_01\ 01_4^5 + 653058030808075872613737713/58422267667950971488266650*c_0\ 101_4^4 - 7644416489983165208559833987/233689070671803885953066600*\ c_0101_4^3 + 137975109559834952707400185/9347562826872155438122664*\ c_0101_4^2 - 815276623814645335413135699/23368907067180388595306660\ 0*c_0101_4 - 329398493124019160057947391/46737814134360777190613320\ 0, c_0101_1 + 590791724826541404720831/46737814134360777190613320*c_0101_4\ ^15 - 9099845328576253664695167/46737814134360777190613320*c_0101_4\ ^14 + 42489189430485867620108439/46737814134360777190613320*c_0101_\ 4^13 - 8460050092807529202792148/5842226766795097148826665*c_0101_4\ ^12 - 2335657700538318942963394/5842226766795097148826665*c_0101_4^\ 11 + 177709563060544938145081201/46737814134360777190613320*c_0101_\ 4^10 - 5485879113432287070835006/1168445353359019429765333*c_0101_4\ ^9 + 68550689756072019696146363/23368907067180388595306660*c_0101_4\ ^8 - 98287626866390448854413523/46737814134360777190613320*c_0101_4\ ^7 + 22266501484028332645632747/46737814134360777190613320*c_0101_4\ ^6 + 176308370378069361667759307/46737814134360777190613320*c_0101_\ 4^5 - 44864787662939489576508753/11684453533590194297653330*c_0101_\ 4^4 + 17919240853119719937418119/9347562826872155438122664*c_0101_4\ ^3 - 11644838624385201738860071/23368907067180388595306660*c_0101_4\ ^2 + 8291917268518102573525723/9347562826872155438122664*c_0101_4 + 28593219973543177009770959/46737814134360777190613320, c_0101_2 + 1690870626809234927201259/12804880584756377312496800*c_0101_\ 4^15 - 6036719421190034478116223/3201220146189094328124200*c_0101_4\ ^14 + 19000117631943207472258401/2560976116951275462499360*c_0101_4\ ^13 - 45760012239255478102138489/6402440292378188656248400*c_0101_4\ ^12 - 41739303469023736987773451/3201220146189094328124200*c_0101_4\ ^11 + 460860904314388084332022091/12804880584756377312496800*c_0101\ _4^10 - 378750603048709311375694417/12804880584756377312496800*c_01\ 01_4^9 - 90153702135604549700399903/12804880584756377312496800*c_01\ 01_4^8 + 341980443663791291383644117/12804880584756377312496800*c_0\ 101_4^7 - 403498314089609407034750311/12804880584756377312496800*c_\ 0101_4^6 + 24217793863508107623691687/1600610073094547164062100*c_0\ 101_4^5 - 7809927850315038135116987/3201220146189094328124200*c_010\ 1_4^4 - 76829516776427349257628231/6402440292378188656248400*c_0101\ _4^3 + 2195179266765741103638447/256097611695127546249936*c_0101_4^\ 2 - 23874675237106302678721337/6402440292378188656248400*c_0101_4 - 2297093222085891734711833/12804880584756377312496800, c_0101_4^16 - 43/3*c_0101_4^15 + 511/9*c_0101_4^14 - 493/9*c_0101_4^13 - 950/9*c_0101_4^12 + 871/3*c_0101_4^11 - 2080/9*c_0101_4^10 - 722/9*c_0101_4^9 + 2296/9*c_0101_4^8 - 2492/9*c_0101_4^7 + 1169/9*c_0101_4^6 + 8/3*c_0101_4^5 - 122*c_0101_4^4 + 272/3*c_0101_4^3 - 36*c_0101_4^2 - 1/9*c_0101_4 + 19/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB