Magma V2.19-8 Tue Aug 20 2013 16:16:34 on localhost [Seed = 458917831] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0855 geometric_solution 4.76856331 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 0 0 0 0 1 0 0 -1 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.950188989984 1.193652732866 2 3 4 0 1230 0132 0132 0132 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 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582721594048 1.251299484958 3 1 0 4 2310 3012 0132 3201 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 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.582721594048 1.251299484958 5 1 2 5 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.136685533589 0.650852091899 6 2 6 1 0132 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.553070327418 0.398119298519 3 5 5 3 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.302113340446 0.236474722432 4 6 4 6 0132 1302 1023 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 0.565931810403 0.090431880345 ==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_0011_4'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_1'], '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' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0011_1']), 'c_0110_1' : d['c_0011_1'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_1'])})} 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_1, c_0101_3, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 2125646576317296322799365871/141782175882743581759329375*c_0101_5^2\ 2 - 5987488910398774207743285656/28356435176548716351865875*c_0101_\ 5^21 - 126658734494985562291291366123/141782175882743581759329375*c\ _0101_5^20 - 20761208939153419185632379172/141782175882743581759329\ 375*c_0101_5^19 + 181112888986309319628464587303/283564351765487163\ 51865875*c_0101_5^18 + 11679086524920094493974004626/18904290117699\ 14423457725*c_0101_5^17 - 2579892035652569018862523442624/141782175\ 882743581759329375*c_0101_5^16 - 422242615410980641537532146144/283\ 56435176548716351865875*c_0101_5^15 + 1228180099813230300852532495468/47260725294247860586443125*c_0101_5\ ^14 + 1158583927911522538982582053996/141782175882743581759329375*c\ _0101_5^13 - 135648363139586706321534762359/94521450588495721172886\ 25*c_0101_5^12 - 15467772256406481380372656867/28356435176548716351\ 865875*c_0101_5^11 + 308485858457475149258815079243/141782175882743\ 581759329375*c_0101_5^10 + 73909943208839443112151684503/2835643517\ 6548716351865875*c_0101_5^9 - 323941813789929910778149035524/141782\ 175882743581759329375*c_0101_5^8 - 10192714550215763579887847236/47260725294247860586443125*c_0101_5^7 + 35065599558445902733818773732/141782175882743581759329375*c_0101_\ 5^6 + 22546920363427921741466352944/141782175882743581759329375*c_0\ 101_5^5 - 21166047340999967981813741224/141782175882743581759329375\ *c_0101_5^4 + 9591486761776769839306622941/141782175882743581759329\ 375*c_0101_5^3 + 12357025697897797995122272049/14178217588274358175\ 9329375*c_0101_5^2 + 1203247134289834966279729753/47260725294247860\ 586443125*c_0101_5 - 326610859896219173785360248/472607252942478605\ 86443125, c_0011_0 - 1, c_0011_1 - 224209902580364947981183/1134257407061948654074635*c_0101_5^\ 22 - 904609928989594583722306/378085802353982884691545*c_0101_5^21 - 482257172965649905265412/75617160470796576938309*c_0101_5^20 + 22573685142078383163833368/1134257407061948654074635*c_0101_5^19 + 93629884769808093848475772/1134257407061948654074635*c_0101_5^18 - 30735336392809788543666617/378085802353982884691545*c_0101_5^17 - 398893028152211603698104884/1134257407061948654074635*c_0101_5^16 + 329919360553075771237688824/1134257407061948654074635*c_0101_5^15 + 42025101986568729518328237/75617160470796576938309*c_0101_5^14 - 223037133270965608784958003/378085802353982884691545*c_0101_5^13 - 129191384428486599325070116/1134257407061948654074635*c_0101_5^12 + 108778222975644915326496386/378085802353982884691545*c_0101_5^11 - 8893110731975882912108856/75617160470796576938309*c_0101_5^10 + 95588306131122227953187836/1134257407061948654074635*c_0101_5^9 - 7695480332063192476806350/75617160470796576938309*c_0101_5^8 + 16624040232170060111358271/378085802353982884691545*c_0101_5^7 + 860436921109815726602771/1134257407061948654074635*c_0101_5^6 - 1652301533547336348077827/1134257407061948654074635*c_0101_5^5 - 1033701689727878155820618/1134257407061948654074635*c_0101_5^4 + 1660941316151233964909774/1134257407061948654074635*c_0101_5^3 + 26341635724905894856262/1134257407061948654074635*c_0101_5^2 - 887268922449649814262826/1134257407061948654074635*c_0101_5 - 346491236311928600252356/1134257407061948654074635, c_0011_4 + 70615846022023530307453/1134257407061948654074635*c_0101_5^2\ 2 + 1019708854094054264238068/1134257407061948654074635*c_0101_5^21 + 908046033919803773597632/226851481412389730814927*c_0101_5^20 + 1871426082971836891243412/1134257407061948654074635*c_0101_5^19 - 31281973405401555631372882/1134257407061948654074635*c_0101_5^18 - 13557621340629337363378573/378085802353982884691545*c_0101_5^17 + 84301414281593851019304499/1134257407061948654074635*c_0101_5^16 + 113708671698692644058362711/1134257407061948654074635*c_0101_5^15 - 7902761525536301911761121/75617160470796576938309*c_0101_5^14 - 113985695166574678201840781/1134257407061948654074635*c_0101_5^13 + 26419140446761498153281577/378085802353982884691545*c_0101_5^12 + 53094592734004063818654472/1134257407061948654074635*c_0101_5^11 - 4419998219033626553754020/226851481412389730814927*c_0101_5^10 - 26581136357207518145107841/1134257407061948654074635*c_0101_5^9 + 1810057643243985005258072/226851481412389730814927*c_0101_5^8 + 3432723060100849919986319/378085802353982884691545*c_0101_5^7 - 3424716605394320235846856/1134257407061948654074635*c_0101_5^6 - 3847799706247450474662898/1134257407061948654074635*c_0101_5^5 + 1392193273129206034805633/1134257407061948654074635*c_0101_5^4 + 1896276897912230386223986/1134257407061948654074635*c_0101_5^3 - 2837084434281563636180647/1134257407061948654074635*c_0101_5^2 + 30861331219766002200437/378085802353982884691545*c_0101_5 + 352652404104789025822342/378085802353982884691545, c_0101_1 - 1165538842943521491033574/1134257407061948654074635*c_0101_5\ ^22 - 15614134282722768650767094/1134257407061948654074635*c_0101_5\ ^21 - 11618307461410186701787663/226851481412389730814927*c_0101_5^\ 20 + 37290164158223921955602419/1134257407061948654074635*c_0101_5^\ 19 + 507357179539974522931557601/1134257407061948654074635*c_0101_5\ ^18 + 44906591052401219163521349/378085802353982884691545*c_0101_5^\ 17 - 1771715201608369426851899152/1134257407061948654074635*c_0101_\ 5^16 - 172442136707154373099436068/1134257407061948654074635*c_0101\ _5^15 + 193519929466374453064669792/75617160470796576938309*c_0101_\ 5^14 - 829251679394865314921722237/1134257407061948654074635*c_0101\ _5^13 - 541464308270516392047825111/378085802353982884691545*c_0101\ _5^12 + 908306298909097886319412724/1134257407061948654074635*c_010\ 1_5^11 + 11327440368397586465117033/226851481412389730814927*c_0101\ _5^10 + 22338151145925438570391283/1134257407061948654074635*c_0101\ _5^9 - 32856456502550040225914261/226851481412389730814927*c_0101_5\ ^8 + 17956578987136288882432358/378085802353982884691545*c_0101_5^7 + 41239293798752161564730188/1134257407061948654074635*c_0101_5^6 - 22837037799630668805007961/1134257407061948654074635*c_0101_5^5 - 8176013344418527760404889/1134257407061948654074635*c_0101_5^4 + 9388325362394539600909082/1134257407061948654074635*c_0101_5^3 + 2795486042304777156882286/1134257407061948654074635*c_0101_5^2 - 961617107654917019317386/378085802353982884691545*c_0101_5 - 456537913251333454737836/378085802353982884691545, c_0101_3 + 25433398249193858869203/378085802353982884691545*c_0101_5^22 + 1138818572488165602813979/1134257407061948654074635*c_0101_5^21 + 1089024029890757141495878/226851481412389730814927*c_0101_5^20 + 4463929974851437291380551/1134257407061948654074635*c_0101_5^19 - 32616261942935035735395856/1134257407061948654074635*c_0101_5^18 - 60657548383220462625302347/1134257407061948654074635*c_0101_5^17 + 22532370774976748372020484/378085802353982884691545*c_0101_5^16 + 167544926751205351098205918/1134257407061948654074635*c_0101_5^15 - 11883294036713990652860422/226851481412389730814927*c_0101_5^14 - 62200398865962431670134681/378085802353982884691545*c_0101_5^13 + 8170916624303425946941228/1134257407061948654074635*c_0101_5^12 + 34049159921519655814042477/378085802353982884691545*c_0101_5^11 + 3858721292165085076296737/226851481412389730814927*c_0101_5^10 - 40183137250344966424773433/1134257407061948654074635*c_0101_5^9 - 2508380104730501609861557/226851481412389730814927*c_0101_5^8 + 14315001653803053812215381/1134257407061948654074635*c_0101_5^7 + 1906719165149218387834139/378085802353982884691545*c_0101_5^6 - 4721819916103207038176209/1134257407061948654074635*c_0101_5^5 - 2474396200790982095725936/1134257407061948654074635*c_0101_5^4 + 1392193273129206034805633/1134257407061948654074635*c_0101_5^3 + 1285875339931577773363114/1134257407061948654074635*c_0101_5^2 - 1702827027219614982106012/1134257407061948654074635*c_0101_5 + 107161525967347578808046/378085802353982884691545, c_0101_4 - 113480284838504494641024/378085802353982884691545*c_0101_5^2\ 2 - 4671754763009729264589167/1134257407061948654074635*c_0101_5^21 - 3670276439950245561559886/226851481412389730814927*c_0101_5^20 + 6825776939691629777884997/1134257407061948654074635*c_0101_5^19 + 157946387842140801718464323/1134257407061948654074635*c_0101_5^18 + 88350027380914192667124671/1134257407061948654074635*c_0101_5^17 - 183696738321735455347642542/378085802353982884691545*c_0101_5^16 - 263271762260227025870900819/1134257407061948654074635*c_0101_5^15 + 194611004029775708357317409/226851481412389730814927*c_0101_5^14 + 52112665741176193600515188/378085802353982884691545*c_0101_5^13 - 782447857318118213627919674/1134257407061948654074635*c_0101_5^12 + 1466532536367455356013804/378085802353982884691545*c_0101_5^11 + 57162363801212808203014898/226851481412389730814927*c_0101_5^10 + 53389692655488568174220264/1134257407061948654074635*c_0101_5^9 - 25721600191089999211834027/226851481412389730814927*c_0101_5^8 - 12899663477321448315255008/1134257407061948654074635*c_0101_5^7 + 17163914743571952292650508/378085802353982884691545*c_0101_5^6 - 10511942554703640418353298/1134257407061948654074635*c_0101_5^5 - 4470323115553340295173242/1134257407061948654074635*c_0101_5^4 + 690334765596962387436941/1134257407061948654074635*c_0101_5^3 + 2190775321285656304640698/1134257407061948654074635*c_0101_5^2 - 1296468424826207229683569/1134257407061948654074635*c_0101_5 - 296907001858196255235758/378085802353982884691545, c_0101_5^23 + 14*c_0101_5^22 + 58*c_0101_5^21 - c_0101_5^20 - 452*c_0101_5^19 - 385*c_0101_5^18 + 1419*c_0101_5^17 + 1091*c_0101_5^16 - 2269*c_0101_5^15 - 892*c_0101_5^14 + 1601*c_0101_5^13 + 300*c_0101_5^12 - 443*c_0101_5^11 - 237*c_0101_5^10 + 184*c_0101_5^9 + 69*c_0101_5^8 - 60*c_0101_5^7 - 17*c_0101_5^6 + 18*c_0101_5^5 - 8*c_0101_5^3 + 3*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB