Magma V2.19-8 Tue Aug 20 2013 16:18:08 on localhost [Seed = 1343343979] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2351 geometric_solution 5.72779229 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 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 -1 0 1 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.381410462618 0.800036466687 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.897867487055 1.069334663289 1 3 0 4 1230 2310 0132 2310 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 0 -1 1 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.897867487055 1.069334663289 1 5 5 2 0132 0132 1023 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.735873805988 0.391203786387 2 6 6 1 3201 0132 1023 0132 0 0 0 0 0 0 0 0 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 -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.213438656264 0.369249582273 5 3 3 5 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.126536273787 0.449492971432 6 4 4 6 3012 0132 1023 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 1.965390842622 1.051358925037 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(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' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 4574799161505836410606355172498294256840172738405/87050960529078333\ 363653223132741595012968503901*c_0101_6^22 + 71616691399336515639946683021620001281840907658220/8705096052907833\ 3363653223132741595012968503901*c_0101_6^21 + 354976104793005915153493170846211278364201406283016/870509605290783\ 33363653223132741595012968503901*c_0101_6^20 + 650588493817846137568151927530682227854837946357232/870509605290783\ 33363653223132741595012968503901*c_0101_6^19 + 534943904499897910819884737922389462090675257891004/870509605290783\ 33363653223132741595012968503901*c_0101_6^18 - 426947161885174525913360574377563151358347029873648/870509605290783\ 33363653223132741595012968503901*c_0101_6^17 - 137648072684912681637547386362971298028536622212572/967232894767537\ 0373739247014749066112552055989*c_0101_6^16 - 218021133947211693898845460812536623548433208158687/322410964922512\ 3457913082338249688704184018663*c_0101_6^15 - 4963597615351345086867762673340357343147870245059807/87050960529078\ 333363653223132741595012968503901*c_0101_6^14 + 2143644328070132566698746011169105367677855631008839/87050960529078\ 333363653223132741595012968503901*c_0101_6^13 + 4592738104471035748754420836715372948048980162128091/29016986843026\ 111121217741044247198337656167967*c_0101_6^12 + 10485374369946965569185930235555607974400265503198984/8705096052907\ 8333363653223132741595012968503901*c_0101_6^11 - 6451910859595841039229473126160610179380537012709341/87050960529078\ 333363653223132741595012968503901*c_0101_6^10 - 13454675515863082208331665169054343546113459662895119/8705096052907\ 8333363653223132741595012968503901*c_0101_6^9 - 35214900989415665118815987161828697755846445011339/8705096052907833\ 3363653223132741595012968503901*c_0101_6^8 + 8148707343703940136507933932417608969853843534562745/87050960529078\ 333363653223132741595012968503901*c_0101_6^7 + 5219693220736050536881854313898182454795547889143443/87050960529078\ 333363653223132741595012968503901*c_0101_6^6 - 5631486762102117854763144759021744647907780519741110/87050960529078\ 333363653223132741595012968503901*c_0101_6^5 - 3024616492583152046235692945924413598026085161175500/29016986843026\ 111121217741044247198337656167967*c_0101_6^4 + 1392284534645826383806481649657797901849883033613167/87050960529078\ 333363653223132741595012968503901*c_0101_6^3 + 1204679465853737717013405334788322896739664465532371/29016986843026\ 111121217741044247198337656167967*c_0101_6^2 + 156080940110118942775346815809664197950805107781644/290169868430261\ 11121217741044247198337656167967*c_0101_6 - 13236793317333971681975691553512203952989463530213/9672328947675370\ 373739247014749066112552055989, c_0011_0 - 1, c_0011_1 + 122319171533041298940333176290929504616080430/36730363092438\ 1153433135962585407573894381873*c_0101_6^22 + 1914056041154120274899515282227091477997417263/36730363092438115343\ 3135962585407573894381873*c_0101_6^21 + 9481206172545489282797575832191299943933942814/36730363092438115343\ 3135962585407573894381873*c_0101_6^20 + 17373069614690851353566470717379122005067909279/3673036309243811534\ 33135962585407573894381873*c_0101_6^19 + 14390670026977813481301869041397014512623424511/3673036309243811534\ 33135962585407573894381873*c_0101_6^18 - 11110481670722035355438097230830161599879164715/3673036309243811534\ 33135962585407573894381873*c_0101_6^17 - 3620262715116620109357587988270408475515083572/40811514547153461492\ 570662509489730432709097*c_0101_6^16 - 17449479458195071234149634713791410201501235654/4081151454715346149\ 2570662509489730432709097*c_0101_6^15 - 131871789026555020903061057008339364927952481901/367303630924381153\ 433135962585407573894381873*c_0101_6^14 + 55226632193982144830071421928682014081015675887/3673036309243811534\ 33135962585407573894381873*c_0101_6^13 + 121733943361616895927623665226614681736957033639/122434543641460384\ 477711987528469191298127291*c_0101_6^12 + 277030484986423970827302057606307696515780645970/367303630924381153\ 433135962585407573894381873*c_0101_6^11 - 169678589237884510098186338531285027632440238360/367303630924381153\ 433135962585407573894381873*c_0101_6^10 - 354650833091074481687586179346770581952129097988/367303630924381153\ 433135962585407573894381873*c_0101_6^9 + 55412801387540878371799281021150074400110680/3673036309243811534331\ 35962585407573894381873*c_0101_6^8 + 214077940655248853651436035432070763855359578138/367303630924381153\ 433135962585407573894381873*c_0101_6^7 + 138888776031131732406881065171727145927800172268/367303630924381153\ 433135962585407573894381873*c_0101_6^6 - 148770132229573805584913399068240089183574530292/367303630924381153\ 433135962585407573894381873*c_0101_6^5 - 79644822149450746051432930851203743349621734967/1224345436414603844\ 77711987528469191298127291*c_0101_6^4 + 36971598313102281263564310078953268203356753559/3673036309243811534\ 33135962585407573894381873*c_0101_6^3 + 31171786992176734859382514472667134825248884925/1224345436414603844\ 77711987528469191298127291*c_0101_6^2 + 4266259896138600828238345764725227218688048006/12243454364146038447\ 7711987528469191298127291*c_0101_6 - 299543502922289981938311649962052643370234763/408115145471534614925\ 70662509489730432709097, c_0011_4 - 45554157166365714591228932996700155742440611/367303630924381\ 153433135962585407573894381873*c_0101_6^22 - 715824338002245613525646219476633635559496038/367303630924381153433\ 135962585407573894381873*c_0101_6^21 - 3575828105120702769550767137518800033867605939/36730363092438115343\ 3135962585407573894381873*c_0101_6^20 - 6670369847662392814024480561784929472950047574/36730363092438115343\ 3135962585407573894381873*c_0101_6^19 - 5618207428772553484570018385772872603300852302/36730363092438115343\ 3135962585407573894381873*c_0101_6^18 + 4150438293855842620648063960366353781646064860/36730363092438115343\ 3135962585407573894381873*c_0101_6^17 + 1432531330106263184898106479433419432575393022/40811514547153461492\ 570662509489730432709097*c_0101_6^16 + 6618247552184405589934001821429260600270026889/40811514547153461492\ 570662509489730432709097*c_0101_6^15 + 52924262872005840863355650204946557475991480517/3673036309243811534\ 33135962585407573894381873*c_0101_6^14 - 19593340876882504054655330324102778970432432676/3673036309243811534\ 33135962585407573894381873*c_0101_6^13 - 46767716449829483933902733721277049031645263318/1224345436414603844\ 77711987528469191298127291*c_0101_6^12 - 113786959195885397286629953453776806746202760553/367303630924381153\ 433135962585407573894381873*c_0101_6^11 + 59228055665920905534854065116246483894505849375/3673036309243811534\ 33135962585407573894381873*c_0101_6^10 + 140186562790762279950111098706840040975477028209/367303630924381153\ 433135962585407573894381873*c_0101_6^9 + 8783055991120388558711910590569351887803258618/36730363092438115343\ 3135962585407573894381873*c_0101_6^8 - 82343942394165939527219821147063679793876827348/3673036309243811534\ 33135962585407573894381873*c_0101_6^7 - 57240299162648775437202214524934733107925654746/3673036309243811534\ 33135962585407573894381873*c_0101_6^6 + 53989796724294987373858435154080515069400197742/3673036309243811534\ 33135962585407573894381873*c_0101_6^5 + 31690625582363875208130300716633121869736930611/1224345436414603844\ 77711987528469191298127291*c_0101_6^4 - 8219685658580404638736389968854301221686606965/36730363092438115343\ 3135962585407573894381873*c_0101_6^3 - 12611192760912634809413231297279308163345490985/1224345436414603844\ 77711987528469191298127291*c_0101_6^2 - 2245258348405927731247035979065839255562241312/12243454364146038447\ 7711987528469191298127291*c_0101_6 + 109194124618412319906119337755173532324877835/408115145471534614925\ 70662509489730432709097, c_0101_0 + 59149539155593985634000462476640733085360449/367303630924381\ 153433135962585407573894381873*c_0101_6^22 + 921501322101333736702182323843800858524419659/367303630924381153433\ 135962585407573894381873*c_0101_6^21 + 4521254658931159519493861608824339864123020495/36730363092438115343\ 3135962585407573894381873*c_0101_6^20 + 8086472986733307032753576758376041754867433514/36730363092438115343\ 3135962585407573894381873*c_0101_6^19 + 6364126186851867095205358786995686572425381325/36730363092438115343\ 3135962585407573894381873*c_0101_6^18 - 5999783310603023734124201844386340741939597332/36730363092438115343\ 3135962585407573894381873*c_0101_6^17 - 5265812473393624617384465887898733047287923807/12243454364146038447\ 7711987528469191298127291*c_0101_6^16 - 8391421788269260078704828841796105119789298912/40811514547153461492\ 570662509489730432709097*c_0101_6^15 - 59088334245904949654948784925338793332823143221/3673036309243811534\ 33135962585407573894381873*c_0101_6^14 + 30773576055242350564170127054249110952298639315/3673036309243811534\ 33135962585407573894381873*c_0101_6^13 + 19643155910616693573578794334787140583488091403/4081151454715346149\ 2570662509489730432709097*c_0101_6^12 + 125951495238422332857224405634483669743068461379/367303630924381153\ 433135962585407573894381873*c_0101_6^11 - 87551273244530352919161401877629388255670411156/3673036309243811534\ 33135962585407573894381873*c_0101_6^10 - 167404143710416880222884994986510658773766260036/367303630924381153\ 433135962585407573894381873*c_0101_6^9 + 6057228459277798777091984970557804924523070315/36730363092438115343\ 3135962585407573894381873*c_0101_6^8 + 100579733134700060539232357284589279648907813494/367303630924381153\ 433135962585407573894381873*c_0101_6^7 + 62274839915630662616290827592567135125922140112/3673036309243811534\ 33135962585407573894381873*c_0101_6^6 - 74630200683623088169514519051094691122208043128/3673036309243811534\ 33135962585407573894381873*c_0101_6^5 - 37364521042405386249134243405947694833630225720/1224345436414603844\ 77711987528469191298127291*c_0101_6^4 + 22605472117649332447029038606875597404038557787/3673036309243811534\ 33135962585407573894381873*c_0101_6^3 + 14278507069428667543507640307778274881261708112/1224345436414603844\ 77711987528469191298127291*c_0101_6^2 + 1817413359443989534172426942949484246147014619/12243454364146038447\ 7711987528469191298127291*c_0101_6 - 94955536611624157308289706178778183785910394/4081151454715346149257\ 0662509489730432709097, c_0101_1 + 11849414691999778721141410774069750074885049/408115145471534\ 61492570662509489730432709097*c_0101_6^22 + 185930117760402395606807921238583148975554538/408115145471534614925\ 70662509489730432709097*c_0101_6^21 + 926045549621935022682407064778968618114810043/408115145471534614925\ 70662509489730432709097*c_0101_6^20 + 1716334000712265375220997278690204176587705729/40811514547153461492\ 570662509489730432709097*c_0101_6^19 + 1437658725220125646024990841623738927222103245/40811514547153461492\ 570662509489730432709097*c_0101_6^18 - 1062960818927211593615201967705231379648611455/40811514547153461492\ 570662509489730432709097*c_0101_6^17 - 3239335891664654519321968251099314082802354804/40811514547153461492\ 570662509489730432709097*c_0101_6^16 - 15317709915226142520160681820057891799885870639/4081151454715346149\ 2570662509489730432709097*c_0101_6^15 - 13364502329263489650823163231575556079395079047/4081151454715346149\ 2570662509489730432709097*c_0101_6^14 + 5275098582446257687876031667278026190137899129/40811514547153461492\ 570662509489730432709097*c_0101_6^13 + 35835717611490899244818263487943801689917281695/4081151454715346149\ 2570662509489730432709097*c_0101_6^12 + 28205077426189053996244915801898229906799988923/4081151454715346149\ 2570662509489730432709097*c_0101_6^11 - 16240004258986450853833423655382625316237656680/4081151454715346149\ 2570662509489730432709097*c_0101_6^10 - 35442554389995482459551355198236273570414773028/4081151454715346149\ 2570662509489730432709097*c_0101_6^9 - 899201201452984831599092353519819943641377924/408115145471534614925\ 70662509489730432709097*c_0101_6^8 + 21446881759307057549076216464457790757031989662/4081151454715346149\ 2570662509489730432709097*c_0101_6^7 + 13988432373542185114305336079750183798227454553/4081151454715346149\ 2570662509489730432709097*c_0101_6^6 - 14292240132576103475447450730428047746563159180/4081151454715346149\ 2570662509489730432709097*c_0101_6^5 - 24081069967736522739987813622532381992704696396/4081151454715346149\ 2570662509489730432709097*c_0101_6^4 + 3136031629526511065841616566761126877279445544/40811514547153461492\ 570662509489730432709097*c_0101_6^3 + 9718730021627689293612205727337708619234290002/40811514547153461492\ 570662509489730432709097*c_0101_6^2 + 1323871488596952703764237451802782185847129619/40811514547153461492\ 570662509489730432709097*c_0101_6 - 318237948966693018298855930863589029696840096/408115145471534614925\ 70662509489730432709097, c_0101_5 - 51749115837642569135178048010956271015275238/122434543641460\ 384477711987528469191298127291*c_0101_6^22 - 810853495050075255288511482719327255441883905/122434543641460384477\ 711987528469191298127291*c_0101_6^21 - 1342246987802217305186747680341899849134785836/40811514547153461492\ 570662509489730432709097*c_0101_6^20 - 2470887867429240046207384985546740843199982771/40811514547153461492\ 570662509489730432709097*c_0101_6^19 - 6137145024808853767264622356668328951679370773/12243454364146038447\ 7711987528469191298127291*c_0101_6^18 + 4775202206147808897873902333678492528775304762/12243454364146038447\ 7711987528469191298127291*c_0101_6^17 + 14114459345987140352995977001013650401370725722/1224345436414603844\ 77711987528469191298127291*c_0101_6^16 + 22260629502178852761478684004968773174268331114/4081151454715346149\ 2570662509489730432709097*c_0101_6^15 + 57074681884818420241754630088120004110197532959/1224345436414603844\ 77711987528469191298127291*c_0101_6^14 - 7923061637891263675278443685574595926813292741/40811514547153461492\ 570662509489730432709097*c_0101_6^13 - 156368701423348018699587150488623875067357512524/122434543641460384\ 477711987528469191298127291*c_0101_6^12 - 120885100467493028838802629789022117884662363935/122434543641460384\ 477711987528469191298127291*c_0101_6^11 + 23933898872753603581962320172538828558272657350/4081151454715346149\ 2570662509489730432709097*c_0101_6^10 + 153434587209050712628516887671636788723825426814/122434543641460384\ 477711987528469191298127291*c_0101_6^9 + 822513303388864783644294226247712997936613799/408115145471534614925\ 70662509489730432709097*c_0101_6^8 - 30775078307419733146531536356573429050128837228/4081151454715346149\ 2570662509489730432709097*c_0101_6^7 - 20035375066276157063704396452966988330775350189/4081151454715346149\ 2570662509489730432709097*c_0101_6^6 + 20953875264661628486576791024787493821230820215/4081151454715346149\ 2570662509489730432709097*c_0101_6^5 + 103703004913963224216179068716577433976168072121/122434543641460384\ 477711987528469191298127291*c_0101_6^4 - 14482806968125320609704090776781426711970408971/1224345436414603844\ 77711987528469191298127291*c_0101_6^3 - 41134241523748670795786068171017472853600883674/1224345436414603844\ 77711987528469191298127291*c_0101_6^2 - 1947105392360337747749931632201048423450098629/40811514547153461492\ 570662509489730432709097*c_0101_6 + 380933446363833090102573330945190302864716832/408115145471534614925\ 70662509489730432709097, c_0101_6^23 + 16*c_0101_6^22 + 83*c_0101_6^21 + 169*c_0101_6^20 + 166*c_0101_6^19 - 53*c_0101_6^18 - 303*c_0101_6^17 - 1380*c_0101_6^16 - 1529*c_0101_6^15 + 95*c_0101_6^14 + 3174*c_0101_6^13 + 3331*c_0101_6^12 - 622*c_0101_6^11 - 3430*c_0101_6^10 - 1022*c_0101_6^9 + 1781*c_0101_6^8 + 1756*c_0101_6^7 - 838*c_0101_6^6 - 2409*c_0101_6^5 - 379*c_0101_6^4 + 897*c_0101_6^3 + 375*c_0101_6^2 + 9*c_0101_6 - 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB