Magma V2.19-8 Tue Aug 20 2013 16:16:08 on localhost [Seed = 307465939] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0397 geometric_solution 4.46235157 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.325745298323 0.116516669703 0 2 2 0 0132 0132 3201 3201 0 0 0 0 0 -1 0 1 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 0 0 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.146384787968 0.476015785079 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.206365477753 0.187327934619 4 2 5 2 0132 2310 0132 0132 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 -1 1 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.739254859478 1.321546091521 3 5 6 5 0132 3201 0132 2310 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 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.176389893957 1.238406804043 4 6 4 3 3201 0132 2310 0132 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 -1 0 1 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.176389893957 1.238406804043 6 5 6 4 2031 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.391406837292 0.641967073527 ==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_0011_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 1264288103948579855818957026582539/64042995461477724142253004701708\ *c_0101_3^25 + 6311344292290234483492375939513591/16010748865369431\ 035563251175427*c_0101_3^24 - 214269258396732976252139603103640581/\ 64042995461477724142253004701708*c_0101_3^23 + 500590921082048529354629378076954099/320214977307388620711265023508\ 54*c_0101_3^22 - 1393363608933258201567895966085007247/320214977307\ 38862071126502350854*c_0101_3^21 + 4696843385098914785725968000219282155/64042995461477724142253004701\ 708*c_0101_3^20 - 2432985460412734890907450576167888623/32021497730\ 738862071126502350854*c_0101_3^19 + 3799137113662314348526622811775676187/64042995461477724142253004701\ 708*c_0101_3^18 - 3416441789884388447133359424278300745/64042995461\ 477724142253004701708*c_0101_3^17 + 2312911500210491260865443313524499565/64042995461477724142253004701\ 708*c_0101_3^16 - 947425758108888815248934394630604831/640429954614\ 77724142253004701708*c_0101_3^15 + 2407880415811282053419071001189364221/64042995461477724142253004701\ 708*c_0101_3^14 - 1629173152035951224645229235352128861/32021497730\ 738862071126502350854*c_0101_3^13 + 213764734525219377826566145392761907/582209049649797492202300042742\ 8*c_0101_3^12 - 2491616632226736128826493538145850947/6404299546147\ 7724142253004701708*c_0101_3^11 - 193893556351003573941016454620484\ 601/64042995461477724142253004701708*c_0101_3^10 + 1074681076036021202863232290197087858/16010748865369431035563251175\ 427*c_0101_3^9 - 1187988837170425890612963157980552723/320214977307\ 38862071126502350854*c_0101_3^8 - 543580255205269682954819786390234\ 12/16010748865369431035563251175427*c_0101_3^7 - 32406251082453892137397340161263899/6404299546147772414225300470170\ 8*c_0101_3^6 - 161939744064460519297660645845524095/640429954614777\ 24142253004701708*c_0101_3^5 + 366894401951337416924591554945812155\ /64042995461477724142253004701708*c_0101_3^4 - 112043451400859467990107106260743639/640429954614777241422530047017\ 08*c_0101_3^3 - 4913572530200403625810256154946473/3202149773073886\ 2071126502350854*c_0101_3^2 + 445857250077931210918885415035121/145\ 5522624124493730505750106857*c_0101_3 - 6692390061678558059460950218894459/64042995461477724142253004701708\ , c_0011_0 - 1, c_0011_3 - 60565914690224635894007209783/109288388159518300584049496078\ *c_0101_3^25 + 587130476627586484651811578521/546441940797591502920\ 24748039*c_0101_3^24 - 9579525665782869334151293114763/109288388159\ 518300584049496078*c_0101_3^23 + 21161582973150820763400336422760/5\ 4644194079759150292024748039*c_0101_3^22 - 54116534559560017853630090652294/54644194079759150292024748039*c_01\ 01_3^21 + 158765976967889752188223812654517/10928838815951830058404\ 9496078*c_0101_3^20 - 65470030241169274289573495334191/546441940797\ 59150292024748039*c_0101_3^19 + 7979169195023676812733029310079/993\ 5308014501663689459045098*c_0101_3^18 - 91271734273637046448959496145633/109288388159518300584049496078*c_0\ 101_3^17 + 38100595324152602201023221202037/10928838815951830058404\ 9496078*c_0101_3^16 - 3985707390719240787741753612853/1092883881595\ 18300584049496078*c_0101_3^15 + 96757993776742638838962937385707/10\ 9288388159518300584049496078*c_0101_3^14 - 44595813967925320567146909827314/54644194079759150292024748039*c_01\ 01_3^13 + 46868006723609884573993764695859/109288388159518300584049\ 496078*c_0101_3^12 - 74693712180776607822434037759163/1092883881595\ 18300584049496078*c_0101_3^11 - 67037832598463547600610402803733/10\ 9288388159518300584049496078*c_0101_3^10 + 90708946257458003364699577508283/54644194079759150292024748039*c_01\ 01_3^9 - 7394029467763716263388002737845/54644194079759150292024748\ 039*c_0101_3^8 - 14575497029594061814992934492613/54644194079759150\ 292024748039*c_0101_3^7 - 10102872529730271519487748512443/10928838\ 8159518300584049496078*c_0101_3^6 - 13798545670809150022079584925481/109288388159518300584049496078*c_0\ 101_3^5 + 10940726829539382589938604997883/109288388159518300584049\ 496078*c_0101_3^4 - 150554944257717057732222115145/1092883881595183\ 00584049496078*c_0101_3^3 - 56351423237859479769056433748/496765400\ 7250831844729522549*c_0101_3^2 + 191089721090424851480050343763/546\ 44194079759150292024748039*c_0101_3 + 123163593768362730359869905423/109288388159518300584049496078, c_0011_5 - 20097514599574520281740266944461/320214977307388620711265023\ 50854*c_0101_3^25 + 778293973092846147032212022389547/6404299546147\ 7724142253004701708*c_0101_3^24 - 633568620939835876729482996979695\ 9/64042995461477724142253004701708*c_0101_3^23 + 6971541176118678760940222133062096/16010748865369431035563251175427\ *c_0101_3^22 - 35395670711856531082721705340910829/3202149773073886\ 2071126502350854*c_0101_3^21 + 51078239185438246093816550642551693/\ 32021497730738862071126502350854*c_0101_3^20 - 80901900066766659789716146740734303/6404299546147772414225300470170\ 8*c_0101_3^19 + 51744679879276494660886119696289805/640429954614777\ 24142253004701708*c_0101_3^18 - 28191565662687361842187043049784951\ /32021497730738862071126502350854*c_0101_3^17 + 22195273516856540164683421953467275/6404299546147772414225300470170\ 8*c_0101_3^16 + 46399463126048374923341814161579/320214977307388620\ 71126502350854*c_0101_3^15 + 5825059187169181528124090800055415/582\ 2090496497974922023000427428*c_0101_3^14 - 28939178316896313082580181742564989/3202149773073886207112650235085\ 4*c_0101_3^13 + 13167393615886391885711849096586871/320214977307388\ 62071126502350854*c_0101_3^12 - 47103466408335021364711611171194839\ /64042995461477724142253004701708*c_0101_3^11 - 11603107700660476544691825290482985/1601074886536943103556325117542\ 7*c_0101_3^10 + 11023968515133902762772040959442085/582209049649797\ 4922023000427428*c_0101_3^9 - 3177218967308489315270642256876925/64\ 042995461477724142253004701708*c_0101_3^8 - 25058381284000948726028739957959715/6404299546147772414225300470170\ 8*c_0101_3^7 - 8825392766323122567615139239232393/64042995461477724\ 142253004701708*c_0101_3^6 - 4230432414655901484417918370608639/320\ 21497730738862071126502350854*c_0101_3^5 + 7444968844080358314493971974184133/64042995461477724142253004701708\ *c_0101_3^4 + 353399032749025837039374505398607/3202149773073886207\ 1126502350854*c_0101_3^3 - 921945559973202484221176959626621/640429\ 95461477724142253004701708*c_0101_3^2 + 211134989638490854228502323223497/64042995461477724142253004701708*\ c_0101_3 + 84611033556737155604809186543715/64042995461477724142253\ 004701708, c_0101_0 + 68910920177095809777553746225/160107488653694310355632511754\ 27*c_0101_3^25 - 915271847458497582251076426405/5822090496497974922\ 023000427428*c_0101_3^24 + 136605803698486965209143403311393/640429\ 95461477724142253004701708*c_0101_3^23 - 241843465870238708365626914737564/16010748865369431035563251175427*\ c_0101_3^22 + 2009698118179129745541446909604875/320214977307388620\ 71126502350854*c_0101_3^21 - 2542179086297374750183774866161396/160\ 10748865369431035563251175427*c_0101_3^20 + 15589058048962636041188283253490923/6404299546147772414225300470170\ 8*c_0101_3^19 - 14594118039724266182041353681174831/640429954614777\ 24142253004701708*c_0101_3^18 + 247271795537010297873387062105833/1\ 455522624124493730505750106857*c_0101_3^17 - 9993542785588703499198979644171757/64042995461477724142253004701708\ *c_0101_3^16 + 1385842228373338000224544934834058/16010748865369431\ 035563251175427*c_0101_3^15 - 1993313808547488733825970448014947/64\ 042995461477724142253004701708*c_0101_3^14 + 4218105513681115741261723213405189/32021497730738862071126502350854\ *c_0101_3^13 - 2358817672007372545359842564928544/16010748865369431\ 035563251175427*c_0101_3^12 + 6214165780113078033088919529148989/64\ 042995461477724142253004701708*c_0101_3^11 - 3610660163145845093629209405481333/32021497730738862071126502350854\ *c_0101_3^10 - 4159511470001663800443135258018251/64042995461477724\ 142253004701708*c_0101_3^9 + 15555545540149055798003331285775033/64\ 042995461477724142253004701708*c_0101_3^8 - 4979480211725537238660874536617025/64042995461477724142253004701708\ *c_0101_3^7 - 1171481657307439835850241396047073/640429954614777241\ 42253004701708*c_0101_3^6 - 156096435453228761236651953440462/16010\ 748865369431035563251175427*c_0101_3^5 - 1227557319705096199596036810191839/64042995461477724142253004701708\ *c_0101_3^4 + 245909809521366751321918486595480/1601074886536943103\ 5563251175427*c_0101_3^3 - 303946326675114913741017767785079/640429\ 95461477724142253004701708*c_0101_3^2 + 7218316391485493948493973055067/64042995461477724142253004701708*c_\ 0101_3 + 87047768523337558303411973417923/6404299546147772414225300\ 4701708, c_0101_1 + 112280178144625467530810957347/21857677631903660116809899215\ 6*c_0101_3^25 - 2209350988004035496750881848857/2185767763190366011\ 68098992156*c_0101_3^24 + 4595636098867991415859635807384/546441940\ 79759150292024748039*c_0101_3^23 - 41745961917208750601939079419025/109288388159518300584049496078*c_0\ 101_3^22 + 55642595097154291570971293009758/54644194079759150292024\ 748039*c_0101_3^21 - 349440073828015120109192712998023/218576776319\ 036601168098992156*c_0101_3^20 + 322185027482218074468018561307087/\ 218576776319036601168098992156*c_0101_3^19 - 5200677753128050619172542101512/4967654007250831844729522549*c_0101\ _3^18 + 218642893608414658984815052265769/2185767763190366011680989\ 92156*c_0101_3^17 - 30622798407140843571492610402863/54644194079759\ 150292024748039*c_0101_3^16 + 27711717412223121103704528169591/2185\ 76776319036601168098992156*c_0101_3^15 - 93872214248188669400302942628503/109288388159518300584049496078*c_0\ 101_3^14 + 55083326054942047039860027702713/54644194079759150292024\ 748039*c_0101_3^13 - 127729202023462622566109177306729/218576776319\ 036601168098992156*c_0101_3^12 + 83589306837646256611378179763281/1\ 09288388159518300584049496078*c_0101_3^11 + 81062611985244494173935027516707/218576776319036601168098992156*c_0\ 101_3^10 - 374145547874461593197073053131513/2185767763190366011680\ 98992156*c_0101_3^9 + 110068584093357432223957497888637/21857677631\ 9036601168098992156*c_0101_3^8 + 54723041307461579701937877936257/2\ 18576776319036601168098992156*c_0101_3^7 + 4217766396124371988069707049814/54644194079759150292024748039*c_010\ 1_3^6 + 20850097075884672925094326669855/21857677631903660116809899\ 2156*c_0101_3^5 - 7418345092186678463421500249700/54644194079759150\ 292024748039*c_0101_3^4 + 3268101734870342205638885329187/218576776\ 319036601168098992156*c_0101_3^3 + 155740026893570477951801408971/19870616029003327378918090196*c_0101\ _3^2 - 865071181544365483346699278031/21857677631903660116809899215\ 6*c_0101_3 - 171894173664949308438954611/54644194079759150292024748\ 039, c_0101_2 - 1632938598985263630760848940631/6404299546147772414225300470\ 1708*c_0101_3^25 + 29508363297182597008591868934083/640429954614777\ 24142253004701708*c_0101_3^24 - 109306116928555004686588509398063/3\ 2021497730738862071126502350854*c_0101_3^23 + 420090910923896155825460730873669/32021497730738862071126502350854*\ c_0101_3^22 - 433321343994946299921402283695626/1601074886536943103\ 5563251175427*c_0101_3^21 + 166607620123645586437544717840349/58220\ 90496497974922023000427428*c_0101_3^20 - 1454454239471123179482670512092957/64042995461477724142253004701708\ *c_0101_3^19 + 1531521854567965445247198051803119/32021497730738862\ 071126502350854*c_0101_3^18 - 4347322565441163466279027740575793/64\ 042995461477724142253004701708*c_0101_3^17 + 1129472765736787279843743625197013/32021497730738862071126502350854\ *c_0101_3^16 - 3547445421802842978114292560461359/64042995461477724\ 142253004701708*c_0101_3^15 + 1291246138021153496299783067945104/16\ 010748865369431035563251175427*c_0101_3^14 - 204538392417079909876343245803193/16010748865369431035563251175427*\ c_0101_3^13 + 2603794401686349985923439965811521/640429954614777241\ 42253004701708*c_0101_3^12 - 925366899154770778772803324845135/1601\ 0748865369431035563251175427*c_0101_3^11 - 1633300171332649964804891690110559/64042995461477724142253004701708\ *c_0101_3^10 - 1354110061589795781559328244715757/64042995461477724\ 142253004701708*c_0101_3^9 + 4680314618702860707480296894989945/640\ 42995461477724142253004701708*c_0101_3^8 + 2959631064685709681258026814973577/64042995461477724142253004701708\ *c_0101_3^7 - 559477557903476192682061085390383/3202149773073886207\ 1126502350854*c_0101_3^6 - 145662798812125653212615649813723/640429\ 95461477724142253004701708*c_0101_3^5 - 481935637865934263779067794891333/32021497730738862071126502350854*\ c_0101_3^4 - 102845374165816382783757790213039/64042995461477724142\ 253004701708*c_0101_3^3 + 71270183328920895764769410269389/64042995\ 461477724142253004701708*c_0101_3^2 - 74911526321928875877294692690331/64042995461477724142253004701708*c\ _0101_3 + 652229288100321342967927453383/29110452482489874610115002\ 13714, c_0101_3^26 - 20*c_0101_3^25 + 170*c_0101_3^24 - 795*c_0101_3^23 + 2210*c_0101_3^22 - 3695*c_0101_3^21 + 3718*c_0101_3^20 - 2712*c_0101_3^19 + 2370*c_0101_3^18 - 1571*c_0101_3^17 + 478*c_0101_3^16 - 1691*c_0101_3^15 + 2517*c_0101_3^14 - 1685*c_0101_3^13 + 1713*c_0101_3^12 + 318*c_0101_3^11 - 3650*c_0101_3^10 + 1989*c_0101_3^9 + 467*c_0101_3^8 - 146*c_0101_3^7 + 90*c_0101_3^6 - 309*c_0101_3^5 + 100*c_0101_3^4 + 30*c_0101_3^3 - 21*c_0101_3^2 + 2*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB