Magma V2.19-8 Tue Aug 20 2013 16:16:54 on localhost [Seed = 728414198] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1155 geometric_solution 5.03187123 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 1023 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 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.501956862150 0.819670663613 0 0 4 3 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.039271800193 0.295752069553 2 0 0 2 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 -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.877349249890 0.322090292332 5 4 1 6 0132 1023 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.237906259047 1.413183133039 3 5 6 1 1023 2310 0132 0132 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 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.237906259047 1.413183133039 3 5 5 4 0132 3201 2310 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 -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.115843543848 0.688120366790 6 6 3 4 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 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.732712671707 1.458366690554 ==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' : 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' : 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' : d['c_1100_1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_1100_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_1100_1'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_6']), 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0011_6'], '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_3, c_0011_6, c_0101_0, c_0101_2, c_0101_5, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 3657629433472637038739084568411151/6837442748126517853719826171691*\ c_1100_1^23 + 16574024250495400299292868245439225/68374427481265178\ 53719826171691*c_1100_1^22 - 99222931914620901878922550832218654/68\ 37442748126517853719826171691*c_1100_1^21 - 447364806535097361744655831286124487/683744274812651785371982617169\ 1*c_1100_1^20 + 1252417141872300932978180542705746327/6837442748126\ 517853719826171691*c_1100_1^19 + 5296875818162515904991504111097545\ 846/6837442748126517853719826171691*c_1100_1^18 - 8447658236371833192970732594065109719/68374427481265178537198261716\ 91*c_1100_1^17 - 33143617885027041480143615987951259031/68374427481\ 26517853719826171691*c_1100_1^16 + 28956425796915552612262474028050829192/6837442748126517853719826171\ 691*c_1100_1^15 + 112423470943228648363812984046162166761/683744274\ 8126517853719826171691*c_1100_1^14 - 41024402308580211412795010731680292447/6837442748126517853719826171\ 691*c_1100_1^13 - 216348701640186411815563407099920493183/683744274\ 8126517853719826171691*c_1100_1^12 - 3842177800282543162713903906025750831/68374427481265178537198261716\ 91*c_1100_1^11 + 233128509384841295351133005153475594034/6837442748\ 126517853719826171691*c_1100_1^10 + 72497901771992104134822747268715361166/6837442748126517853719826171\ 691*c_1100_1^9 - 128488980303056617496242524862778475321/6837442748\ 126517853719826171691*c_1100_1^8 - 73388117343138862780280687383314752324/6837442748126517853719826171\ 691*c_1100_1^7 + 26030040474321386350903762145614924067/68374427481\ 26517853719826171691*c_1100_1^6 + 265436569238603981900084717406212\ 98789/6837442748126517853719826171691*c_1100_1^5 + 1959314780074160564334087640018337879/68374427481265178537198261716\ 91*c_1100_1^4 - 2523629117232218324809025830508795875/6837442748126\ 517853719826171691*c_1100_1^3 - 46191829094400426803999980007908088\ 5/6837442748126517853719826171691*c_1100_1^2 + 51123530827684021098460364563107283/6837442748126517853719826171691\ *c_1100_1 + 8713307107310699024577299447327004/68374427481265178537\ 19826171691, c_0011_0 - 1, c_0011_3 - 170770993794378752145082708202283/68374427481265178537198261\ 71691*c_1100_1^23 - 756529584612447648373663548216824/6837442748126\ 517853719826171691*c_1100_1^22 + 4700417974736048528008386079738132\ /6837442748126517853719826171691*c_1100_1^21 + 20375132748990926383172292437577800/6837442748126517853719826171691\ *c_1100_1^20 - 60281508800323837003529311067133376/6837442748126517\ 853719826171691*c_1100_1^19 - 240241302707390519038702755219687218/\ 6837442748126517853719826171691*c_1100_1^18 + 415270906683849714550127316275188259/683744274812651785371982617169\ 1*c_1100_1^17 + 1494225109539391136829594224052318783/6837442748126\ 517853719826171691*c_1100_1^16 - 1477617887520289813286147470904267\ 718/6837442748126517853719826171691*c_1100_1^15 - 5031256486589216487359967319892750723/68374427481265178537198261716\ 91*c_1100_1^14 + 2322658849135818226653900666944348677/683744274812\ 6517853719826171691*c_1100_1^13 + 964211728001444214145252112322430\ 6906/6837442748126517853719826171691*c_1100_1^12 - 590458270678863999479177057555464143/683744274812651785371982617169\ 1*c_1100_1^11 - 10398974714693015036097681006704977239/683744274812\ 6517853719826171691*c_1100_1^10 - 252936409397112097879022136302035\ 8311/6837442748126517853719826171691*c_1100_1^9 + 5785420148079603664932096480211178043/68374427481265178537198261716\ 91*c_1100_1^8 + 2896337347278768304303600223904229929/6837442748126\ 517853719826171691*c_1100_1^7 - 12255659799258745401136524522308618\ 01/6837442748126517853719826171691*c_1100_1^6 - 1079441462202737214152187502053762879/68374427481265178537198261716\ 91*c_1100_1^5 - 61315684781435697204159036341937973/683744274812651\ 7853719826171691*c_1100_1^4 + 101074183534142859720485646834831096/\ 6837442748126517853719826171691*c_1100_1^3 + 17516628725363790658237206533719611/6837442748126517853719826171691\ *c_1100_1^2 - 1874998268259225390556952671610853/683744274812651785\ 3719826171691*c_1100_1 - 302683399275684883689168413909622/68374427\ 48126517853719826171691, c_0011_6 - 7901247285314619153537392773858/6837442748126517853719826171\ 691*c_1100_1^23 - 28487653260871640705546428768309/6837442748126517\ 853719826171691*c_1100_1^22 + 242730045224364547477026499052604/683\ 7442748126517853719826171691*c_1100_1^21 + 749306866437155826742988037127484/6837442748126517853719826171691*c\ _1100_1^20 - 3459410963792124235654482483287143/6837442748126517853\ 719826171691*c_1100_1^19 - 8441398571988775483347527958611385/68374\ 42748126517853719826171691*c_1100_1^18 + 26901555527261990165279747706290377/6837442748126517853719826171691\ *c_1100_1^17 + 48990107656117634873124142346003331/6837442748126517\ 853719826171691*c_1100_1^16 - 114255330419492286383067876728186958/\ 6837442748126517853719826171691*c_1100_1^15 - 150651327094665596481041219588902448/683744274812651785371982617169\ 1*c_1100_1^14 + 254149227833914004207058935338315862/68374427481265\ 17853719826171691*c_1100_1^13 + 27475399011235546992375147858053174\ 1/6837442748126517853719826171691*c_1100_1^12 - 300975673442263545080671945435673310/683744274812651785371982617169\ 1*c_1100_1^11 - 303539603821251810869000613399725561/68374427481265\ 17853719826171691*c_1100_1^10 + 18300431557834675766150831808618597\ 5/6837442748126517853719826171691*c_1100_1^9 + 193600279325344560628005512977125116/683744274812651785371982617169\ 1*c_1100_1^8 - 48257748133040398347859320354019301/6837442748126517\ 853719826171691*c_1100_1^7 - 63465406135944957755056894023193102/68\ 37442748126517853719826171691*c_1100_1^6 + 2678718702434503575789534397180778/6837442748126517853719826171691*\ c_1100_1^5 + 8522131790320772355768066747670582/6837442748126517853\ 719826171691*c_1100_1^4 - 31152151056248898498886080733706/68374427\ 48126517853719826171691*c_1100_1^3 - 435759853533921183848524395789671/6837442748126517853719826171691*c\ _1100_1^2 + 18442051280098304668741114219034/6837442748126517853719\ 826171691*c_1100_1 - 2000024278467125732232948975383/68374427481265\ 17853719826171691, c_0101_0 - 139812125053383298603730173105533/68374427481265178537198261\ 71691*c_1100_1^23 - 622357166113013360510087978525272/6837442748126\ 517853719826171691*c_1100_1^22 + 3834929593524330131122016074603713\ /6837442748126517853719826171691*c_1100_1^21 + 16763807252375071855314563484495942/6837442748126517853719826171691\ *c_1100_1^20 - 48989410079469727225894776734718616/6837442748126517\ 853719826171691*c_1100_1^19 - 197758649244300113767985508136434326/\ 6837442748126517853719826171691*c_1100_1^18 + 335638319741171317116222204012166285/683744274812651785371982617169\ 1*c_1100_1^17 + 1230917074677051155971841608541744596/6837442748126\ 517853719826171691*c_1100_1^16 - 1182185196193899420969636204422935\ 995/6837442748126517853719826171691*c_1100_1^15 - 4147983913231110536771064033016281530/68374427481265178537198261716\ 91*c_1100_1^14 + 1806414708656542409375495328299160695/683744274812\ 6517853719826171691*c_1100_1^13 + 794924493919539623257052098907156\ 3720/6837442748126517853719826171691*c_1100_1^12 - 296222917254945133553149904690031866/683744274812651785371982617169\ 1*c_1100_1^11 - 8558529742807413357185626221510818873/6837442748126\ 517853719826171691*c_1100_1^10 - 2281279450754678054299668451447428\ 765/6837442748126517853719826171691*c_1100_1^9 + 4735087168820348777994883127205133165/68374427481265178537198261716\ 91*c_1100_1^8 + 2500387368548202477493085294894348857/6837442748126\ 517853719826171691*c_1100_1^7 - 98019075199474570252140151211458650\ 4/6837442748126517853719826171691*c_1100_1^6 - 921663216354254893865522568509871498/683744274812651785371982617169\ 1*c_1100_1^5 - 61072091936030548740623565145446296/6837442748126517\ 853719826171691*c_1100_1^4 + 86551803601717847976081766939259627/68\ 37442748126517853719826171691*c_1100_1^3 + 15430488876503905033261002446583263/6837442748126517853719826171691\ *c_1100_1^2 - 1663709754525328030205494151065857/683744274812651785\ 3719826171691*c_1100_1 - 260636291434409551341677842775783/68374427\ 48126517853719826171691, c_0101_2 + 47672236499313078455995959182234/683744274812651785371982617\ 1691*c_1100_1^23 + 236958252924938832306395568170029/68374427481265\ 17853719826171691*c_1100_1^22 - 1210249253694535731482107477220179/\ 6837442748126517853719826171691*c_1100_1^21 - 6445626798084423320737486771075389/6837442748126517853719826171691*\ c_1100_1^20 + 14112974131329013238877470658456259/68374427481265178\ 53719826171691*c_1100_1^19 + 77453374494430745430009843090006155/68\ 37442748126517853719826171691*c_1100_1^18 - 84593315449380582006057305817946737/6837442748126517853719826171691\ *c_1100_1^17 - 494700165443782246658441551356413841/683744274812651\ 7853719826171691*c_1100_1^16 + 223671958694965654647865083884539267\ /6837442748126517853719826171691*c_1100_1^15 + 1717371152923448757010468084098448069/68374427481265178537198261716\ 91*c_1100_1^14 - 36616603248893912291773818884510621/68374427481265\ 17853719826171691*c_1100_1^13 - 33334031873151617283068530649807735\ 97/6837442748126517853719826171691*c_1100_1^12 - 989020686205438717730791549783783265/683744274812651785371982617169\ 1*c_1100_1^11 + 3540932859033638932467329513072120899/6837442748126\ 517853719826171691*c_1100_1^10 + 1978369115940105937054412533051575\ 758/6837442748126517853719826171691*c_1100_1^9 - 1837494818509582339804766241737056146/68374427481265178537198261716\ 91*c_1100_1^8 - 1581063762278328681945505187837705648/6837442748126\ 517853719826171691*c_1100_1^7 + 27101473162500974895727346347853978\ 1/6837442748126517853719826171691*c_1100_1^6 + 522024665762732307122377080524747655/683744274812651785371982617169\ 1*c_1100_1^5 + 75680797914200163295637185110323457/6837442748126517\ 853719826171691*c_1100_1^4 - 47008653722990538112146888123311414/68\ 37442748126517853719826171691*c_1100_1^3 - 11219829857937050181047810740975134/6837442748126517853719826171691\ *c_1100_1^2 + 884207537518888092930038462660857/6837442748126517853\ 719826171691*c_1100_1 + 179062321306536667731839274460111/683744274\ 8126517853719826171691, c_0101_5 - 110122965006736481040594151726127/68374427481265178537198261\ 71691*c_1100_1^23 - 493245626651101515576237461241293/6837442748126\ 517853719826171691*c_1100_1^22 + 3009205676570016853573729754703075\ /6837442748126517853719826171691*c_1100_1^21 + 13295754452417672961735453954762989/6837442748126517853719826171691\ *c_1100_1^20 - 38286888051930748367072401049866610/6837442748126517\ 853719826171691*c_1100_1^19 - 157047407869027083591535964167501169/\ 6837442748126517853719826171691*c_1100_1^18 + 260973803404604571570159557517439412/683744274812651785371982617169\ 1*c_1100_1^17 + 979280363617849476009556988052731641/68374427481265\ 17853719826171691*c_1100_1^16 - 91130378811706513750733977599884477\ 6/6837442748126517853719826171691*c_1100_1^15 - 3307126791025197327309236979565807123/68374427481265178537198261716\ 91*c_1100_1^14 + 1361172420350240671641066539171409514/683744274812\ 6517853719826171691*c_1100_1^13 + 634441047839549556032906772994876\ 4315/6837442748126517853719826171691*c_1100_1^12 - 120904609715945931164504091850612528/683744274812651785371982617169\ 1*c_1100_1^11 - 6826437547581763359598225395487587006/6837442748126\ 517853719826171691*c_1100_1^10 - 1917611797096542405023125263700113\ 725/6837442748126517853719826171691*c_1100_1^9 + 3763506286863590532054903953085307648/68374427481265178537198261716\ 91*c_1100_1^8 + 2039944118175615104301614480560964586/6837442748126\ 517853719826171691*c_1100_1^7 - 76687126717247287242118679026931171\ 7/6837442748126517853719826171691*c_1100_1^6 - 743742884262870570976214670376820234/683744274812651785371982617169\ 1*c_1100_1^5 - 54258072285420996251996534540230141/6837442748126517\ 853719826171691*c_1100_1^4 + 68666890774928975097243883313960249/68\ 37442748126517853719826171691*c_1100_1^3 + 12783693115452009452392380066350188/6837442748126517853719826171691\ *c_1100_1^2 - 1233195286278542564180875798205422/683744274812651785\ 3719826171691*c_1100_1 - 219190142906708011916155609221851/68374427\ 48126517853719826171691, c_1100_1^24 + 5*c_1100_1^23 - 25*c_1100_1^22 - 135*c_1100_1^21 + 285*c_1100_1^20 + 1608*c_1100_1^19 - 1630*c_1100_1^18 - 10136*c_1100_1^17 + 3666*c_1100_1^16 + 34395*c_1100_1^15 + 3190*c_1100_1^14 - 64221*c_1100_1^13 - 28723*c_1100_1^12 + 62883*c_1100_1^11 + 49522*c_1100_1^10 - 25463*c_1100_1^9 - 36278*c_1100_1^8 - 2469*c_1100_1^7 + 10420*c_1100_1^6 + 3954*c_1100_1^5 - 391*c_1100_1^4 - 439*c_1100_1^3 - 47*c_1100_1^2 + 8*c_1100_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB