Magma V2.19-8 Tue Aug 20 2013 16:16:17 on localhost [Seed = 2362249327] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0544 geometric_solution 4.56698939 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 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 1 0 -1 0 0 0 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 5.985759755399 3.470507381865 0 2 2 0 3201 0132 3201 0132 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 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 0 0 0 0 -0.146572795540 0.160106006445 1 1 3 4 2310 0132 0132 0132 0 0 0 0 0 -1 1 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 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.298830519828 2.778833756371 4 4 5 2 1302 1023 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 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.334824405599 0.773924072499 3 3 2 5 1023 2031 0132 2310 0 0 0 0 0 0 0 0 0 0 0 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 0 0 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.334824405599 0.773924072499 4 6 6 3 3201 0132 1023 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 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.384442571997 0.232484063689 6 5 5 6 3012 0132 1023 1230 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 0 0 0 0 0 0 0 0 0 0 0 1.529123210761 1.088399997965 ==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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_1, c_0011_3, c_0011_5, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 81242756919639076249658031089/1803912484012863362243111971*c_0101_6\ ^21 - 24775403519548702652385501546/1803912484012863362243111971*c_\ 0101_6^20 + 1130118099784627129465386676351/18039124840128633622431\ 11971*c_0101_6^19 - 303255651877735559580285351013/1803912484012863\ 362243111971*c_0101_6^18 - 1885049021506638397903972583764/18039124\ 84012863362243111971*c_0101_6^17 - 844491939737498559262378656248/1803912484012863362243111971*c_0101_\ 6^16 - 5578128942266802974552776004792/1803912484012863362243111971\ *c_0101_6^15 - 1430720981906930997860584141534/18039124840128633622\ 43111971*c_0101_6^14 + 10535066273445818913448834615749/18039124840\ 12863362243111971*c_0101_6^13 + 19761662713911610304510701016224/18\ 03912484012863362243111971*c_0101_6^12 + 7027491367835745402915642309021/1803912484012863362243111971*c_0101\ _6^11 + 12173900495017977232530859145988/18039124840128633622431119\ 71*c_0101_6^10 - 201553430806164081643549021248/1803912484012863362\ 243111971*c_0101_6^9 - 44595941896370462656934414913700/18039124840\ 12863362243111971*c_0101_6^8 - 32033099479922605894675128004572/180\ 3912484012863362243111971*c_0101_6^7 - 25884434912981499889436293201711/1803912484012863362243111971*c_010\ 1_6^6 - 25717201653075740624884706143621/18039124840128633622431119\ 71*c_0101_6^5 - 7427034903651612977340513415648/1803912484012863362\ 243111971*c_0101_6^4 + 3959247725196333392695478089665/180391248401\ 2863362243111971*c_0101_6^3 + 2524876552745875812989192461030/18039\ 12484012863362243111971*c_0101_6^2 + 404088491548970808164787952385/1803912484012863362243111971*c_0101_\ 6 + 125529439053089290924880000638/1803912484012863362243111971, c_0011_0 - 1, c_0011_1 + 2070312369473260917096801/1803912484012863362243111971*c_010\ 1_6^21 - 4853398371468912543518156/1803912484012863362243111971*c_0\ 101_6^20 - 9208984091118656956189372/1803912484012863362243111971*c\ _0101_6^19 + 72069872018091001375861642/180391248401286336224311197\ 1*c_0101_6^18 - 267139502921106517231632301/18039124840128633622431\ 11971*c_0101_6^17 + 226800543192724216043279229/1803912484012863362\ 243111971*c_0101_6^16 + 417455345904712175021281413/180391248401286\ 3362243111971*c_0101_6^15 - 449941486132065086549952808/18039124840\ 12863362243111971*c_0101_6^14 + 1003756775696497365436538451/180391\ 2484012863362243111971*c_0101_6^13 - 702340896679575491702524437/1803912484012863362243111971*c_0101_6^1\ 2 - 1499210636198760079709284085/1803912484012863362243111971*c_010\ 1_6^11 - 2720575853163576062474732124/1803912484012863362243111971*\ c_0101_6^10 + 2749916697996730642881160356/180391248401286336224311\ 1971*c_0101_6^9 - 1844425024192188309273361940/18039124840128633622\ 43111971*c_0101_6^8 + 816521899488310182443009045/18039124840128633\ 62243111971*c_0101_6^7 + 8387756492242634100056254854/1803912484012\ 863362243111971*c_0101_6^6 - 2775842748720140656766266077/180391248\ 4012863362243111971*c_0101_6^5 + 1678699457280680684286328674/18039\ 12484012863362243111971*c_0101_6^4 + 2492495115857657896774459042/1803912484012863362243111971*c_0101_6^\ 3 - 455240518551680111788472783/1803912484012863362243111971*c_0101\ _6^2 - 13442321515143743321644382/1803912484012863362243111971*c_01\ 01_6 + 1471704343292740594142114399/1803912484012863362243111971, c_0011_3 - 286782854763276811021893168/1803912484012863362243111971*c_0\ 101_6^21 - 16239396096218503049007007/1803912484012863362243111971*\ c_0101_6^20 + 3971347195635413378208523418/180391248401286336224311\ 1971*c_0101_6^19 - 2070421756578204760979242936/1803912484012863362\ 243111971*c_0101_6^18 - 5836889031468646801415620513/18039124840128\ 63362243111971*c_0101_6^17 - 1513289245709469642835789672/180391248\ 4012863362243111971*c_0101_6^16 - 19845055049349675936306415454/180\ 3912484012863362243111971*c_0101_6^15 - 544994697865732846835847532/1803912484012863362243111971*c_0101_6^1\ 4 + 35698894469761799890572011816/1803912484012863362243111971*c_01\ 01_6^13 + 60132260526321369088938975181/180391248401286336224311197\ 1*c_0101_6^12 + 12622410350033487384234773201/180391248401286336224\ 3111971*c_0101_6^11 + 46196169456153009588482096507/180391248401286\ 3362243111971*c_0101_6^10 - 8262416567041542163832377548/1803912484\ 012863362243111971*c_0101_6^9 - 151708622814927126165610594721/1803\ 912484012863362243111971*c_0101_6^8 - 74983279837764862363361398065/1803912484012863362243111971*c_0101_6\ ^7 - 85385850268933618484111462694/1803912484012863362243111971*c_0\ 101_6^6 - 81727495051997730247663508897/180391248401286336224311197\ 1*c_0101_6^5 - 16715627202455205431847276043/1803912484012863362243\ 111971*c_0101_6^4 + 10625468893598803380375449575/18039124840128633\ 62243111971*c_0101_6^3 + 3369028188299506779275323013/1803912484012\ 863362243111971*c_0101_6^2 - 1507084903824285983138078409/180391248\ 4012863362243111971*c_0101_6 + 1077915605526750081174980677/1803912\ 484012863362243111971, c_0011_5 - 14550591591164115673640915/1803912484012863362243111971*c_01\ 01_6^21 - 3626164535769929950116884/1803912484012863362243111971*c_\ 0101_6^20 + 255506698213612814255016046/180391248401286336224311197\ 1*c_0101_6^19 - 101102641715621372727755681/18039124840128633622431\ 11971*c_0101_6^18 - 1050851847186112699727409651/180391248401286336\ 2243111971*c_0101_6^17 + 787518091655667864277841630/18039124840128\ 63362243111971*c_0101_6^16 - 436947362841993976697444021/1803912484\ 012863362243111971*c_0101_6^15 - 641012197047455239974141949/180391\ 2484012863362243111971*c_0101_6^14 + 5705932289825847461685470152/1803912484012863362243111971*c_0101_6^\ 13 + 1161664155547403030019312005/1803912484012863362243111971*c_01\ 01_6^12 - 4243661855466952243549178540/1803912484012863362243111971\ *c_0101_6^11 - 4049378675586828816808423463/18039124840128633622431\ 11971*c_0101_6^10 + 3257595370451600012674233607/180391248401286336\ 2243111971*c_0101_6^9 - 19318836436161980311050604675/1803912484012\ 863362243111971*c_0101_6^8 + 361622156112964803688159379/1803912484\ 012863362243111971*c_0101_6^7 + 20109925366361396241968756038/18039\ 12484012863362243111971*c_0101_6^6 - 8442709310316944877258366347/1803912484012863362243111971*c_0101_6^\ 5 + 13750415540852079108218197081/1803912484012863362243111971*c_01\ 01_6^4 + 10157957357095605390235274608/1803912484012863362243111971\ *c_0101_6^3 - 1494401287165731875028638381/180391248401286336224311\ 1971*c_0101_6^2 - 210846053262236234432837913/180391248401286336224\ 3111971*c_0101_6 + 66850555112258499300361907/180391248401286336224\ 3111971, c_0101_1 - 125940753495188504700145342/1803912484012863362243111971*c_0\ 101_6^21 - 102026737278561998057516518/1803912484012863362243111971\ *c_0101_6^20 + 1740345418504307344042408626/18039124840128633622431\ 11971*c_0101_6^19 + 434021976834510242294712546/1803912484012863362\ 243111971*c_0101_6^18 - 3270493143450863048710585379/18039124840128\ 63362243111971*c_0101_6^17 - 2997477864935250143006544319/180391248\ 4012863362243111971*c_0101_6^16 - 8976361496579490750586778834/1803\ 912484012863362243111971*c_0101_6^15 - 6050332808896032210440371738/1803912484012863362243111971*c_0101_6^\ 14 + 15794199173481119999173282542/1803912484012863362243111971*c_0\ 101_6^13 + 39961963147211371894104471553/18039124840128633622431119\ 71*c_0101_6^12 + 24862901391923010969278792519/18039124840128633622\ 43111971*c_0101_6^11 + 19792041573760673488986833237/18039124840128\ 63362243111971*c_0101_6^10 + 5408202406206313695923747399/180391248\ 4012863362243111971*c_0101_6^9 - 69486266287483929797160090316/1803\ 912484012863362243111971*c_0101_6^8 - 84071881446199159176984907198/1803912484012863362243111971*c_0101_6\ ^7 - 59242508313660308809289204058/1803912484012863362243111971*c_0\ 101_6^6 - 48603713933075385860105471615/180391248401286336224311197\ 1*c_0101_6^5 - 28120942710892772537548371100/1803912484012863362243\ 111971*c_0101_6^4 + 3416407224394868200550277954/180391248401286336\ 2243111971*c_0101_6^3 + 7882972631304735033706058661/18039124840128\ 63362243111971*c_0101_6^2 + 416622011573426298722059271/18039124840\ 12863362243111971*c_0101_6 + 224003523330815440790929499/1803912484\ 012863362243111971, c_0101_2 + 1210620630611090530808443/1803912484012863362243111971*c_010\ 1_6^21 - 7692764919145370378585198/1803912484012863362243111971*c_0\ 101_6^20 + 25064058629391050072529899/1803912484012863362243111971*\ c_0101_6^19 + 88072909699240052762967446/18039124840128633622431119\ 71*c_0101_6^18 - 607501164853828303581317134/1803912484012863362243\ 111971*c_0101_6^17 + 580237477957520599750031883/180391248401286336\ 2243111971*c_0101_6^16 + 537993449010373706862209089/18039124840128\ 63362243111971*c_0101_6^15 - 899290509142523454960128729/1803912484\ 012863362243111971*c_0101_6^14 + 2757679168940264464221564115/18039\ 12484012863362243111971*c_0101_6^13 - 1111162250355326305387886945/1803912484012863362243111971*c_0101_6^\ 12 - 2936603620604477776990032264/1803912484012863362243111971*c_01\ 01_6^11 - 4776676777234748464914084235/1803912484012863362243111971\ *c_0101_6^10 + 4965888761034613316037944848/18039124840128633622431\ 11971*c_0101_6^9 - 7534137405978689412242143345/1803912484012863362\ 243111971*c_0101_6^8 + 968317308322651045400745597/1803912484012863\ 362243111971*c_0101_6^7 + 17379177478323875383841888771/18039124840\ 12863362243111971*c_0101_6^6 - 6731071085206291556120092379/1803912\ 484012863362243111971*c_0101_6^5 + 6208589479967458638221049629/1803912484012863362243111971*c_0101_6^\ 4 + 6499011692113756081744977439/1803912484012863362243111971*c_010\ 1_6^3 - 1100515333931923537197344895/1803912484012863362243111971*c\ _0101_6^2 - 65102730936562169052495666/1803912484012863362243111971\ *c_0101_6 + 855915326295573611124361210/180391248401286336224311197\ 1, c_0101_6^22 - 14*c_0101_6^20 + 8*c_0101_6^19 + 22*c_0101_6^18 + 3*c_0101_6^17 + 66*c_0101_6^16 - 3*c_0101_6^15 - 135*c_0101_6^14 - 202*c_0101_6^13 - 14*c_0101_6^12 - 127*c_0101_6^11 + 45*c_0101_6^10 + 550*c_0101_6^9 + 223*c_0101_6^8 + 204*c_0101_6^7 + 232*c_0101_6^6 - 7*c_0101_6^5 - 71*c_0101_6^4 - 14*c_0101_6^3 + 2*c_0101_6^2 - c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB