Magma V2.19-8 Tue Aug 20 2013 16:19:11 on localhost [Seed = 3330759614] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3306 geometric_solution 6.43532009 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 -1 2 -1 0 0 1 0 0 0 0 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.585564568690 0.939922892201 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 0 -1 1 1 0 0 -1 -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 -1 0 0 1 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.602520086260 0.805477711040 3 0 4 5 2310 0132 3201 2310 0 0 0 0 0 1 -1 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 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.602520086260 0.805477711040 3 1 2 3 3012 0132 3201 1230 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.349885717458 0.795275490011 2 6 1 6 2310 0132 0132 2310 0 0 0 0 0 0 -1 1 0 0 1 -1 -1 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 -1 1 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.150167443251 0.740564362620 2 5 5 1 3201 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.649226308176 0.795402754500 4 4 6 6 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 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.542779875792 0.235632055054 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(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' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 102462207261477576591993211368779335619308146197/276554315814895563\ 049738264648293965731414114*c_0110_6^35 + 6029597462181898361093462663752210696680777070651/27655431581489556\ 3049738264648293965731414114*c_0110_6^33 - 128591109477236646570444371262371838199161842833799/276554315814895\ 563049738264648293965731414114*c_0110_6^31 + 1270091133200284828406568701316458259928139947308761/27655431581489\ 5563049738264648293965731414114*c_0110_6^29 - 3183558584308795787079740146506107707138192680704226/13827715790744\ 7781524869132324146982865707057*c_0110_6^27 + 14492018058824105549962524636094210803885538575971187/2765543158148\ 95563049738264648293965731414114*c_0110_6^25 - 12452585602292357342600380900415418527920923437368705/2765543158148\ 95563049738264648293965731414114*c_0110_6^23 - 2307190755199592199931247782828779211591373230571065/27655431581489\ 5563049738264648293965731414114*c_0110_6^21 + 4741239224663222808841331230183308157594471833129602/13827715790744\ 7781524869132324146982865707057*c_0110_6^19 - 179463364477902964509234049710278177200239314408470/138277157907447\ 781524869132324146982865707057*c_0110_6^17 - 3207596470277510489791576407296148110333149521995559/13827715790744\ 7781524869132324146982865707057*c_0110_6^15 + 1977433920373657060704645438260159529844371656296258/13827715790744\ 7781524869132324146982865707057*c_0110_6^13 - 365465273966999652833836820312402892313062432627676/138277157907447\ 781524869132324146982865707057*c_0110_6^11 - 101166171953270131798326732582106328357193557311615/276554315814895\ 563049738264648293965731414114*c_0110_6^9 + 11647324366640552109886493107270198525587757403236/1382771579074477\ 81524869132324146982865707057*c_0110_6^7 + 30167743473631688944641093572463939544324150265445/2765543158148955\ 63049738264648293965731414114*c_0110_6^5 - 5456662094063835814917440191272431595192662041883/13827715790744778\ 1524869132324146982865707057*c_0110_6^3 + 883831442243046994448837453393658651738228263359/276554315814895563\ 049738264648293965731414114*c_0110_6, c_0011_0 - 1, c_0011_4 - 253832393167484792186713034773398758300387512/13827715790744\ 7781524869132324146982865707057*c_0110_6^34 + 14951658337238481570159714936053192113360259278/1382771579074477815\ 24869132324146982865707057*c_0110_6^32 - 319401347794588814533857440211880666373139539836/138277157907447781\ 524869132324146982865707057*c_0110_6^30 + 3164076817534339697113347092718385392351536469434/13827715790744778\ 1524869132324146982865707057*c_0110_6^28 - 15943313218101392553855640409421245417836923913776/1382771579074477\ 81524869132324146982865707057*c_0110_6^26 + 36714538037615645141371923181372254857773675563707/1382771579074477\ 81524869132324146982865707057*c_0110_6^24 - 32495802253223096847787265866989617715053360828050/1382771579074477\ 81524869132324146982865707057*c_0110_6^22 - 4766582080645498533509571106843862726515825126044/13827715790744778\ 1524869132324146982865707057*c_0110_6^20 + 24313516758874667988348567994225615734282999120634/1382771579074477\ 81524869132324146982865707057*c_0110_6^18 - 1865856778215356291547785854883242048928362527705/13827715790744778\ 1524869132324146982865707057*c_0110_6^16 - 16326551674340728900566500843757958112265313979108/1382771579074477\ 81524869132324146982865707057*c_0110_6^14 + 10527324770503792045622286392867592986250235269164/1382771579074477\ 81524869132324146982865707057*c_0110_6^12 - 2010736590745154867222655545717309317382830677395/13827715790744778\ 1524869132324146982865707057*c_0110_6^10 - 265754799764708985339497617795400813286213989642/138277157907447781\ 524869132324146982865707057*c_0110_6^8 + 72206084055561244361148459474811332762322298955/1382771579074477815\ 24869132324146982865707057*c_0110_6^6 + 78588036184642712879350315843324462648679932732/1382771579074477815\ 24869132324146982865707057*c_0110_6^4 - 30306983648397241590282706565688976206060760579/1382771579074477815\ 24869132324146982865707057*c_0110_6^2 + 2257427504265286699652563977765464604472737409/13827715790744778152\ 4869132324146982865707057, c_0101_0 + 35150887587667254650376579091467605187052367/138277157907447\ 781524869132324146982865707057*c_0110_6^35 - 2076254719674390669507385819121310547742054992/13827715790744778152\ 4869132324146982865707057*c_0110_6^33 + 44564461912442200012654877740284857529302405965/1382771579074477815\ 24869132324146982865707057*c_0110_6^31 - 445122816059783019168724583524703579674012725416/138277157907447781\ 524869132324146982865707057*c_0110_6^29 + 2273873921178666320574402472871423972412075538487/13827715790744778\ 1524869132324146982865707057*c_0110_6^27 - 5391809989042723552011225830490815507312353778689/13827715790744778\ 1524869132324146982865707057*c_0110_6^25 + 5077470494104675641376685744585909697417200191400/13827715790744778\ 1524869132324146982865707057*c_0110_6^23 + 434441350511654728603902060156994522809899441040/138277157907447781\ 524869132324146982865707057*c_0110_6^21 - 3763221060610270905140893464036787621910760519334/13827715790744778\ 1524869132324146982865707057*c_0110_6^19 + 549704518340579576341833038357054074261494986448/138277157907447781\ 524869132324146982865707057*c_0110_6^17 + 2521011326721323131812542966812579537480446195210/13827715790744778\ 1524869132324146982865707057*c_0110_6^15 - 1690518552095283271225549991179917792395471364266/13827715790744778\ 1524869132324146982865707057*c_0110_6^13 + 289660225551007618390710757961932894003639419107/138277157907447781\ 524869132324146982865707057*c_0110_6^11 + 53709695183900158422200785108872952714300725484/1382771579074477815\ 24869132324146982865707057*c_0110_6^9 - 8208175571916738164634341899226611781643626205/13827715790744778152\ 4869132324146982865707057*c_0110_6^7 - 14132592487429886546297754144796805744061241460/1382771579074477815\ 24869132324146982865707057*c_0110_6^5 + 4137944002166217035095004745663474501345228104/13827715790744778152\ 4869132324146982865707057*c_0110_6^3 - 25640898417783195046312254343135753955857175/1382771579074477815248\ 69132324146982865707057*c_0110_6, c_0101_1 + 54182953633545493454638423705694200317774371/138277157907447\ 781524869132324146982865707057*c_0110_6^34 - 3178813741054619744895263129748370690731702265/13827715790744778152\ 4869132324146982865707057*c_0110_6^32 + 67432540930180180205753846813778919688444571434/1382771579074477815\ 24869132324146982865707057*c_0110_6^30 - 659633531511821882654047162502015638682153644302/138277157907447781\ 524869132324146982865707057*c_0110_6^28 + 3250270769627718857425812481491029938529660800375/13827715790744778\ 1524869132324146982865707057*c_0110_6^26 - 7094560333893184620454134469126000257402093910697/13827715790744778\ 1524869132324146982865707057*c_0110_6^24 + 5377004019666605247743930786117819058466948275123/13827715790744778\ 1524869132324146982865707057*c_0110_6^22 + 2050572996161905726506542133619776905100842609776/13827715790744778\ 1524869132324146982865707057*c_0110_6^20 - 4551493730636454821689670177535651621272121250523/13827715790744778\ 1524869132324146982865707057*c_0110_6^18 - 584995237385100186804932420537169965758433980129/138277157907447781\ 524869132324146982865707057*c_0110_6^16 + 3207717221086448658419104289577088272455377557025/13827715790744778\ 1524869132324146982865707057*c_0110_6^14 - 1531454757405626206089274184790527739621034130419/13827715790744778\ 1524869132324146982865707057*c_0110_6^12 + 169182969023233878449085904715891835109390343013/138277157907447781\ 524869132324146982865707057*c_0110_6^10 + 57177624233275321588173677254361932784974966848/1382771579074477815\ 24869132324146982865707057*c_0110_6^8 + 1310068509880069282169261209936420918165950149/13827715790744778152\ 4869132324146982865707057*c_0110_6^6 - 15098882672848723498741635697276672754064442817/1382771579074477815\ 24869132324146982865707057*c_0110_6^4 + 3572196098791602215738050594768703873779296019/13827715790744778152\ 4869132324146982865707057*c_0110_6^2 - 178567967261632754510324627316412061209739072/138277157907447781524\ 869132324146982865707057, c_0101_2 - 320689441686247620307068277011136830407590285/13827715790744\ 7781524869132324146982865707057*c_0110_6^34 + 18876109927304530191627355418115116510772958486/1382771579074477815\ 24869132324146982865707057*c_0110_6^32 - 402730098425527459963550403560830441483926333856/138277157907447781\ 524869132324146982865707057*c_0110_6^30 + 3980661027459454266228707836061706444905974115716/13827715790744778\ 1524869132324146982865707057*c_0110_6^28 - 19980642887733748489208174867474391236844289030068/1382771579074477\ 81524869132324146982865707057*c_0110_6^26 + 45607402168993042428251303803505694265466368845778/1382771579074477\ 81524869132324146982865707057*c_0110_6^24 - 39467348643994233556407104103030686297761596034092/1382771579074477\ 81524869132324146982865707057*c_0110_6^22 - 6979157243040840901014617781298402087550575431145/13827715790744778\ 1524869132324146982865707057*c_0110_6^20 + 29990358329575261163763126911898069509121936564140/1382771579074477\ 81524869132324146982865707057*c_0110_6^18 - 1418193620242342589112464587975940429010791087601/13827715790744778\ 1524869132324146982865707057*c_0110_6^16 - 20263571472073300013350432062188796861918587985024/1382771579074477\ 81524869132324146982865707057*c_0110_6^14 + 12610358129329993591664346426691688149723794455361/1382771579074477\ 81524869132324146982865707057*c_0110_6^12 - 2314318236914620581664539198432200558542815510897/13827715790744778\ 1524869132324146982865707057*c_0110_6^10 - 336175612173801771298718111266666387111200880374/138277157907447781\ 524869132324146982865707057*c_0110_6^8 + 76066004580021704466022017756369400226732650357/1382771579074477815\ 24869132324146982865707057*c_0110_6^6 + 96816842219867430756744857605464567295176923828/1382771579074477815\ 24869132324146982865707057*c_0110_6^4 - 35168236508421509300030718133775793968370528658/1382771579074477815\ 24869132324146982865707057*c_0110_6^2 + 2584897685816496559014121878159998906072787340/13827715790744778152\ 4869132324146982865707057, c_0101_3 - 833993095249447720890624029144474061524250547/13827715790744\ 7781524869132324146982865707057*c_0110_6^35 + 49089707406590482011434480338528285105634508588/1382771579074477815\ 24869132324146982865707057*c_0110_6^33 - 1047350818181849559829616751228000497487936339528/13827715790744778\ 1524869132324146982865707057*c_0110_6^31 + 10352212295625864689604929181471396943435787817761/1382771579074477\ 81524869132324146982865707057*c_0110_6^29 - 51962027052929139187868960381801180491071943268874/1382771579074477\ 81524869132324146982865707057*c_0110_6^27 + 118605634997234595660923148368370924326068778066476/138277157907447\ 781524869132324146982865707057*c_0110_6^25 - 102628552607891988965757358841634869034920867462981/138277157907447\ 781524869132324146982865707057*c_0110_6^23 - 18167466304371559958940826470097507034053938976805/1382771579074477\ 81524869132324146982865707057*c_0110_6^21 + 77989097804271221707202814109750501000471569526190/1382771579074477\ 81524869132324146982865707057*c_0110_6^19 - 3671576582619820940001916771154963150100695435705/13827715790744778\ 1524869132324146982865707057*c_0110_6^17 - 52692298194354167939815162120548436562112459977963/1382771579074477\ 81524869132324146982865707057*c_0110_6^15 + 32775629574806194371041113213346185654602387064018/1382771579074477\ 81524869132324146982865707057*c_0110_6^13 - 6021055854965100273399792535410581873359209223005/13827715790744778\ 1524869132324146982865707057*c_0110_6^11 - 869266033416743147284201082555859442620183595560/138277157907447781\ 524869132324146982865707057*c_0110_6^9 + 199317500539075769072515043282704062179775562417/138277157907447781\ 524869132324146982865707057*c_0110_6^7 + 249230721269368418562462756860555453492910797443/138277157907447781\ 524869132324146982865707057*c_0110_6^5 - 90752732738627058890927560667170660998997753276/1382771579074477815\ 24869132324146982865707057*c_0110_6^3 + 6708470150660783087020604836955216023140171931/13827715790744778152\ 4869132324146982865707057*c_0110_6, c_0110_6^36 - 59*c_0110_6^34 + 1264*c_0110_6^32 - 12587*c_0110_6^30 + 64023*c_0110_6^28 - 150805*c_0110_6^26 + 142497*c_0110_6^24 + 5346*c_0110_6^22 - 96952*c_0110_6^20 + 17105*c_0110_6^18 + 62969*c_0110_6^16 - 47941*c_0110_6^14 + 12389*c_0110_6^12 + 140*c_0110_6^10 - 385*c_0110_6^8 - 273*c_0110_6^6 + 150*c_0110_6^4 - 22*c_0110_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB