Magma V2.19-8 Tue Aug 20 2013 16:17:11 on localhost [Seed = 3414841114] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1419 geometric_solution 5.25540392 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 2031 1302 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 0 1 -1 -1 0 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.434632261050 0.176020358183 0 2 0 3 0132 0132 2310 0132 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 1 -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 0 0 0 0.687042549582 1.563540737721 3 1 4 5 3201 0132 0132 0132 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 -1 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 0 0 0 -0.187952147263 0.834163218917 5 4 1 2 3201 3201 0132 2310 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 -1 0 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.187952147263 0.834163218917 6 6 3 2 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 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.211929865445 2.113958215212 5 5 2 3 1302 2031 0132 2310 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 1 0 -1 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.332718926392 0.551110862858 4 6 4 6 0132 2310 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.460290445822 0.508743084567 ==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_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_4']), '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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 147048515093414732809405517/268364719817094640412930*c_0101_4^19 - 8901629112005600491141241009/4025470797256419606193950*c_0101_4^18 - 2664614256791747151931935799/670911799542736601032325*c_0101_4^17 + 22463262132240451545732179879/670911799542736601032325*c_0101_4^16 - 2474497226283640395938255679/23134889639404710380425*c_0101_4^15 + 912870800021700956459974422907/4025470797256419606193950*c_0101_4^1\ 4 - 1345337614217583909131356052617/4025470797256419606193950*c_010\ 1_4^13 + 1486999962896318441935786193611/4025470797256419606193950*\ c_0101_4^12 - 186622894473425461695515339959/6709117995427366010323\ 25*c_0101_4^11 + 167112850540813190655450851032/2012735398628209803\ 096975*c_0101_4^10 + 4317756452350201387177705237/46269779278809420\ 760850*c_0101_4^9 - 126622791868363603334814146937/6709117995427366\ 01032325*c_0101_4^8 + 65633986985038814509211014613/402547079725641\ 960619395*c_0101_4^7 - 142789470559747897509954254342/2012735398628\ 209803096975*c_0101_4^6 + 796546341409956309700240053/2683647198170\ 94640412930*c_0101_4^5 + 37463720922366410960394573667/134182359908\ 5473202064650*c_0101_4^4 - 12923370191484900016491252383/6709117995\ 42736601032325*c_0101_4^3 + 18566265766252184501288638909/402547079\ 7256419606193950*c_0101_4^2 + 2133756346898720448227330543/40254707\ 97256419606193950*c_0101_4 - 915812552493073947766303211/2012735398\ 628209803096975, c_0011_0 - 1, c_0011_3 - 1063260725165130602593905/107345887926837856165172*c_0101_4^\ 19 + 2075456343284191939374857/53672943963418928082586*c_0101_4^18 + 8226688235379113387195971/107345887926837856165172*c_0101_4^17 - 31888439197427371405982811/53672943963418928082586*c_0101_4^16 + 3436853093201316105979697/1850791171152376830434*c_0101_4^15 - 415445257937283146414684733/107345887926837856165172*c_0101_4^14 + 149796036761561639444499037/26836471981709464041293*c_0101_4^13 - 324516745872162086414722555/53672943963418928082586*c_0101_4^12 + 470334673580426749039831575/107345887926837856165172*c_0101_4^11 - 57895495993549028392925207/53672943963418928082586*c_0101_4^10 - 6401978398668063441979025/3701582342304753660868*c_0101_4^9 + 340846798782202446617461099/107345887926837856165172*c_0101_4^8 - 69675133995697282089699080/26836471981709464041293*c_0101_4^7 + 55232105883684075079403341/53672943963418928082586*c_0101_4^6 + 2404242792929242399798465/107345887926837856165172*c_0101_4^5 - 13018249933459252636462054/26836471981709464041293*c_0101_4^4 + 31773254575628606852873991/107345887926837856165172*c_0101_4^3 - 6165836817969890092251321/107345887926837856165172*c_0101_4^2 - 304725281212097755818174/26836471981709464041293*c_0101_4 + 718056628945761750521995/107345887926837856165172, c_0011_4 - 188398743455215825674055/107345887926837856165172*c_0101_4^1\ 9 + 348077643831556937928917/53672943963418928082586*c_0101_4^18 + 1609162131106537704739261/107345887926837856165172*c_0101_4^17 - 5495444741929870370763251/53672943963418928082586*c_0101_4^16 + 568721484796437326774989/1850791171152376830434*c_0101_4^15 - 66316749291413170346941151/107345887926837856165172*c_0101_4^14 + 22751412834573427130833213/26836471981709464041293*c_0101_4^13 - 46721209781366255406752551/53672943963418928082586*c_0101_4^12 + 60466544403929376396436373/107345887926837856165172*c_0101_4^11 - 2531588624944602408121609/53672943963418928082586*c_0101_4^10 - 1197939275011426718778531/3701582342304753660868*c_0101_4^9 + 51753777430056390966802429/107345887926837856165172*c_0101_4^8 - 8963401551893062285858873/26836471981709464041293*c_0101_4^7 + 4949841187266291326677699/53672943963418928082586*c_0101_4^6 + 3182329753108998279220979/107345887926837856165172*c_0101_4^5 - 2108035365209430610945301/26836471981709464041293*c_0101_4^4 + 3258057077036850393704637/107345887926837856165172*c_0101_4^3 - 176763506088552561169911/107345887926837856165172*c_0101_4^2 - 61519351477932928151963/26836471981709464041293*c_0101_4 + 71387013670757470725969/107345887926837856165172, c_0011_5 - 320882078623099920542595/107345887926837856165172*c_0101_4^1\ 9 + 331437604725747586033359/26836471981709464041293*c_0101_4^18 + 2224068726345817048928719/107345887926837856165172*c_0101_4^17 - 9957077019012403660815629/53672943963418928082586*c_0101_4^16 + 1109161234414346666152213/1850791171152376830434*c_0101_4^15 - 137484455938061683893784239/107345887926837856165172*c_0101_4^14 + 102214024308592832826984877/53672943963418928082586*c_0101_4^13 - 56779027679391555562007781/26836471981709464041293*c_0101_4^12 + 172580877914554321475566455/107345887926837856165172*c_0101_4^11 - 26511019394378702570563927/53672943963418928082586*c_0101_4^10 - 1976528569230028730880291/3701582342304753660868*c_0101_4^9 + 116851746747155153055922239/107345887926837856165172*c_0101_4^8 - 25504834342830967780250961/26836471981709464041293*c_0101_4^7 + 22532699988318911271756801/53672943963418928082586*c_0101_4^6 - 1403816996606963868251761/107345887926837856165172*c_0101_4^5 - 8860609959504417647020041/53672943963418928082586*c_0101_4^4 + 12401177378337515629031147/107345887926837856165172*c_0101_4^3 - 3161204051456574888543747/107345887926837856165172*c_0101_4^2 - 292401400449706736268801/53672943963418928082586*c_0101_4 + 323406081852956552967739/107345887926837856165172, c_0101_0 + 305128127912258973720055/53672943963418928082586*c_0101_4^19 - 1268638135952146905865619/53672943963418928082586*c_0101_4^18 - 1040998379666644376991439/26836471981709464041293*c_0101_4^17 + 9496072355940452275689071/26836471981709464041293*c_0101_4^16 - 1063245756839599926452373/925395585576188415217*c_0101_4^15 + 132342308022243995192615303/53672943963418928082586*c_0101_4^14 - 197797064491564680585278559/53672943963418928082586*c_0101_4^13 + 220779384908666601750878453/53672943963418928082586*c_0101_4^12 - 84630000005640867078221421/26836471981709464041293*c_0101_4^11 + 26918565767287826365996730/26836471981709464041293*c_0101_4^10 + 1856732553993154687537147/1850791171152376830434*c_0101_4^9 - 56135758427415014093525169/26836471981709464041293*c_0101_4^8 + 49663531973395128395325218/26836471981709464041293*c_0101_4^7 - 22009437545445053901064634/26836471981709464041293*c_0101_4^6 + 1869400605570512451678481/53672943963418928082586*c_0101_4^5 + 16650949334880037234532059/53672943963418928082586*c_0101_4^4 - 6077876805319124287234140/26836471981709464041293*c_0101_4^3 + 2735907835848370522879815/53672943963418928082586*c_0101_4^2 + 430829845859948307199471/53672943963418928082586*c_0101_4 - 155665021690381017813619/26836471981709464041293, c_0101_1 + 5591851734147593943477395/107345887926837856165172*c_0101_4^\ 19 - 11261346824751306320853273/53672943963418928082586*c_0101_4^18 - 40675894776999184465262433/107345887926837856165172*c_0101_4^17 + 170629582018220958117467095/53672943963418928082586*c_0101_4^16 - 18779023614533188559841377/1850791171152376830434*c_0101_4^15 + 2307397163245865224290455819/107345887926837856165172*c_0101_4^14 - 849313634701382585946354583/26836471981709464041293*c_0101_4^13 + 1876032649400325058319775505/53672943963418928082586*c_0101_4^12 - 2820704009344553309014232757/107345887926837856165172*c_0101_4^11 + 418392862734361291767560677/53672943963418928082586*c_0101_4^10 + 32810904996681463056932851/3701582342304753660868*c_0101_4^9 - 1917233034586207966169157265/107345887926837856165172*c_0101_4^8 + 412802134840169912807459806/26836471981709464041293*c_0101_4^7 - 357832520640336618230511407/53672943963418928082586*c_0101_4^6 + 27676155761401097848796061/107345887926837856165172*c_0101_4^5 + 71001109561197007397307192/26836471981709464041293*c_0101_4^4 - 194150528941727403048500845/107345887926837856165172*c_0101_4^3 + 46055211340995808071878003/107345887926837856165172*c_0101_4^2 + 1434234201819308929708274/26836471981709464041293*c_0101_4 - 4591075974500682139737029/107345887926837856165172, c_0101_4^20 - 19/5*c_0101_4^19 - 41/5*c_0101_4^18 + 297/5*c_0101_4^17 - 904/5*c_0101_4^16 + 1839/5*c_0101_4^15 - 2561/5*c_0101_4^14 + 530*c_0101_4^13 - 1741/5*c_0101_4^12 + 157/5*c_0101_4^11 + 1031/5*c_0101_4^10 - 304*c_0101_4^9 + 1079/5*c_0101_4^8 - 294/5*c_0101_4^7 - 127/5*c_0101_4^6 + 261/5*c_0101_4^5 - 23*c_0101_4^4 + 3*c_0101_4^2 - 3/5*c_0101_4 - 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB