Magma V2.19-8 Tue Aug 20 2013 16:17:35 on localhost [Seed = 2017060001] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1819 geometric_solution 5.47905162 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 1 0 -1 -1 0 1 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.489307392549 0.679221089322 3 2 4 0 0132 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 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.841540162900 0.915179037729 1 3 0 4 1230 0132 0132 2310 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 -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.841540162900 0.915179037729 1 2 5 5 0132 0132 0132 2310 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 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.296979939705 1.247559988650 2 4 4 1 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.216783333758 0.702045267649 3 6 6 3 3201 0132 3201 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 -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.402158393188 0.370073086850 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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 2.581121351391 0.391812437421 ==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' : d['c_0101_1'], 'c_1100_5' : d['c_0011_5'], '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' : d['c_0011_5'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), '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_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), '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_6']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), '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' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(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_0011_5, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 6633682169309281842363447406061311/59501128184987944987738370524421\ *c_0101_6^27 - 33610370973150167681466901683396838/5950112818498794\ 4987738370524421*c_0101_6^26 - 75189002366276369178985260985609865/\ 59501128184987944987738370524421*c_0101_6^25 + 171306871025368879938457211796657395/595011281849879449877383705244\ 21*c_0101_6^24 + 1042379555591593506332749073926329206/595011281849\ 87944987738370524421*c_0101_6^23 + 707119164598616316817941030113489207/595011281849879449877383705244\ 21*c_0101_6^22 - 4169208793345845884422783716966738867/595011281849\ 87944987738370524421*c_0101_6^21 - 9453697445371357982220431663849212987/59501128184987944987738370524\ 421*c_0101_6^20 + 14623693986323458739204568122412145142/5950112818\ 4987944987738370524421*c_0101_6^19 + 33244589689444324731033682259415567435/5950112818498794498773837052\ 4421*c_0101_6^18 - 45895552313944380538799513725914496619/595011281\ 84987944987738370524421*c_0101_6^17 - 52140902291586308699809886655732243158/5950112818498794498773837052\ 4421*c_0101_6^16 + 89104583623802447003818067373536480566/595011281\ 84987944987738370524421*c_0101_6^15 + 34432538511042090020203807021214013912/5950112818498794498773837052\ 4421*c_0101_6^14 - 98441472703271620407177518072681176576/595011281\ 84987944987738370524421*c_0101_6^13 + 1547648074276931013619018556799420595/59501128184987944987738370524\ 421*c_0101_6^12 + 62644689619736850868313577308273348113/5950112818\ 4987944987738370524421*c_0101_6^11 - 15584727192952188549497385958562357413/5950112818498794498773837052\ 4421*c_0101_6^10 - 23358244371769725320563623275414949884/595011281\ 84987944987738370524421*c_0101_6^9 + 9850072825686366436653009017709562218/59501128184987944987738370524\ 421*c_0101_6^8 + 5127583030326063891128954830549181971/595011281849\ 87944987738370524421*c_0101_6^7 - 334254959231377551295840126317883\ 8251/59501128184987944987738370524421*c_0101_6^6 - 565431853629061259836163650019966878/595011281849879449877383705244\ 21*c_0101_6^5 + 690863505728133235802312996251726664/59501128184987\ 944987738370524421*c_0101_6^4 - 84460727721075269032086348806271062\ /59501128184987944987738370524421*c_0101_6^3 - 116629749943307505527075321797831043/595011281849879449877383705244\ 21*c_0101_6^2 + 39074563399008887419765890639016577/595011281849879\ 44987738370524421*c_0101_6 + 24003308961141178294680419266783332/59\ 501128184987944987738370524421, c_0011_0 - 1, c_0011_1 - 73305505253301060080519454392347/595011281849879449877383705\ 24421*c_0101_6^27 - 233870577992484411246971832394214/5950112818498\ 7944987738370524421*c_0101_6^26 - 321123580812211509598103591681064\ /59501128184987944987738370524421*c_0101_6^25 + 2778450647280786300990238184604760/59501128184987944987738370524421\ *c_0101_6^24 + 6861294246063024821303501514745897/59501128184987944\ 987738370524421*c_0101_6^23 - 7223919778442418762820251974826008/59\ 501128184987944987738370524421*c_0101_6^22 - 40707395985713541651410402552267166/5950112818498794498773837052442\ 1*c_0101_6^21 - 28147726016786000775725284255286566/595011281849879\ 44987738370524421*c_0101_6^20 + 25145812115152108726589813235310243\ 0/59501128184987944987738370524421*c_0101_6^19 - 48345216328080084014685010614016112/5950112818498794498773837052442\ 1*c_0101_6^18 - 605786475329281359370330708585714165/59501128184987\ 944987738370524421*c_0101_6^17 + 4733906615507416105866984783952845\ 45/59501128184987944987738370524421*c_0101_6^16 + 567945847892411101465369306495633911/595011281849879449877383705244\ 21*c_0101_6^15 - 798140860503786356828116436371649610/5950112818498\ 7944987738370524421*c_0101_6^14 - 115929170539887841204326480044065\ 206/59501128184987944987738370524421*c_0101_6^13 + 576037576679868260232072894997218792/595011281849879449877383705244\ 21*c_0101_6^12 - 133328011728737359658979592690629540/5950112818498\ 7944987738370524421*c_0101_6^11 - 207199064971884709970704680513260\ 305/59501128184987944987738370524421*c_0101_6^10 + 95328419882307188888425753202670888/5950112818498794498773837052442\ 1*c_0101_6^9 + 41504309874172662416146534309603312/5950112818498794\ 4987738370524421*c_0101_6^8 - 31700970699619762216521403573398591/5\ 9501128184987944987738370524421*c_0101_6^7 - 3939674915654507889041227907177820/59501128184987944987738370524421\ *c_0101_6^6 + 7181704275636443504177258919455203/595011281849879449\ 87738370524421*c_0101_6^5 - 1296976196379470128243010862784620/5950\ 1128184987944987738370524421*c_0101_6^4 - 1040124675658256287658295499290458/59501128184987944987738370524421\ *c_0101_6^3 + 489780482007516518675527005845689/5950112818498794498\ 7738370524421*c_0101_6^2 + 157175981147018952890498014694938/595011\ 28184987944987738370524421*c_0101_6 - 59834312016810072784793317438150/59501128184987944987738370524421, c_0011_4 + 74873361486576517586756168729920/595011281849879449877383705\ 24421*c_0101_6^27 + 237605361849040098008217355644186/5950112818498\ 7944987738370524421*c_0101_6^26 + 324293948062036663309210072063081\ /59501128184987944987738370524421*c_0101_6^25 - 2833001015960114616720330782998595/59501128184987944987738370524421\ *c_0101_6^24 - 6918751148626991769766581797709851/59501128184987944\ 987738370524421*c_0101_6^23 + 7570394401185835315446690141645682/59\ 501128184987944987738370524421*c_0101_6^22 + 41174297226504165961237100202424657/5950112818498794498773837052442\ 1*c_0101_6^21 + 26976171567434026592551874811118603/595011281849879\ 44987738370524421*c_0101_6^20 - 25746404613834322096638069302313613\ 1/59501128184987944987738370524421*c_0101_6^19 + 58277013725453468128763149722394356/5950112818498794498773837052442\ 1*c_0101_6^18 + 624762874112736279036456293264384287/59501128184987\ 944987738370524421*c_0101_6^17 - 5156815665743849988719007717707287\ 27/59501128184987944987738370524421*c_0101_6^16 - 583020548865452920894352257808053817/595011281849879449877383705244\ 21*c_0101_6^15 + 879010629797558452035387915200069709/5950112818498\ 7944987738370524421*c_0101_6^14 + 931746634330625136364583054153763\ 90/59501128184987944987738370524421*c_0101_6^13 - 651424971719133356959053464099975448/595011281849879449877383705244\ 21*c_0101_6^12 + 186523460737066199526101002908966948/5950112818498\ 7944987738370524421*c_0101_6^11 + 237911760757737307019944540995196\ 893/59501128184987944987738370524421*c_0101_6^10 - 136781906159724596462572080736592055/595011281849879449877383705244\ 21*c_0101_6^9 - 41007885035512023608031025317783594/595011281849879\ 44987738370524421*c_0101_6^8 + 46313110784845235824724676000048916/\ 59501128184987944987738370524421*c_0101_6^7 - 456635216147328621410187078771311/59501128184987944987738370524421*\ c_0101_6^6 - 9207476298094048525347375597405055/5950112818498794498\ 7738370524421*c_0101_6^5 + 2291776835279460224580544433572618/59501\ 128184987944987738370524421*c_0101_6^4 + 992067666302675192062917574448243/59501128184987944987738370524421*\ c_0101_6^3 - 540682630128797478541530064769924/59501128184987944987\ 738370524421*c_0101_6^2 - 133694695425896754884991774909676/5950112\ 8184987944987738370524421*c_0101_6 + 40459240838253931912785473460188/59501128184987944987738370524421, c_0011_5 - 1061072683542940872164682968938/5950112818498794498773837052\ 4421*c_0101_6^27 - 30312100737919637143882373875049/595011281849879\ 44987738370524421*c_0101_6^26 - 113394508423995008512476682089072/5\ 9501128184987944987738370524421*c_0101_6^25 - 172316370551584279456238512171097/59501128184987944987738370524421*\ c_0101_6^24 + 919496861720846922300065063457765/5950112818498794498\ 7738370524421*c_0101_6^23 + 3055587359562946242081533527850247/5950\ 1128184987944987738370524421*c_0101_6^22 - 560590027256134703316737279866576/59501128184987944987738370524421*\ c_0101_6^21 - 14719974388677238677021833498885980/59501128184987944\ 987738370524421*c_0101_6^20 - 17814932233978902983198107566237114/5\ 9501128184987944987738370524421*c_0101_6^19 + 71821334126803282391202627425201263/5950112818498794498773837052442\ 1*c_0101_6^18 + 28241383194835050372588104243898082/595011281849879\ 44987738370524421*c_0101_6^17 - 18367445031872695805673326556824774\ 5/59501128184987944987738370524421*c_0101_6^16 + 53408581993168828382972637573674348/5950112818498794498773837052442\ 1*c_0101_6^15 + 213262759345145961534441100639256223/59501128184987\ 944987738370524421*c_0101_6^14 - 1613980699825464137928232188527722\ 31/59501128184987944987738370524421*c_0101_6^13 - 95364739734743621319981343835508106/5950112818498794498773837052442\ 1*c_0101_6^12 + 142879479849466694129822104188317613/59501128184987\ 944987738370524421*c_0101_6^11 - 8647883057598639323570665797399995\ /59501128184987944987738370524421*c_0101_6^10 - 52873456333192086596706653938627014/5950112818498794498773837052442\ 1*c_0101_6^9 + 19027705895765931612038734286973489/5950112818498794\ 4987738370524421*c_0101_6^8 + 8531784734457766008972675760500852/59\ 501128184987944987738370524421*c_0101_6^7 - 5392779947297041114954347869604163/59501128184987944987738370524421\ *c_0101_6^6 - 1045037312168883735111361590425224/595011281849879449\ 87738370524421*c_0101_6^5 + 1097500740259935136280796771707843/5950\ 1128184987944987738370524421*c_0101_6^4 - 5759324514303600132237187309258/59501128184987944987738370524421*c_\ 0101_6^3 - 184738373631463663103916882018628/5950112818498794498773\ 8370524421*c_0101_6^2 + 2472627011819446477399210992625/59501128184\ 987944987738370524421*c_0101_6 + 27079552788385139699069360026231/5\ 9501128184987944987738370524421, c_0101_0 + 13153605430591440295574028667933/595011281849879449877383705\ 24421*c_0101_6^27 + 30887470965345201804822783743657/59501128184987\ 944987738370524421*c_0101_6^26 + 26180576938590533110744073680528/5\ 9501128184987944987738370524421*c_0101_6^25 - 531469283078900417946624996455454/59501128184987944987738370524421*\ c_0101_6^24 - 779817749262735649656284996057957/5950112818498794498\ 7738370524421*c_0101_6^23 + 2214729847174308757594939476032638/5950\ 1128184987944987738370524421*c_0101_6^22 + 5757917968049000120289319539994621/59501128184987944987738370524421\ *c_0101_6^21 - 1145307017141195079979379633951201/59501128184987944\ 987738370524421*c_0101_6^20 - 47321262929112631878306909670116746/5\ 9501128184987944987738370524421*c_0101_6^19 + 50041088884140296734128257521905197/5950112818498794498773837052442\ 1*c_0101_6^18 + 91214045451827028846780018657402319/595011281849879\ 44987738370524421*c_0101_6^17 - 18228255081602772813018811710601009\ 7/59501128184987944987738370524421*c_0101_6^16 - 7840290122289812051996242459959786/59501128184987944987738370524421\ *c_0101_6^15 + 230711201960059173274334668796109383/595011281849879\ 44987738370524421*c_0101_6^14 - 12525770908688149658942108254789602\ 4/59501128184987944987738370524421*c_0101_6^13 - 120299084588724801333737742914011660/595011281849879449877383705244\ 21*c_0101_6^12 + 132148028357421990025305125205704410/5950112818498\ 7944987738370524421*c_0101_6^11 + 155976819958479272805540796664026\ 28/59501128184987944987738370524421*c_0101_6^10 - 62426745600210071619297875558749444/5950112818498794498773837052442\ 1*c_0101_6^9 + 10458186721687889004230817637530554/5950112818498794\ 4987738370524421*c_0101_6^8 + 16833724844405114013709724497043594/5\ 9501128184987944987738370524421*c_0101_6^7 - 6139194875122894510314942117951241/59501128184987944987738370524421\ *c_0101_6^6 - 2619748076998978805993431096441529/595011281849879449\ 87738370524421*c_0101_6^5 + 1762626347944510880077521537729696/5950\ 1128184987944987738370524421*c_0101_6^4 + 169987714620020522044552489305962/59501128184987944987738370524421*\ c_0101_6^3 - 332172873038509451323124777214700/59501128184987944987\ 738370524421*c_0101_6^2 + 81310272471685872366573385358519/59501128\ 184987944987738370524421*c_0101_6 + 24298922924420058660906730685427/59501128184987944987738370524421, c_0101_1 + 10007208079574539437298354337338/595011281849879449877383705\ 24421*c_0101_6^27 + 86807807374151286132335818181284/59501128184987\ 944987738370524421*c_0101_6^26 + 256951354065050369922414805790449/\ 59501128184987944987738370524421*c_0101_6^25 + 15433666903150379716759399253008/59501128184987944987738370524421*c\ _0101_6^24 - 2699071098258444501495968599742032/5950112818498794498\ 7738370524421*c_0101_6^23 - 5250696637146204295364973441016621/5950\ 1128184987944987738370524421*c_0101_6^22 + 6581094515531443118367584490010413/59501128184987944987738370524421\ *c_0101_6^21 + 33742593999686629018397041250980356/5950112818498794\ 4987738370524421*c_0101_6^20 + 5545301933005360539851946043820718/5\ 9501128184987944987738370524421*c_0101_6^19 - 150595690685826589056412554477167348/595011281849879449877383705244\ 21*c_0101_6^18 + 23494382590564103872801274982260041/59501128184987\ 944987738370524421*c_0101_6^17 + 3428551594399182783595906761604940\ 05/59501128184987944987738370524421*c_0101_6^16 - 202407118435084163897370652863535928/595011281849879449877383705244\ 21*c_0101_6^15 - 368428060353765837083331196118038029/5950112818498\ 7944987738370524421*c_0101_6^14 + 372680559049563650813861090725771\ 470/59501128184987944987738370524421*c_0101_6^13 + 155416590023406982405247698597623446/595011281849879449877383705244\ 21*c_0101_6^12 - 301927780462907589268699146595624869/5950112818498\ 7944987738370524421*c_0101_6^11 + 189119599835025737787145886021381\ 59/59501128184987944987738370524421*c_0101_6^10 + 118671041891043597458316356447531196/595011281849879449877383705244\ 21*c_0101_6^9 - 37037049718038570752944835789588782/595011281849879\ 44987738370524421*c_0101_6^8 - 22784176890816864826978607176263161/\ 59501128184987944987738370524421*c_0101_6^7 + 12229802892987547212744249896516099/5950112818498794498773837052442\ 1*c_0101_6^6 + 2227883440892501858891393229998451/59501128184987944\ 987738370524421*c_0101_6^5 - 2416519897011949659331249702011471/595\ 01128184987944987738370524421*c_0101_6^4 + 302187814871501472251686281526091/59501128184987944987738370524421*\ c_0101_6^3 + 424407555537520407652951101602249/59501128184987944987\ 738370524421*c_0101_6^2 - 83802525485602925155404852343127/59501128\ 184987944987738370524421*c_0101_6 - 69074496107302536987372442309472/59501128184987944987738370524421, c_0101_6^28 + 4*c_0101_6^27 + 7*c_0101_6^26 - 34*c_0101_6^25 - 123*c_0101_6^24 + 24*c_0101_6^23 + 626*c_0101_6^22 + 805*c_0101_6^21 - 3120*c_0101_6^20 - 1986*c_0101_6^19 + 8944*c_0101_6^18 - 228*c_0101_6^17 - 13362*c_0101_6^16 + 5691*c_0101_6^15 + 10719*c_0101_6^14 - 8037*c_0101_6^13 - 4443*c_0101_6^12 + 5440*c_0101_6^11 + 628*c_0101_6^10 - 2127*c_0101_6^9 + 236*c_0101_6^8 + 519*c_0101_6^7 - 148*c_0101_6^6 - 73*c_0101_6^5 + 43*c_0101_6^4 + 3*c_0101_6^3 - 9*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB