Magma V2.19-8 Tue Aug 20 2013 16:16:30 on localhost [Seed = 1916006036] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0788 geometric_solution 4.72945503 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 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.224684671039 0.138646238702 0 0 2 2 0132 2310 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 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 2.417115791735 1.897744804235 3 1 1 4 0132 3201 0132 0132 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 -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.393256604867 0.571131940662 2 4 4 5 0132 2310 3201 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 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.219583980044 0.792794372661 3 5 2 3 2310 0132 0132 3201 0 0 0 0 0 0 1 -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 1 -1 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.219583980044 0.792794372661 6 4 3 6 0132 0132 0132 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 -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.345761212218 0.784218003824 5 5 6 6 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.927606140358 0.575469892947 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_0'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], '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' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), '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_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 50689358847121259500292348253829500376567/1839922785784137116843219\ 426366681400519*c_0101_6^25 + 1878782374075598892490789109550228348\ 7357/613307595261379038947739808788893800173*c_0101_6^24 - 502589425868215647427149491271150639798242/613307595261379038947739\ 808788893800173*c_0101_6^23 - 1418091251612345380910443984649617148\ 393863/1839922785784137116843219426366681400519*c_0101_6^22 + 16590403677489914439652462095873111127854827/1839922785784137116843\ 219426366681400519*c_0101_6^21 + 1367993199832148025648724006348765\ 3334180143/1839922785784137116843219426366681400519*c_0101_6^20 - 85061821794232793951301726376119145710168688/1839922785784137116843\ 219426366681400519*c_0101_6^19 - 1871891991749318445877210262113190\ 1487468604/613307595261379038947739808788893800173*c_0101_6^18 + 209113109500468339238755818434328537742276793/183992278578413711684\ 3219426366681400519*c_0101_6^17 + 760389811491097451954847404776655\ 69868883451/1839922785784137116843219426366681400519*c_0101_6^16 - 226043569783703244019900123160825745651929449/183992278578413711684\ 3219426366681400519*c_0101_6^15 - 952972263443190492091942372713886\ 620302701/613307595261379038947739808788893800173*c_0101_6^14 - 1093827464652929319124501187069422875666923/20443586508712634631591\ 3269596297933391*c_0101_6^13 + 717078709964499517685098453259678658\ 9070660/1839922785784137116843219426366681400519*c_0101_6^12 + 182863557748899721276456384807319729597544418/183992278578413711684\ 3219426366681400519*c_0101_6^11 + 184833880019359643971981951482209\ 1951822277/613307595261379038947739808788893800173*c_0101_6^10 - 491127899197389039528783209085390415025318/204435865087126346315913\ 269596297933391*c_0101_6^9 - 20750748446254193547214435216021611545\ 6973860/1839922785784137116843219426366681400519*c_0101_6^8 + 14400248935910005864968795646460232580472017/6133075952613790389477\ 39808788893800173*c_0101_6^7 + 126506182927651309816294151918435835\ 450977872/1839922785784137116843219426366681400519*c_0101_6^6 - 33595591020567998730172080568602785294141761/1839922785784137116843\ 219426366681400519*c_0101_6^5 - 46613814302302392614442702694734363\ 355862809/1839922785784137116843219426366681400519*c_0101_6^4 + 9030470371789788727962051864610139132320858/18399227857841371168432\ 19426366681400519*c_0101_6^3 + 137202420181750203580045355339992812\ 48859340/1839922785784137116843219426366681400519*c_0101_6^2 - 496087208728269073750532185973450183247149/613307595261379038947739\ 808788893800173*c_0101_6 - 1493920666907168624604626316838861967732\ 108/1839922785784137116843219426366681400519, c_0011_0 - 1, c_0011_2 - 10329603353159065119689684302945034631/107597823730066498061\ 00698399805154389*c_0101_6^25 - 19346214065211113673622265842914545\ 711/10759782373006649806100698399805154389*c_0101_6^24 + 294789917300102061168299325077340583884/107597823730066498061006983\ 99805154389*c_0101_6^23 + 518160477215785158979401164913255737544/1\ 0759782373006649806100698399805154389*c_0101_6^22 - 3049816954673704638872631654720609758700/10759782373006649806100698\ 399805154389*c_0101_6^21 - 5239989980319256537422958374194590386736\ /10759782373006649806100698399805154389*c_0101_6^20 + 13983797087094108683157056672080343858911/1075978237300664980610069\ 8399805154389*c_0101_6^19 + 234231785115538635097967646345262458992\ 76/10759782373006649806100698399805154389*c_0101_6^18 - 27548536317826659297633880804247554963538/1075978237300664980610069\ 8399805154389*c_0101_6^17 - 424982312297013615867235395521421236440\ 21/10759782373006649806100698399805154389*c_0101_6^16 + 18388965232068803833547160495159779517509/1075978237300664980610069\ 8399805154389*c_0101_6^15 + 257968794391494391064180272990612427864\ 08/10759782373006649806100698399805154389*c_0101_6^14 + 20227929755937766781846293337424840268795/1075978237300664980610069\ 8399805154389*c_0101_6^13 + 693572241620832251246774928909000343764\ 5/10759782373006649806100698399805154389*c_0101_6^12 - 38293430171438079940520649270887687244310/1075978237300664980610069\ 8399805154389*c_0101_6^11 - 332744191096591243081033804847860157734\ 96/10759782373006649806100698399805154389*c_0101_6^10 - 16075608958212928692290860636928726433978/1075978237300664980610069\ 8399805154389*c_0101_6^9 + 4007351742307032512924824158126387104784\ 7/10759782373006649806100698399805154389*c_0101_6^8 + 27288449725035946144156298497100423311625/1075978237300664980610069\ 8399805154389*c_0101_6^7 - 1306402377146313191234241461879577684205\ 2/10759782373006649806100698399805154389*c_0101_6^6 - 12336737734997510048499890929342005979121/1075978237300664980610069\ 8399805154389*c_0101_6^5 + 1109436147406340351863520198284445454844\ /10759782373006649806100698399805154389*c_0101_6^4 + 2455900761407480586134325655662498918626/10759782373006649806100698\ 399805154389*c_0101_6^3 - 48198031184698568540562898736725428450/10\ 759782373006649806100698399805154389*c_0101_6^2 - 177454507365907425207295967745798200961/107597823730066498061006983\ 99805154389*c_0101_6 + 13205869071151108272448741276281829158/10759\ 782373006649806100698399805154389, c_0011_4 + 213613676428439287642870723253308654/10759782373006649806100\ 698399805154389*c_0101_6^25 + 3495149601623686934500958783442101474\ /10759782373006649806100698399805154389*c_0101_6^24 - 369955807780721473185788506956638671/107597823730066498061006983998\ 05154389*c_0101_6^23 - 98560479942874789948159754202116936094/10759\ 782373006649806100698399805154389*c_0101_6^22 - 89075845309754373249211721990494041460/1075978237300664980610069839\ 9805154389*c_0101_6^21 + 1008251446599726265962468383294680718873/1\ 0759782373006649806100698399805154389*c_0101_6^20 + 1231019963272053328078806292867260911764/10759782373006649806100698\ 399805154389*c_0101_6^19 - 4531231451025224627175069680778841721885\ /10759782373006649806100698399805154389*c_0101_6^18 - 6064850492107004751422447572343233789415/10759782373006649806100698\ 399805154389*c_0101_6^17 + 8488478513643792094146654633073968317187\ /10759782373006649806100698399805154389*c_0101_6^16 + 10923399826894222340350473934916527476897/1075978237300664980610069\ 8399805154389*c_0101_6^15 - 481759419116488352616073693736516187182\ 7/10759782373006649806100698399805154389*c_0101_6^14 - 5983440033423558737264253370765748850755/10759782373006649806100698\ 399805154389*c_0101_6^13 - 6893039652449396795890757818234460842467\ /10759782373006649806100698399805154389*c_0101_6^12 - 2016961215167162452390262243211090146283/10759782373006649806100698\ 399805154389*c_0101_6^11 + 1090999247874916664073804943315188745301\ 7/10759782373006649806100698399805154389*c_0101_6^10 + 9479397071608931520547853784572320955647/10759782373006649806100698\ 399805154389*c_0101_6^9 + 5677367944552530804204042199651832241261/\ 10759782373006649806100698399805154389*c_0101_6^8 - 11045531759001198964414832036008388833620/1075978237300664980610069\ 8399805154389*c_0101_6^7 - 6300599587066504662130645242024459607448\ /10759782373006649806100698399805154389*c_0101_6^6 + 2394187964989820604634642485672393426589/10759782373006649806100698\ 399805154389*c_0101_6^5 + 2521776271041279307991518639085205632316/\ 10759782373006649806100698399805154389*c_0101_6^4 - 81487265799042297730348965661728259248/1075978237300664980610069839\ 9805154389*c_0101_6^3 - 363605254614623883900607755505404975063/107\ 59782373006649806100698399805154389*c_0101_6^2 + 6889391777578497320053073411879605477/10759782373006649806100698399\ 805154389*c_0101_6 + 8299655316013011600760314047856599695/10759782\ 373006649806100698399805154389, c_0101_0 + 17981675689123641701055262816438568396/322793471190199494183\ 02095199415463167*c_0101_6^25 + 11876570939174456547622838596686620\ 592/10759782373006649806100698399805154389*c_0101_6^24 - 170107071589305478064626782539091698091/107597823730066498061006983\ 99805154389*c_0101_6^23 - 959364696522457532242163842747107842759/3\ 2279347119019949418302095199415463167*c_0101_6^22 + 5233841887580515183639123444889917894654/32279347119019949418302095\ 199415463167*c_0101_6^21 + 9742072569556031340901690284327738524993\ /32279347119019949418302095199415463167*c_0101_6^20 - 23579722918251525568752399598462612721408/3227934711901994941830209\ 5199415463167*c_0101_6^19 - 146190494984469896623223533199705788263\ 69/10759782373006649806100698399805154389*c_0101_6^18 + 44505298296249856835213706031682373073912/3227934711901994941830209\ 5199415463167*c_0101_6^17 + 811002156123052421243909908164170026113\ 73/32279347119019949418302095199415463167*c_0101_6^16 - 25608619220644794839697312975381263294726/3227934711901994941830209\ 5199415463167*c_0101_6^15 - 172056581381545447614983598209952958840\ 40/10759782373006649806100698399805154389*c_0101_6^14 - 13192699792715315586304647533745999216977/1075978237300664980610069\ 8399805154389*c_0101_6^13 - 144326196252537278731167226610311187980\ 33/32279347119019949418302095199415463167*c_0101_6^12 + 67376351618092714055361299922577326311681/3227934711901994941830209\ 5199415463167*c_0101_6^11 + 221316065698699023093827736425425123021\ 71/10759782373006649806100698399805154389*c_0101_6^10 + 10622736257415094844314865199281771429811/1075978237300664980610069\ 8399805154389*c_0101_6^9 - 6958890551047086148644855760935837557391\ 1/32279347119019949418302095199415463167*c_0101_6^8 - 19119612191063756785840376548482483668911/1075978237300664980610069\ 8399805154389*c_0101_6^7 + 1983865958831519675678746669849067573601\ 5/32279347119019949418302095199415463167*c_0101_6^6 + 26074482087076759469431458406455948545848/3227934711901994941830209\ 5199415463167*c_0101_6^5 + 282850730435880907787505116021317198918/\ 32279347119019949418302095199415463167*c_0101_6^4 - 4992977344209725480658198392970829911679/32279347119019949418302095\ 199415463167*c_0101_6^3 - 465747065952776675568033362850650693882/3\ 2279347119019949418302095199415463167*c_0101_6^2 + 112367371479193821813155518398666012326/107597823730066498061006983\ 99805154389*c_0101_6 - 8822890765454069329886885367015927622/322793\ 47119019949418302095199415463167, c_0101_1 + 55163116272954575922674226651609963893/322793471190199494183\ 02095199415463167*c_0101_6^25 + 29822276759152484125597463175116602\ 571/10759782373006649806100698399805154389*c_0101_6^24 - 531816631764202650697166593371934465204/107597823730066498061006983\ 99805154389*c_0101_6^23 - 2366007805387526752729980913487673342707/\ 32279347119019949418302095199415463167*c_0101_6^22 + 16841869446115800795786827611134225767359/3227934711901994941830209\ 5199415463167*c_0101_6^21 + 237428799204946380998848342392430228886\ 24/32279347119019949418302095199415463167*c_0101_6^20 - 80192504168087910201709020597196675452179/3227934711901994941830209\ 5199415463167*c_0101_6^19 - 349525757038195936856155344643578198662\ 45/10759782373006649806100698399805154389*c_0101_6^18 + 171024356753456728862068093477399579830016/322793471190199494183020\ 95199415463167*c_0101_6^17 + 18377587578195817129136942826499582109\ 9008/32279347119019949418302095199415463167*c_0101_6^16 - 137911387515982133345535100647746338938620/322793471190199494183020\ 95199415463167*c_0101_6^15 - 34554557202266332955015557161734778331\ 127/10759782373006649806100698399805154389*c_0101_6^14 - 29810476115043258743767103076612387062946/1075978237300664980610069\ 8399805154389*c_0101_6^13 - 130269462184603458393808050898665952818\ 73/32279347119019949418302095199415463167*c_0101_6^12 + 207930667065874422209091692964482637664826/322793471190199494183020\ 95199415463167*c_0101_6^11 + 42527536778758148732945520668563075707\ 621/10759782373006649806100698399805154389*c_0101_6^10 + 19605526344870639278721991944804363525758/1075978237300664980610069\ 8399805154389*c_0101_6^9 - 2313858508974114466874030955302063174823\ 37/32279347119019949418302095199415463167*c_0101_6^8 - 29728748436365007874877396529520883602965/1075978237300664980610069\ 8399805154389*c_0101_6^7 + 8545790968504021847113454916652470203690\ 9/32279347119019949418302095199415463167*c_0101_6^6 + 48653526043461886667530822725247422772045/3227934711901994941830209\ 5199415463167*c_0101_6^5 - 1431085074182932760020454774927709943447\ 1/32279347119019949418302095199415463167*c_0101_6^4 - 10408874158067989157844649930767315996760/3227934711901994941830209\ 5199415463167*c_0101_6^3 + 1530666183974369383359133058164604329777\ /32279347119019949418302095199415463167*c_0101_6^2 + 199958935169222558868341360605710422343/107597823730066498061006983\ 99805154389*c_0101_6 - 91823452173760062904098644151978478525/32279\ 347119019949418302095199415463167, c_0101_3 - 18962072609192921672020316223042298885/322793471190199494183\ 02095199415463167*c_0101_6^25 - 10235128440640648952501572516809538\ 551/10759782373006649806100698399805154389*c_0101_6^24 + 183429061558138591050383971814691904734/107597823730066498061006983\ 99805154389*c_0101_6^23 + 814950165915369428403934798741948880371/3\ 2279347119019949418302095199415463167*c_0101_6^22 - 5842431498655280697975092883468941592839/32279347119019949418302095\ 199415463167*c_0101_6^21 - 8227528239177076854831793999801840126498\ /32279347119019949418302095199415463167*c_0101_6^20 + 28117893942651337862084693736625593878173/3227934711901994941830209\ 5199415463167*c_0101_6^19 + 122616429399418830808703992149091491924\ 68/10759782373006649806100698399805154389*c_0101_6^18 - 61343050672411771489936737277249013503550/3227934711901994941830209\ 5199415463167*c_0101_6^17 - 665969271562116269247457576969126012295\ 81/32279347119019949418302095199415463167*c_0101_6^16 + 52510003673555933283446188625258201171008/3227934711901994941830209\ 5199415463167*c_0101_6^15 + 139144982900240375002221986510799147808\ 54/10759782373006649806100698399805154389*c_0101_6^14 + 9106318435243609648998519043147376688579/10759782373006649806100698\ 399805154389*c_0101_6^13 + 1052387677420964358984815173704112516523\ /32279347119019949418302095199415463167*c_0101_6^12 - 75106477704416762954474986706064202366630/3227934711901994941830209\ 5199415463167*c_0101_6^11 - 149137448242149619697833479280731448561\ 01/10759782373006649806100698399805154389*c_0101_6^10 - 4577836506559616027567482624856446631015/10759782373006649806100698\ 399805154389*c_0101_6^9 + 84497808235653802544946610333414268648120\ /32279347119019949418302095199415463167*c_0101_6^8 + 11104017686309687648854157800403335458236/1075978237300664980610069\ 8399805154389*c_0101_6^7 - 3633364017653787538009068692048002730686\ 9/32279347119019949418302095199415463167*c_0101_6^6 - 20261722190770500690854736306164651886797/3227934711901994941830209\ 5199415463167*c_0101_6^5 + 6654679480421166473362998126087420928603\ /32279347119019949418302095199415463167*c_0101_6^4 + 5150336015461624791758906344719436394621/32279347119019949418302095\ 199415463167*c_0101_6^3 - 633250397265462069690136565662667094371/3\ 2279347119019949418302095199415463167*c_0101_6^2 - 140742548575266480361197330463840011819/107597823730066498061006983\ 99805154389*c_0101_6 + 38705686815845461877933772054509083247/32279\ 347119019949418302095199415463167, c_0101_6^26 + c_0101_6^25 - 30*c_0101_6^24 - 25*c_0101_6^23 + 334*c_0101_6^22 + 243*c_0101_6^21 - 1743*c_0101_6^20 - 1021*c_0101_6^19 + 4388*c_0101_6^18 + 1507*c_0101_6^17 - 4808*c_0101_6^16 - 490*c_0101_6^15 - 246*c_0101_6^14 + 841*c_0101_6^13 + 4016*c_0101_6^12 - 35*c_0101_6^11 - 627*c_0101_6^10 - 4952*c_0101_6^9 + 934*c_0101_6^8 + 2851*c_0101_6^7 - 48*c_0101_6^6 - 914*c_0101_6^5 - 57*c_0101_6^4 + 168*c_0101_6^3 - c_0101_6^2 - 11*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB