Magma V2.19-8 Tue Aug 20 2013 16:17:32 on localhost [Seed = 1882320044] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1765 geometric_solution 5.45031900 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 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 0 0 0 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.510640567134 0.458467434826 0 3 2 4 0132 0132 1230 0132 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 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.915713532834 0.973502826085 3 0 4 1 2310 0132 3201 3012 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 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.915713532834 0.973502826085 3 1 2 3 3012 0132 3201 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.093598987717 0.704447285395 2 5 1 5 2310 0132 0132 2310 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 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.581084195116 0.572576179769 4 4 6 6 3201 0132 3201 0132 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 0.282881751109 0.397763907499 5 6 5 6 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.941683918645 1.821770635351 ==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_6']), 'c_1100_5' : negation(d['c_0011_6']), '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_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_4'], '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' : d['c_0011_6'], '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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0011_4'], '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_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0011_4'], '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_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 41538095401576471398646862508711748181/1903440486969062955627834076\ 3017302*c_0101_6^26 - 67178999777884021453224789767886327973/190344\ 04869690629556278340763017302*c_0101_6^25 - 2323019391172857654240901308017233691127/38068809739381259112556681\ 526034604*c_0101_6^24 + 1706520909503103346734730910228822640511/95\ 17202434845314778139170381508651*c_0101_6^23 + 9896847092091550977217979061079918629993/19034404869690629556278340\ 763017302*c_0101_6^22 - 82332566114173515059153689495654054274609/3\ 8068809739381259112556681526034604*c_0101_6^21 - 30413999885349189993629120057593267917969/3806880973938125911255668\ 1526034604*c_0101_6^20 + 377773198295935095745267006410232454218395\ /38068809739381259112556681526034604*c_0101_6^19 - 138963633373931106725215233810391458128703/380688097393812591125566\ 81526034604*c_0101_6^18 - 19787454550173630785505711594383441768235\ 9/9517202434845314778139170381508651*c_0101_6^17 + 593336283089262618358542585374869175892579/380688097393812591125566\ 81526034604*c_0101_6^16 + 41175891792032444827977627687431589015674\ 5/19034404869690629556278340763017302*c_0101_6^15 - 460271846145158778598887319791149254546889/190344048696906295562783\ 40763017302*c_0101_6^14 - 22468295669071224376175012227266906249534\ 1/19034404869690629556278340763017302*c_0101_6^13 + 670718505582988708332033340987060096934913/380688097393812591125566\ 81526034604*c_0101_6^12 + 91811017418776768518420030156219044535003\ /19034404869690629556278340763017302*c_0101_6^11 - 177096734974452639551967803450348177300711/380688097393812591125566\ 81526034604*c_0101_6^10 - 10584708392720911055997610290671600767754\ 1/38068809739381259112556681526034604*c_0101_6^9 - 17766821218863051949798325023075608346455/1903440486969062955627834\ 0763017302*c_0101_6^8 + 47318920024236224854144364749390667397887/3\ 8068809739381259112556681526034604*c_0101_6^7 + 24116854359320547858452915222960098567865/3806880973938125911255668\ 1526034604*c_0101_6^6 - 8966049795285949576726416276332235785027/38\ 068809739381259112556681526034604*c_0101_6^5 - 448532529306188456874164312637407336182/951720243484531477813917038\ 1508651*c_0101_6^4 + 1384322873030238132738542023755824303145/38068\ 809739381259112556681526034604*c_0101_6^3 + 550870994673554804605479684252524455489/190344048696906295562783407\ 63017302*c_0101_6^2 + 750008914513736910698073486286570228677/38068\ 809739381259112556681526034604*c_0101_6 + 73063038131775637834047702350853501075/1903440486969062955627834076\ 3017302, c_0011_0 - 1, c_0011_4 - 1098722175484103885387021278177565209/1903440486969062955627\ 8340763017302*c_0101_6^26 + 993845336029718788446235195117584389/95\ 17202434845314778139170381508651*c_0101_6^25 + 60423797998973005819267774077372757779/3806880973938125911255668152\ 6034604*c_0101_6^24 - 191518605715832986875392805780010908335/38068\ 809739381259112556681526034604*c_0101_6^23 - 480063687199072138414436689683463816501/380688097393812591125566815\ 26034604*c_0101_6^22 + 1121554050947586447863927845190834139747/190\ 34404869690629556278340763017302*c_0101_6^21 + 333671939558830393785650315301066549683/380688097393812591125566815\ 26034604*c_0101_6^20 - 2441635704135148918087162720698315073464/951\ 7202434845314778139170381508651*c_0101_6^19 + 5412786570544195708768506111155307318749/38068809739381259112556681\ 526034604*c_0101_6^18 + 18824206756964631962765817035261032890617/3\ 8068809739381259112556681526034604*c_0101_6^17 - 9006397127431110534792293642310279392339/19034404869690629556278340\ 763017302*c_0101_6^16 - 4220324292767055812741510592909596593554/95\ 17202434845314778139170381508651*c_0101_6^15 + 6143084910915777414727577050740868071123/95172024348453147781391703\ 81508651*c_0101_6^14 + 3501029220181577583791819750512181915443/190\ 34404869690629556278340763017302*c_0101_6^13 - 16059878806939433710023295250511088228671/3806880973938125911255668\ 1526034604*c_0101_6^12 - 2788953190495075142533872237835620363187/3\ 8068809739381259112556681526034604*c_0101_6^11 + 980900823825033508810303431270303364429/951720243484531477813917038\ 1508651*c_0101_6^10 + 2512912751841929530316116596121949795157/3806\ 8809739381259112556681526034604*c_0101_6^9 + 640289121345951379577954183952957818851/380688097393812591125566815\ 26034604*c_0101_6^8 - 297571093507165186848178962106013457468/95172\ 02434845314778139170381508651*c_0101_6^7 - 444901404898302397012561180526177781245/380688097393812591125566815\ 26034604*c_0101_6^6 + 101026897675465996982479476164709841197/19034\ 404869690629556278340763017302*c_0101_6^5 + 7465441785413407391674226590617135452/95172024348453147781391703815\ 08651*c_0101_6^4 - 31321853376308443833695385981165206307/380688097\ 39381259112556681526034604*c_0101_6^3 - 26514674336382101385130768892379744383/3806880973938125911255668152\ 6034604*c_0101_6^2 - 4072921998269654919880839848134565229/95172024\ 34845314778139170381508651*c_0101_6 - 1482064994611159644172164996359850973/19034404869690629556278340763\ 017302, c_0011_6 + 439939954256489994359609434456306448/95172024348453147781391\ 70381508651*c_0101_6^26 - 1350506724111342163397789485874873429/190\ 34404869690629556278340763017302*c_0101_6^25 - 49545091556038290841074504591545083001/3806880973938125911255668152\ 6034604*c_0101_6^24 + 35195262928609486994763751602103568852/951720\ 2434845314778139170381508651*c_0101_6^23 + 216951191846507656608114275179326472113/190344048696906295562783407\ 63017302*c_0101_6^22 - 1719923983225080983837714281056170695455/380\ 68809739381259112556681526034604*c_0101_6^21 - 804835350169037917529073622703965884985/380688097393812591125566815\ 26034604*c_0101_6^20 + 8063648990642196984114177509295557867451/380\ 68809739381259112556681526034604*c_0101_6^19 - 2330727020137439449260407609828281244415/38068809739381259112556681\ 526034604*c_0101_6^18 - 8721094507358153768320869275544470573851/19\ 034404869690629556278340763017302*c_0101_6^17 + 11677072185684124716078383431697852962263/3806880973938125911255668\ 1526034604*c_0101_6^16 + 9549076666001901255448081208615959075363/1\ 9034404869690629556278340763017302*c_0101_6^15 - 4811517545232028477308818361619033618352/95172024348453147781391703\ 81508651*c_0101_6^14 - 5637189909031254430551115458796146415625/190\ 34404869690629556278340763017302*c_0101_6^13 + 14661627232608057246363101469080043364677/3806880973938125911255668\ 1526034604*c_0101_6^12 + 2356481459096728585541177616372430117525/1\ 9034404869690629556278340763017302*c_0101_6^11 - 3998241578280151580357419140246032761727/38068809739381259112556681\ 526034604*c_0101_6^10 - 2370227790570130599324250414808008836533/38\ 068809739381259112556681526034604*c_0101_6^9 - 425943897079506264000866303986186509425/190344048696906295562783407\ 63017302*c_0101_6^8 + 1010574972139632143733035626695773367461/3806\ 8809739381259112556681526034604*c_0101_6^7 + 585609236946797869278290136596943975063/380688097393812591125566815\ 26034604*c_0101_6^6 - 199672902385177247973059296625373217405/38068\ 809739381259112556681526034604*c_0101_6^5 - 11528955386008661683271604100962326612/9517202434845314778139170381\ 508651*c_0101_6^4 + 31712647139589926526062243885745635453/38068809\ 739381259112556681526034604*c_0101_6^3 + 6006136082700533251170365484312908150/95172024348453147781391703815\ 08651*c_0101_6^2 + 17276017944497667154230407415793171085/380688097\ 39381259112556681526034604*c_0101_6 + 1731797786224263123376568613080399573/19034404869690629556278340763\ 017302, c_0101_0 - 1251287038559973363595273596631490863/3806880973938125911255\ 6681526034604*c_0101_6^26 + 3468707087626123113809643198241602845/3\ 8068809739381259112556681526034604*c_0101_6^25 + 31522838368809787967166872977727814901/3806880973938125911255668152\ 6034604*c_0101_6^24 - 140508800626354116629371302345096654423/38068\ 809739381259112556681526034604*c_0101_6^23 - 149946411796905562238658713485186526911/380688097393812591125566815\ 26034604*c_0101_6^22 + 734252026401471164387360371310482008147/1903\ 4404869690629556278340763017302*c_0101_6^21 - 288059753683525311145640588837552535283/951720243484531477813917038\ 1508651*c_0101_6^20 - 2480082027139349612595472625436739254481/1903\ 4404869690629556278340763017302*c_0101_6^19 + 8090906951545388409612350976918855953509/38068809739381259112556681\ 526034604*c_0101_6^18 + 4818582551007031920507741653711214655525/38\ 068809739381259112556681526034604*c_0101_6^17 - 8571874172484042632589249476424964620121/19034404869690629556278340\ 763017302*c_0101_6^16 + 4318153953886208677715880193069396787387/38\ 068809739381259112556681526034604*c_0101_6^15 + 15111158260795150876684843619292162751157/3806880973938125911255668\ 1526034604*c_0101_6^14 - 10192504987364130997791036146486995537871/\ 38068809739381259112556681526034604*c_0101_6^13 - 2333423609605104585964225337305847663565/19034404869690629556278340\ 763017302*c_0101_6^12 + 1158446044145684492478039403889922828463/95\ 17202434845314778139170381508651*c_0101_6^11 + 87825404383545198677224722237724485451/3806880973938125911255668152\ 6034604*c_0101_6^10 + 533635321756970117055798874809330851405/38068\ 809739381259112556681526034604*c_0101_6^9 - 119358920048213634157857053700048942998/951720243484531477813917038\ 1508651*c_0101_6^8 - 134728950679082402265353585775073856762/951720\ 2434845314778139170381508651*c_0101_6^7 + 321164103432636841540210212532625922139/380688097393812591125566815\ 26034604*c_0101_6^6 + 5024174731799059071573489980606244865/9517202\ 434845314778139170381508651*c_0101_6^5 - 19366925505004805182534546688347917363/1903440486969062955627834076\ 3017302*c_0101_6^4 - 286122981683064677796536978695572439/190344048\ 69690629556278340763017302*c_0101_6^3 - 8308961455611489963384394013547447451/38068809739381259112556681526\ 034604*c_0101_6^2 + 657492021778315269545458879568474401/1903440486\ 9690629556278340763017302*c_0101_6 + 1070450481156433965186706452412755331/38068809739381259112556681526\ 034604, c_0101_1 - 2090441243864561577487800809738799185/3806880973938125911255\ 6681526034604*c_0101_6^26 + 1600138094577194353732802442914714491/1\ 9034404869690629556278340763017302*c_0101_6^25 + 29431650236395179017184347868731718931/1903440486969062955627834076\ 3017302*c_0101_6^24 - 41747111220035198756324390238141384774/951720\ 2434845314778139170381508651*c_0101_6^23 - 128996500799357129296313153847780187741/951720243484531477813917038\ 1508651*c_0101_6^22 + 1020265731367000601336190997674953809543/1903\ 4404869690629556278340763017302*c_0101_6^21 + 963706729968882543967624897993617986147/380688097393812591125566815\ 26034604*c_0101_6^20 - 9569553674308739032194899341770210680687/380\ 68809739381259112556681526034604*c_0101_6^19 + 2725475391277662629945298269229694874333/38068809739381259112556681\ 526034604*c_0101_6^18 + 20713087995413209728733290244659800959679/3\ 8068809739381259112556681526034604*c_0101_6^17 - 13755828632156203822020356343635974800603/3806880973938125911255668\ 1526034604*c_0101_6^16 - 5682408376848590761878789673267955094043/9\ 517202434845314778139170381508651*c_0101_6^15 + 22705978892256356272254495128205771837183/3806880973938125911255668\ 1526034604*c_0101_6^14 + 3377973299712544401533462619748250517930/9\ 517202434845314778139170381508651*c_0101_6^13 - 17311784969840986465206887894533908733497/3806880973938125911255668\ 1526034604*c_0101_6^12 - 2857874981322515948014300886714909119001/1\ 9034404869690629556278340763017302*c_0101_6^11 + 4719537530426695648123914311473396018481/38068809739381259112556681\ 526034604*c_0101_6^10 + 2852582247160029899754451907953223206311/38\ 068809739381259112556681526034604*c_0101_6^9 + 509629119755796117872606718837736005905/190344048696906295562783407\ 63017302*c_0101_6^8 - 595905705613690730677982153630447479665/19034\ 404869690629556278340763017302*c_0101_6^7 - 351840441425491155890217122726786006745/190344048696906295562783407\ 63017302*c_0101_6^6 + 115996002401832868927810477086188846551/19034\ 404869690629556278340763017302*c_0101_6^5 + 14479462917489153398003188084297781734/9517202434845314778139170381\ 508651*c_0101_6^4 - 37744409859893436538408447137325120171/38068809\ 739381259112556681526034604*c_0101_6^3 - 28740345514306453031322140771029506083/3806880973938125911255668152\ 6034604*c_0101_6^2 - 20631449318256598945361561610302328079/3806880\ 9739381259112556681526034604*c_0101_6 - 2124141971835619305300708646261229383/19034404869690629556278340763\ 017302, c_0101_2 - 4444392364880362412648228858646942465/3806880973938125911255\ 6681526034604*c_0101_6^26 + 1958207412971469021341910337002818267/9\ 517202434845314778139170381508651*c_0101_6^25 + 30676710152896955968968408086152980252/9517202434845314778139170381\ 508651*c_0101_6^24 - 381941853052371787256126717326982172497/380688\ 09739381259112556681526034604*c_0101_6^23 - 496110654313893311424166909119789408575/190344048696906295562783407\ 63017302*c_0101_6^22 + 1126007041168143487066672437789063264588/951\ 7202434845314778139170381508651*c_0101_6^21 + 226472163360886901112329626493902352845/951720243484531477813917038\ 1508651*c_0101_6^20 - 4964586091266789860798201537742221357322/9517\ 202434845314778139170381508651*c_0101_6^19 + 2522196083622714702693641301735054132895/95172024348453147781391703\ 81508651*c_0101_6^18 + 9772645046608529136043625527658796156258/951\ 7202434845314778139170381508651*c_0101_6^17 - 35260266466344573965031436424044378018445/3806880973938125911255668\ 1526034604*c_0101_6^16 - 36530364968785946521252308129025493141103/\ 38068809739381259112556681526034604*c_0101_6^15 + 49521072387084920776239706468884429805571/3806880973938125911255668\ 1526034604*c_0101_6^14 + 8286986329255417877174471207246090877119/1\ 9034404869690629556278340763017302*c_0101_6^13 - 33245488115405628321087014764511780561371/3806880973938125911255668\ 1526034604*c_0101_6^12 - 6693191968677692567433108506957850576119/3\ 8068809739381259112556681526034604*c_0101_6^11 + 8288430244630291808308031059636532596473/38068809739381259112556681\ 526034604*c_0101_6^10 + 2619822055401131400231179395796978695187/19\ 034404869690629556278340763017302*c_0101_6^9 + 1442361785310689951011172608837255212297/38068809739381259112556681\ 526034604*c_0101_6^8 - 1216800123728787070698091217167023252633/190\ 34404869690629556278340763017302*c_0101_6^7 - 996309195063322941707069281225986379449/380688097393812591125566815\ 26034604*c_0101_6^6 + 422791887867888932413671033014221039887/38068\ 809739381259112556681526034604*c_0101_6^5 + 70661681273787259093117922003576154049/3806880973938125911255668152\ 6034604*c_0101_6^4 - 65723760298128098590685526144322423905/3806880\ 9739381259112556681526034604*c_0101_6^3 - 13786912861183414084129137260843974401/9517202434845314778139170381\ 508651*c_0101_6^2 - 34734271283604864256249446569329440927/38068809\ 739381259112556681526034604*c_0101_6 - 6502276918707062514078052574779127407/38068809739381259112556681526\ 034604, c_0101_6^27 - c_0101_6^26 - 29*c_0101_6^25 + 65*c_0101_6^24 + 290*c_0101_6^23 - 848*c_0101_6^22 - 984*c_0101_6^21 + 4365*c_0101_6^20 + 1114*c_0101_6^19 - 10722*c_0101_6^18 + 1455*c_0101_6^17 + 14541*c_0101_6^16 - 5416*c_0101_6^15 - 12277*c_0101_6^14 + 5192*c_0101_6^13 + 7042*c_0101_6^12 - 964*c_0101_6^11 - 2519*c_0101_6^10 - 1187*c_0101_6^9 + 333*c_0101_6^8 + 637*c_0101_6^7 + 53*c_0101_6^6 - 85*c_0101_6^5 + 5*c_0101_6^4 + 23*c_0101_6^3 + 17*c_0101_6^2 + 7*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB