Magma V2.19-8 Tue Aug 20 2013 16:17:54 on localhost [Seed = 1646526114] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2125 geometric_solution 5.61681328 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 2031 1302 0 0 0 0 0 -1 -1 2 1 0 -2 1 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 1 -1 0 0 1 -1 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.600966879704 0.147365484234 0 2 0 3 0132 0132 2310 0132 0 0 0 0 0 0 1 -1 -1 0 0 1 -1 1 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 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.823689744145 0.438469530813 4 1 5 3 0132 0132 0132 1230 0 0 0 0 0 0 0 0 -1 0 1 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 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.663812037413 0.874145617831 2 5 1 4 3012 3201 0132 0132 0 0 0 0 0 -1 1 0 0 0 -1 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 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.663812037413 0.874145617831 2 4 3 4 0132 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.049726937863 1.240204972053 6 6 3 2 0132 2310 2310 0132 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 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 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.059072453247 1.851435515549 5 6 6 5 0132 1230 3012 3201 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.159291531925 0.409206029507 ==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_3'], 'c_1100_4' : d['c_0011_0'], '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_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_0'], '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_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_5']), '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' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_5']), '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_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 5890032980593785481853713006973385/11510854428050479624535919653744\ *c_0101_5^27 + 13915368144055531529067863287525077/1151085442805047\ 9624535919653744*c_0101_5^26 + 40565245508421621176226263544527769/\ 5755427214025239812267959826872*c_0101_5^25 - 32663512833908987739317991306936639/1438856803506309953066989956718\ *c_0101_5^24 - 296616032937311287825274976305820879/115108544280504\ 79624535919653744*c_0101_5^23 + 11207835789271138909857148584810465\ 7/719428401753154976533494978359*c_0101_5^22 - 527740956546079780513307981255826145/115108544280504796245359196537\ 44*c_0101_5^21 - 363980897749936045924455594426005431/7194284017531\ 54976533494978359*c_0101_5^20 + 33802768362809017398312882095462048\ 93/5755427214025239812267959826872*c_0101_5^19 + 4259177221900748907507213730294660917/57554272140252398122679598268\ 72*c_0101_5^18 - 10424882770535002726653236284198897923/57554272140\ 25239812267959826872*c_0101_5^17 + 215485007186137346972383616572415793/575542721402523981226795982687\ 2*c_0101_5^16 + 15937540237618262696372612087917925135/575542721402\ 5239812267959826872*c_0101_5^15 - 215746760627349417345685381516239\ 86561/11510854428050479624535919653744*c_0101_5^14 - 23866848155083252135353752181812117199/1151085442805047962453591965\ 3744*c_0101_5^13 + 17698166217903989629297477909540364553/575542721\ 4025239812267959826872*c_0101_5^12 + 2406719304709658465465960558116561581/11510854428050479624535919653\ 744*c_0101_5^11 - 28002906422950346803454701926026656491/1151085442\ 8050479624535919653744*c_0101_5^10 + 10609457113406248874472417409968376573/1151085442805047962453591965\ 3744*c_0101_5^9 + 5710552085009845406450365903943468801/57554272140\ 25239812267959826872*c_0101_5^8 - 892670239968266710524629052468448\ 7673/11510854428050479624535919653744*c_0101_5^7 - 1757649389826853871788304613666442761/11510854428050479624535919653\ 744*c_0101_5^6 + 819754941938950932451536355751380583/2877713607012\ 619906133979913436*c_0101_5^5 - 25463461765735468466212125030263285\ 3/11510854428050479624535919653744*c_0101_5^4 - 36262512987213020431906853797565365/719428401753154976533494978359*\ c_0101_5^3 + 54015450048628576348934636317196915/575542721402523981\ 2267959826872*c_0101_5^2 + 40908111916575651239274872336369395/1151\ 0854428050479624535919653744*c_0101_5 - 1859915132641683535529348443287901/2877713607012619906133979913436, c_0011_0 - 1, c_0011_3 - 20410713231904278299405601310797/460434177122019184981436786\ 14976*c_0101_5^27 - 388489446998649093576365984580111/4604341771220\ 1918498143678614976*c_0101_5^26 + 103192113976588641244295396807069\ 7/23021708856100959249071839307488*c_0101_5^25 + 300463530019219983034437750790301/5755427214025239812267959826872*c\ _0101_5^24 - 27239214898535275402482627050926219/460434177122019184\ 98143678614976*c_0101_5^23 + 3194491544171054887566412090625905/575\ 5427214025239812267959826872*c_0101_5^22 + 116199368580819388966910668189907723/460434177122019184981436786149\ 76*c_0101_5^21 - 32773923242576532895855392464649179/57554272140252\ 39812267959826872*c_0101_5^20 - 45100987326489982825762672554219055\ /23021708856100959249071839307488*c_0101_5^19 + 421213856579815806608932217107087145/230217088561009592490718393074\ 88*c_0101_5^18 - 320475915051844275103828449555501135/2302170885610\ 0959249071839307488*c_0101_5^17 - 540376749598445970314684638963792\ 011/23021708856100959249071839307488*c_0101_5^16 + 1017406347117450364354832026282776539/23021708856100959249071839307\ 488*c_0101_5^15 - 62471228047851425115671010381868101/4604341771220\ 1918498143678614976*c_0101_5^14 - 252162696864194768703779360022982\ 3779/46043417712201918498143678614976*c_0101_5^13 + 904585344219496406849198649067834801/230217088561009592490718393074\ 88*c_0101_5^12 + 1224531191773655515945382090296942641/460434177122\ 01918498143678614976*c_0101_5^11 - 2177692444704252028962935903296286351/46043417712201918498143678614\ 976*c_0101_5^10 + 299033422882229935556208221462427337/460434177122\ 01918498143678614976*c_0101_5^9 + 573116556462978555054795817412144\ 017/23021708856100959249071839307488*c_0101_5^8 - 635765388246273461839647961632668285/460434177122019184981436786149\ 76*c_0101_5^7 - 238583734557817290702857527709607829/46043417712201\ 918498143678614976*c_0101_5^6 + 72958610015190064415649561897122097\ /11510854428050479624535919653744*c_0101_5^5 - 14111803114869400311376929596288313/4604341771220191849814367861497\ 6*c_0101_5^4 - 7124217436983135334336754143329119/57554272140252398\ 12267959826872*c_0101_5^3 + 5615949394054918175985403250454359/2302\ 1708856100959249071839307488*c_0101_5^2 + 4287963920807270242194935821654879/46043417712201918498143678614976\ *c_0101_5 - 202866232785079034263378509021231/115108544280504796245\ 35919653744, c_0011_5 + 569611429609425292015498709658963/46043417712201918498143678\ 614976*c_0101_5^27 - 2543017731063290391793287077192943/46043417712\ 201918498143678614976*c_0101_5^26 - 1735681611384351133214397866873655/23021708856100959249071839307488\ *c_0101_5^25 + 4493673817121967624915613050445757/57554272140252398\ 12267959826872*c_0101_5^24 - 37754383249126447618139586603423275/46\ 043417712201918498143678614976*c_0101_5^23 - 18273374002557374619777282949476263/5755427214025239812267959826872\ *c_0101_5^22 + 373095042909234930762226171910096811/460434177122019\ 18498143678614976*c_0101_5^21 + 4832984810435101938858180124474277/\ 5755427214025239812267959826872*c_0101_5^20 - 561477816511380395827468490955634991/230217088561009592490718393074\ 88*c_0101_5^19 + 559247698136572391347189758490736841/2302170885610\ 0959249071839307488*c_0101_5^18 + 584337662806834770034925376851574\ 257/23021708856100959249071839307488*c_0101_5^17 - 1511916028393268131265254859782838987/23021708856100959249071839307\ 488*c_0101_5^16 + 426539834611069664379493982028186907/230217088561\ 00959249071839307488*c_0101_5^15 + 3212916156631689692230952858056929499/46043417712201918498143678614\ 976*c_0101_5^14 - 3320176503307909635318338510489773379/46043417712\ 201918498143678614976*c_0101_5^13 - 413294626761393368616153198048172879/230217088561009592490718393074\ 88*c_0101_5^12 + 3275726230801160834697214002768907153/460434177122\ 01918498143678614976*c_0101_5^11 - 1299921412602277429996905307063448111/46043417712201918498143678614\ 976*c_0101_5^10 - 1311798411746788352231986111170975959/46043417712\ 201918498143678614976*c_0101_5^9 + 648823430730254743424366406962047537/230217088561009592490718393074\ 88*c_0101_5^8 + 9182444024012650825447501653610211/4604341771220191\ 8498143678614976*c_0101_5^7 - 465129391887798603514218486757830517/\ 46043417712201918498143678614976*c_0101_5^6 + 38317483789542915871153573470262945/1151085442805047962453591965374\ 4*c_0101_5^5 + 60146485239537040724631869876448807/4604341771220191\ 8498143678614976*c_0101_5^4 - 5070299133232709852675745798687823/57\ 55427214025239812267959826872*c_0101_5^3 + 423459928309145846880113174668535/23021708856100959249071839307488*\ c_0101_5^2 + 3060063205946258597382986613452863/4604341771220191849\ 8143678614976*c_0101_5 - 107301302460886649855663349396303/11510854\ 428050479624535919653744, c_0101_0 + 307030357469199667587439174148079/11510854428050479624535919\ 653744*c_0101_5^27 - 900077517380389828134048079224555/115108544280\ 50479624535919653744*c_0101_5^26 - 1833111595679321192406353536684059/5755427214025239812267959826872*\ c_0101_5^25 + 1921845888172443547095956371279137/143885680350630995\ 3066989956718*c_0101_5^24 + 6723163917035565067129133858935513/1151\ 0854428050479624535919653744*c_0101_5^23 - 11619475409461520211206541914654755/1438856803506309953066989956718\ *c_0101_5^22 + 71949900071644880952477867928465095/1151085442805047\ 9624535919653744*c_0101_5^21 + 31086124438203832651389132155254717/\ 1438856803506309953066989956718*c_0101_5^20 - 216692259277514956225914635506462859/575542721402523981226795982687\ 2*c_0101_5^19 - 110523982500046261909656140573560427/57554272140252\ 39812267959826872*c_0101_5^18 + 52723272171376739207951422502459750\ 9/5755427214025239812267959826872*c_0101_5^17 - 199170827923343709305537349639445135/575542721402523981226795982687\ 2*c_0101_5^16 - 657519615825731503015633067288518377/57554272140252\ 39812267959826872*c_0101_5^15 + 13666911210373360821229844789668649\ 99/11510854428050479624535919653744*c_0101_5^14 + 692956368997717163313175511398931121/115108544280504796245359196537\ 44*c_0101_5^13 - 872148783313062172845724255164005435/5755427214025\ 239812267959826872*c_0101_5^12 + 2738303065329187774658353808924443\ 57/11510854428050479624535919653744*c_0101_5^11 + 1192605425601426569739160218676568533/11510854428050479624535919653\ 744*c_0101_5^10 - 673989363739926880936691892211018371/115108544280\ 50479624535919653744*c_0101_5^9 - 208202885212313634360747531229408\ 619/5755427214025239812267959826872*c_0101_5^8 + 457134795922883706199595745058250431/115108544280504796245359196537\ 44*c_0101_5^7 + 33963546571821257674923786166771591/115108544280504\ 79624535919653744*c_0101_5^6 - 39110075529501291782373008837896035/\ 2877713607012619906133979913436*c_0101_5^5 + 22496099354354809673019086883902739/1151085442805047962453591965374\ 4*c_0101_5^4 + 3390202747387706582838313245134993/14388568035063099\ 53066989956718*c_0101_5^3 - 3107784919889655231255440115365581/5755\ 427214025239812267959826872*c_0101_5^2 - 1957784230948559193184452609006981/11510854428050479624535919653744\ *c_0101_5 + 90328244301806627331328669352585/2877713607012619906133\ 979913436, c_0101_1 - 2013597168520504398759178442813709/2302170885610095924907183\ 9307488*c_0101_5^27 + 5238160337868859856000341395219825/2302170885\ 6100959249071839307488*c_0101_5^26 + 13000535869271226092275921454613033/1151085442805047962453591965374\ 4*c_0101_5^25 - 11706433344593266295081878852005159/287771360701261\ 9906133979913436*c_0101_5^24 - 75148407047681106135694542866540747/\ 23021708856100959249071839307488*c_0101_5^23 + 75377318103550040003705364148377665/2877713607012619906133979913436\ *c_0101_5^22 - 307033159934450719027473089220009525/230217088561009\ 59249071839307488*c_0101_5^21 - 22366386783807950396799159926766496\ 3/2877713607012619906133979913436*c_0101_5^20 + 1248070734805133616429081562790156929/11510854428050479624535919653\ 744*c_0101_5^19 + 1085744896049208979801375982905876953/11510854428\ 050479624535919653744*c_0101_5^18 - 3408319416950001927277993441687646639/11510854428050479624535919653\ 744*c_0101_5^17 + 635089066580989121435329474693111925/115108544280\ 50479624535919653744*c_0101_5^16 + 4724309059202325266405182009218059627/11510854428050479624535919653\ 744*c_0101_5^15 - 7803468858886772268831935725220789189/23021708856\ 100959249071839307488*c_0101_5^14 - 6125514203580955753794526530935658851/23021708856100959249071839307\ 488*c_0101_5^13 + 5596900805216309312039162415485648833/11510854428\ 050479624535919653744*c_0101_5^12 - 420993321673258862155399631482248783/230217088561009592490718393074\ 88*c_0101_5^11 - 8200340534776735139802947868112544655/230217088561\ 00959249071839307488*c_0101_5^10 + 3741045968638581068280187912821999657/23021708856100959249071839307\ 488*c_0101_5^9 + 1553229982400458051349450805020782177/115108544280\ 50479624535919653744*c_0101_5^8 - 278589677622905961885603225436192\ 5565/23021708856100959249071839307488*c_0101_5^7 - 395607417063133013927476268218882517/230217088561009592490718393074\ 88*c_0101_5^6 + 245098960564626465880701401519976337/57554272140252\ 39812267959826872*c_0101_5^5 - 99961101956318470917600280969588153/\ 23021708856100959249071839307488*c_0101_5^4 - 21428821599872868389139296636104143/2877713607012619906133979913436\ *c_0101_5^3 + 17130461310986594188731089341342039/11510854428050479\ 624535919653744*c_0101_5^2 + 12256987546840560544138167532297439/23\ 021708856100959249071839307488*c_0101_5 - 562153955684787946956029655590703/5755427214025239812267959826872, c_0101_2 - 180768476434523491924652131303545/46043417712201918498143678\ 614976*c_0101_5^27 + 737333685485405672487023593336653/460434177122\ 01918498143678614976*c_0101_5^26 + 716523722059792865067206608473573/23021708856100959249071839307488*\ c_0101_5^25 - 1380269452552942492940272029149279/575542721402523981\ 2267959826872*c_0101_5^24 + 7387258500071356359048113418648961/4604\ 3417712201918498143678614976*c_0101_5^23 + 6484362926360888815906314940096501/5755427214025239812267959826872*\ c_0101_5^22 - 100586445684291304226328039120857537/4604341771220191\ 8498143678614976*c_0101_5^21 - 7714688963223222499872198556812207/5\ 755427214025239812267959826872*c_0101_5^20 + 178455855182468334653816066380959629/230217088561009592490718393074\ 88*c_0101_5^19 - 107016425716849388904860801319248571/2302170885610\ 0959249071839307488*c_0101_5^18 - 261931932619253204559974507040140\ 787/23021708856100959249071839307488*c_0101_5^17 + 415286621380662202418209874240062913/230217088561009592490718393074\ 88*c_0101_5^16 + 53819972474264642873901506325231855/23021708856100\ 959249071839307488*c_0101_5^15 - 1156435488598170268223446084271438\ 673/46043417712201918498143678614976*c_0101_5^14 + 692423605799075495512505981999913673/460434177122019184981436786149\ 76*c_0101_5^13 + 336254676014025434185448000993019629/2302170885610\ 0959249071839307488*c_0101_5^12 - 986594555535367622227006477120895\ 091/46043417712201918498143678614976*c_0101_5^11 + 60266687472281784317128205029755213/4604341771220191849814367861497\ 6*c_0101_5^10 + 580100459748843569357827727668373445/46043417712201\ 918498143678614976*c_0101_5^9 - 14988323714181342348655215789363317\ 1/23021708856100959249071839307488*c_0101_5^8 - 129850637620874042485233909366142377/460434177122019184981436786149\ 76*c_0101_5^7 + 156888062650653206179132092106957727/46043417712201\ 918498143678614976*c_0101_5^6 - 3446188793404333228292291419547795/\ 11510854428050479624535919653744*c_0101_5^5 - 31682311050599604697165995915927157/4604341771220191849814367861497\ 6*c_0101_5^4 + 1255326907860023942415465161494469/57554272140252398\ 12267959826872*c_0101_5^3 + 884043548186975603171899057848251/23021\ 708856100959249071839307488*c_0101_5^2 - 1036510833762866373907173985628989/46043417712201918498143678614976\ *c_0101_5 + 17077713375946092212639332185677/1151085442805047962453\ 5919653744, c_0101_5^28 - 11/3*c_0101_5^27 - 86/9*c_0101_5^26 + 1568/27*c_0101_5^25 - 467/27*c_0101_5^24 - 2756/9*c_0101_5^23 + 12307/27*c_0101_5^22 + 15356/27*c_0101_5^21 - 51790/27*c_0101_5^20 + 12346/27*c_0101_5^19 + 96266/27*c_0101_5^18 - 33914/9*c_0101_5^17 - 69538/27*c_0101_5^16 + 185483/27*c_0101_5^15 - 41975/27*c_0101_5^14 - 162338/27*c_0101_5^13 + 128417/27*c_0101_5^12 + 58469/27*c_0101_5^11 - 112835/27*c_0101_5^10 + 14446/27*c_0101_5^9 + 5515/3*c_0101_5^8 - 7571/9*c_0101_5^7 - 10312/27*c_0101_5^6 + 8959/27*c_0101_5^5 + 364/27*c_0101_5^4 - 1570/27*c_0101_5^3 + 175/27*c_0101_5^2 + 104/27*c_0101_5 - 16/27 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB