Magma V2.19-8 Tue Aug 20 2013 16:18:20 on localhost [Seed = 2378961058] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2551 geometric_solution 5.85972841 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 1023 0 0 0 0 0 -1 0 1 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 -1 0 1 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.905355727362 0.502055900112 0 3 5 4 0132 0213 0132 0132 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 -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.409206555242 0.600672522537 2 0 2 0 2310 0132 3201 1023 0 0 0 0 0 1 0 -1 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 1 0 -1 0 0 1 -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.768330752593 0.234620760685 6 4 1 0 0132 2310 0213 0132 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 -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.409206555242 0.600672522537 5 6 1 3 0213 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.774634657328 1.137082844107 4 6 6 1 0213 0213 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.923986205805 0.737912060603 3 5 5 4 0132 3201 0213 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.088191745884 1.160195990415 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(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_1001_1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_5'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), '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_0011_4']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0011_5'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0011_0']), 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_1001_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_4, c_0011_5, c_0101_1, c_0101_2, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 363173284245994848333191076022539584297303216411/567512961850694257\ 0224165433233606355900354127360*c_1001_1^23 + 85595920723627349040371586100635402935008422233/3546956011566839106\ 39010339577100397243772132960*c_1001_1^22 - 99250239392110741124974038796294416013652257983/5675129618506942570\ 22416543323360635590035412736*c_1001_1^21 - 6491564949546787752115283390298792402530282722249/56751296185069425\ 70224165433233606355900354127360*c_1001_1^20 - 1105049112105286453856621126043950411085042811497/11350259237013885\ 14044833086646721271180070825472*c_1001_1^19 - 350579108340429856639954666254277081142581075503/162146560528769787\ 720690440949531610168581546496*c_1001_1^18 - 2835156081683229836190443339485620633567585228301/70939120231336782\ 1278020679154200794487544265920*c_1001_1^17 - 13659420012956092300729139403594709362312392464469/5675129618506942\ 570224165433233606355900354127360*c_1001_1^16 - 37100444253653098702358320498552434780877469869/1418782404626735642\ 55604135830840158897508853184*c_1001_1^15 - 469841051318442479073168326377623756479749530329/515920874409722051\ 838560493930327850536395829760*c_1001_1^14 - 44275402544580509702727099831405378504779111874749/5675129618506942\ 570224165433233606355900354127360*c_1001_1^13 + 4811769619224100619260785802799285170610381312043/11350259237013885\ 14044833086646721271180070825472*c_1001_1^12 + 312182714910432579096565928253868377740794245204461/567512961850694\ 2570224165433233606355900354127360*c_1001_1^11 + 263456773009653508555978127190535862743794149793469/567512961850694\ 2570224165433233606355900354127360*c_1001_1^10 - 19416252045280106213596251961857681398002396274497/1135025923701388\ 514044833086646721271180070825472*c_1001_1^9 + 13871610651405112624797709321710739663000627374079/2837564809253471\ 28511208271661680317795017706368*c_1001_1^8 + 24515774752696512130145414866263973621907655108849/1289802186024305\ 12959640123482581962634098957440*c_1001_1^7 + 34561891514091951448778848319894902493037770127323/2579604372048610\ 25919280246965163925268197914880*c_1001_1^6 + 62509805317708743614810855039004573024963430691831/1418782404626735\ 642556041358308401588975088531840*c_1001_1^5 + 84151492363784372521805634338339999580058607941947/8107328026438489\ 38603452204747658050842907732480*c_1001_1^4 + 272941041474612712181918601109454893173715703640981/141878240462673\ 5642556041358308401588975088531840*c_1001_1^3 + 23468325245247132610791087135257150192793562915/1135025923701388514\ 044833086646721271180070825472*c_1001_1^2 - 247293687833579031822809206666534201818766888383459/567512961850694\ 2570224165433233606355900354127360*c_1001_1 + 9034479866800833876100422290438333681583921786313/56751296185069425\ 70224165433233606355900354127360, c_0011_0 - 1, c_0011_3 - 200527572746300999153903481132948299539248/28790227366613953\ 785633956134504902373682803*c_1001_1^23 - 795575955789654637553171975513496131572129/287902273666139537856339\ 56134504902373682803*c_1001_1^22 + 445509240615309863136712952917752513763179/287902273666139537856339\ 56134504902373682803*c_1001_1^21 + 3865580104321861576110794144298035039540042/28790227366613953785633\ 956134504902373682803*c_1001_1^20 + 3629178144652781230973350117985489164208267/28790227366613953785633\ 956134504902373682803*c_1001_1^19 + 6539779596962598231170610932791939719761567/28790227366613953785633\ 956134504902373682803*c_1001_1^18 + 13134450921853288294331408029551869028193479/2879022736661395378563\ 3956134504902373682803*c_1001_1^17 + 8534471463884892773961713707893953160872104/28790227366613953785633\ 956134504902373682803*c_1001_1^16 - 483290703892010721337590699493294866021584/287902273666139537856339\ 56134504902373682803*c_1001_1^15 + 1331857563874242753444896631553811425556271/28790227366613953785633\ 956134504902373682803*c_1001_1^14 + 24974496071476573051346899632928841229225520/2879022736661395378563\ 3956134504902373682803*c_1001_1^13 - 9896871503072247256892956573635458232653141/28790227366613953785633\ 956134504902373682803*c_1001_1^12 - 180651383055679031654873782616969278940218871/287902273666139537856\ 33956134504902373682803*c_1001_1^11 - 176669382315427900911897885308451816405998748/287902273666139537856\ 33956134504902373682803*c_1001_1^10 + 64118897603399305136808722151592885150955584/2879022736661395378563\ 3956134504902373682803*c_1001_1^9 - 105586487452822382645052501678307271631958907/287902273666139537856\ 33956134504902373682803*c_1001_1^8 - 638540130055219481126216050440902360642144137/287902273666139537856\ 33956134504902373682803*c_1001_1^7 - 504171974378685059067637922137052739087881410/287902273666139537856\ 33956134504902373682803*c_1001_1^6 - 83108842097196466520965600114959623628145887/2879022736661395378563\ 3956134504902373682803*c_1001_1^5 - 251964139629548364157693460606002658633024329/287902273666139537856\ 33956134504902373682803*c_1001_1^4 - 620170891407632691234976311952699718097112246/287902273666139537856\ 33956134504902373682803*c_1001_1^3 - 48291263896386148195010434210044458689659904/2879022736661395378563\ 3956134504902373682803*c_1001_1^2 + 250043796343557482719903886284636032155048056/287902273666139537856\ 33956134504902373682803*c_1001_1 + 27442832203368917519681768640186198693664708/2879022736661395378563\ 3956134504902373682803, c_0011_4 - 17406837682316419061469961735601262183904/287902273666139537\ 85633956134504902373682803*c_1001_1^23 - 60954577187908150601782694211742875926320/2879022736661395378563395\ 6134504902373682803*c_1001_1^22 + 113298983980469912347841147013737\ 045592985/57580454733227907571267912269009804747365606*c_1001_1^21 + 560351676374682637858331513038501622470673/575804547332279075712679\ 12269009804747365606*c_1001_1^20 + 504375259036818758709912615707370245398843/575804547332279075712679\ 12269009804747365606*c_1001_1^19 + 1225800575594836435912485311878047056176713/57580454733227907571267\ 912269009804747365606*c_1001_1^18 + 1678374993608064115684948246761236817510371/57580454733227907571267\ 912269009804747365606*c_1001_1^17 + 1068241403131618301729455595941697541146621/57580454733227907571267\ 912269009804747365606*c_1001_1^16 - 35304572642672012383963826038174642697887/2879022736661395378563395\ 6134504902373682803*c_1001_1^15 - 203755489051329326425955268786954\ 165455487/28790227366613953785633956134504902373682803*c_1001_1^14 + 3357446375406617663800131398180776971542465/57580454733227907571267\ 912269009804747365606*c_1001_1^13 - 1717883155014854116256995391458712004096852/28790227366613953785633\ 956134504902373682803*c_1001_1^12 - 27216307040881071741333231057275731717860035/5758045473322790757126\ 7912269009804747365606*c_1001_1^11 - 22114579585272235284461739872920363627751509/5758045473322790757126\ 7912269009804747365606*c_1001_1^10 + 2453133327180695429947342967210762226785417/28790227366613953785633\ 956134504902373682803*c_1001_1^9 - 9000356574962515922427028183358274155374156/28790227366613953785633\ 956134504902373682803*c_1001_1^8 - 41345447260014597168494782294543719653909844/2879022736661395378563\ 3956134504902373682803*c_1001_1^7 - 34742883582058485279392689222373257059512854/2879022736661395378563\ 3956134504902373682803*c_1001_1^6 - 13884938659652783438916067313475042455922259/2879022736661395378563\ 3956134504902373682803*c_1001_1^5 - 1622116458938153773537430066426990882799900/28790227366613953785633\ 956134504902373682803*c_1001_1^4 - 32582538795999836881217324453194154624971755/2879022736661395378563\ 3956134504902373682803*c_1001_1^3 - 29874835745199021451247794140807759724171285/5758045473322790757126\ 7912269009804747365606*c_1001_1^2 + 19517013819979550459157773507516762158661829/5758045473322790757126\ 7912269009804747365606*c_1001_1 + 254756769902854545989597012540249\ 73130725015/28790227366613953785633956134504902373682803, c_0011_5 + 15746451547424170159514737941690335509270/287902273666139537\ 85633956134504902373682803*c_1001_1^23 + 74240754406731648201707597651909310203473/2879022736661395378563395\ 6134504902373682803*c_1001_1^22 + 750724735170052145495327744626219\ 6834947/28790227366613953785633956134504902373682803*c_1001_1^21 - 344461852729428926305904112007650704633137/287902273666139537856339\ 56134504902373682803*c_1001_1^20 - 497901630552284852882789221003338772699334/287902273666139537856339\ 56134504902373682803*c_1001_1^19 - 655034529325907863523991821148190531138362/287902273666139537856339\ 56134504902373682803*c_1001_1^18 - 1332942973727649746874390278774006757225010/28790227366613953785633\ 956134504902373682803*c_1001_1^17 - 1291409585851305605450348507073991043094393/28790227366613953785633\ 956134504902373682803*c_1001_1^16 - 457784196980635406848531696702272618488306/287902273666139537856339\ 56134504902373682803*c_1001_1^15 - 31625312296490830165086143131277297218228/2879022736661395378563395\ 6134504902373682803*c_1001_1^14 - 186484025434497527827200079989334\ 8187055276/28790227366613953785633956134504902373682803*c_1001_1^13 - 1164092113189814353951696227679028476401124/287902273666139537856\ 33956134504902373682803*c_1001_1^12 + 15924170446941012935169545083500402056894917/2879022736661395378563\ 3956134504902373682803*c_1001_1^11 + 24488288330823181245876404945122551365622289/2879022736661395378563\ 3956134504902373682803*c_1001_1^10 + 1309637167340456331912606653360143418498615/28790227366613953785633\ 956134504902373682803*c_1001_1^9 + 1309818987692031698512514818528430394677754/28790227366613953785633\ 956134504902373682803*c_1001_1^8 + 53268050251766099929767072496720441662516348/2879022736661395378563\ 3956134504902373682803*c_1001_1^7 + 80077544909379956566740775836247550724356506/2879022736661395378563\ 3956134504902373682803*c_1001_1^6 + 31401359625001967061005881552267257124238323/2879022736661395378563\ 3956134504902373682803*c_1001_1^5 + 3358061700535723171635808964131419283804129/28790227366613953785633\ 956134504902373682803*c_1001_1^4 + 57145242683673375935702909698623248961777647/2879022736661395378563\ 3956134504902373682803*c_1001_1^3 + 51083944984231523775213319238941145099823101/2879022736661395378563\ 3956134504902373682803*c_1001_1^2 - 17114528027501389545061292399342749572637527/2879022736661395378563\ 3956134504902373682803*c_1001_1 - 225404341154952899869546594402566\ 13201137599/28790227366613953785633956134504902373682803, c_0101_1 - 189272624529266031590254835247800331372855/28790227366613953\ 785633956134504902373682803*c_1001_1^23 - 756575805343105775779189222183853263718642/287902273666139537856339\ 56134504902373682803*c_1001_1^22 + 400229967286940169861588861802218183806172/287902273666139537856339\ 56134504902373682803*c_1001_1^21 + 3666861053170635956258784944186812641516838/28790227366613953785633\ 956134504902373682803*c_1001_1^20 + 3525269419486719323032374124796460375894355/28790227366613953785633\ 956134504902373682803*c_1001_1^19 + 6277595328459792055143222834052875777166917/28790227366613953785633\ 956134504902373682803*c_1001_1^18 + 12583124558730918686378252205737323754034776/2879022736661395378563\ 3956134504902373682803*c_1001_1^17 + 8139673073093954047751240962958441884420878/28790227366613953785633\ 956134504902373682803*c_1001_1^16 - 373197952261684020067044201149359143656382/287902273666139537856339\ 56134504902373682803*c_1001_1^15 + 1403830849862440404793208598488374506141205/28790227366613953785633\ 956134504902373682803*c_1001_1^14 + 23164799444842367720855099149640508996944326/2879022736661395378563\ 3956134504902373682803*c_1001_1^13 - 8002789384886169933851042996181145114517794/28790227366613953785633\ 956134504902373682803*c_1001_1^12 - 170571097890748966104953362888493384565578632/287902273666139537856\ 33956134504902373682803*c_1001_1^11 - 172037243871580944676327668949395012195044163/287902273666139537856\ 33956134504902373682803*c_1001_1^10 + 55980845662636834739612394205107114240071338/2879022736661395378563\ 3956134504902373682803*c_1001_1^9 - 102014238284726963738713942125561528836698679/287902273666139537856\ 33956134504902373682803*c_1001_1^8 - 600379639165082665524103507005434483043464371/287902273666139537856\ 33956134504902373682803*c_1001_1^7 - 485052846960673944731053536179303943660873687/287902273666139537856\ 33956134504902373682803*c_1001_1^6 - 102787839010542304292699852759521165194403768/287902273666139537856\ 33956134504902373682803*c_1001_1^5 - 245333513510011726093713830224322005984984842/287902273666139537856\ 33956134504902373682803*c_1001_1^4 - 575842174137246136458194815290743726930765975/287902273666139537856\ 33956134504902373682803*c_1001_1^3 - 47942977157794133033169882232052626182517001/2879022736661395378563\ 3956134504902373682803*c_1001_1^2 + 230668398989094450935011689170659176391273727/287902273666139537856\ 33956134504902373682803*c_1001_1 + 27001931560041040755215355977818869299405148/2879022736661395378563\ 3956134504902373682803, c_0101_2 - 49514325210380062363471092735933417010267/287902273666139537\ 85633956134504902373682803*c_1001_1^23 - 281189227828040882598721402745841697597230/287902273666139537856339\ 56134504902373682803*c_1001_1^22 - 200812315633664415581637062669616266839418/287902273666139537856339\ 56134504902373682803*c_1001_1^21 + 1224300695772342031890400689730712328877623/28790227366613953785633\ 956134504902373682803*c_1001_1^20 + 2412769006818985396977046212816017961249145/28790227366613953785633\ 956134504902373682803*c_1001_1^19 + 2750231925222461834200148806515203868935896/28790227366613953785633\ 956134504902373682803*c_1001_1^18 + 5833033820741182624518516804435605094364331/28790227366613953785633\ 956134504902373682803*c_1001_1^17 + 6902795014787832868455683248481217079452289/28790227366613953785633\ 956134504902373682803*c_1001_1^16 + 2355281280482572980132633814145538646985314/28790227366613953785633\ 956134504902373682803*c_1001_1^15 + 52839645826373154102599794222228233881416/2879022736661395378563395\ 6134504902373682803*c_1001_1^14 + 721635814388719392985185319462596\ 6012865652/28790227366613953785633956134504902373682803*c_1001_1^13 + 8237148781074341086107736972001058331583993/287902273666139537856\ 33956134504902373682803*c_1001_1^12 - 50704750124249465616728906537635116352063692/2879022736661395378563\ 3956134504902373682803*c_1001_1^11 - 116258277530329521662934335124338276840395023/287902273666139537856\ 33956134504902373682803*c_1001_1^10 - 38224254205776710541320428210284674591874978/2879022736661395378563\ 3956134504902373682803*c_1001_1^9 + 6973319168253647948030106206393435636408110/28790227366613953785633\ 956134504902373682803*c_1001_1^8 - 216616296711821514602889899585210564535839479/287902273666139537856\ 33956134504902373682803*c_1001_1^7 - 372102108921571511221634515791181268576742446/287902273666139537856\ 33956134504902373682803*c_1001_1^6 - 181077970187970374527045621321065063991753952/287902273666139537856\ 33956134504902373682803*c_1001_1^5 - 88149699769288280437168166106336298701395426/2879022736661395378563\ 3956134504902373682803*c_1001_1^4 - 263666167481229610874507244077013406591042721/287902273666139537856\ 33956134504902373682803*c_1001_1^3 - 247817611559725369100387820795086342845874221/287902273666139537856\ 33956134504902373682803*c_1001_1^2 + 79983262748770991818966288344415016750966379/2879022736661395378563\ 3956134504902373682803*c_1001_1 + 561582893293498366157303005503949\ 31179159529/28790227366613953785633956134504902373682803, c_1001_1^24 + 4*c_1001_1^23 - 2*c_1001_1^22 - 19*c_1001_1^21 - 19*c_1001_1^20 - 35*c_1001_1^19 - 68*c_1001_1^18 - 47*c_1001_1^17 - 4*c_1001_1^16 - 9*c_1001_1^15 - 123*c_1001_1^14 + 41*c_1001_1^13 + 891*c_1001_1^12 + 915*c_1001_1^11 - 211*c_1001_1^10 + 600*c_1001_1^9 + 3156*c_1001_1^8 + 2662*c_1001_1^7 + 780*c_1001_1^6 + 1463*c_1001_1^5 + 3208*c_1001_1^4 + 429*c_1001_1^3 - 1109*c_1001_1^2 - 201*c_1001_1 + 28 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB