Magma V2.19-8 Tue Aug 20 2013 16:18:11 on localhost [Seed = 357861423] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2394 geometric_solution 5.75986288 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 1.706607334639 0.552534373120 0 2 3 0 3201 0132 0132 0132 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.640006484472 0.620035568779 4 1 3 5 0132 0132 1302 0132 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 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.466604296622 0.489497560060 2 5 4 1 2031 1023 1023 0132 0 0 0 0 0 1 0 -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 0 1 0 0 0 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.466604296622 0.489497560060 2 6 3 6 0132 0132 1023 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.337541818769 1.439372900533 3 5 2 5 1023 2310 0132 3201 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 0 0 0 0 -1 1 1 0 0 -1 -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.794547226533 0.747461184691 6 4 6 4 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.526027351366 0.347724638169 ==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_1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0110_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0110_5']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], '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_3, c_0101_0, c_0101_4, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 98652561722748001336447569332467/390168782432573414119127023032*c_0\ 110_5^22 - 623818559389380261505860892387175/3901687824325734141191\ 27023032*c_0110_5^21 + 2786146031628473889060244025015/995328526613\ 707689079405671*c_0110_5^20 + 330887467282141378192685514916123/325\ 14065202714451176593918586*c_0110_5^19 - 8452516948615862256136755533392879/390168782432573414119127023032*c\ _0110_5^18 - 856971552107218967852571494875873/21676043468476300784\ 395945724*c_0110_5^17 + 13135121250598452235826011493304193/3901687\ 82432573414119127023032*c_0110_5^16 + 10774720415141717836746709039835117/130056260810857804706375674344*\ c_0110_5^15 - 8459133140564531717160283203741469/975421956081433535\ 29781755758*c_0110_5^14 - 6832699695851711105290291925414630/487710\ 97804071676764890877879*c_0110_5^13 + 53866062078357856177435592576813047/390168782432573414119127023032*\ c_0110_5^12 + 19723870161029268716602756260954085/97542195608143353\ 529781755758*c_0110_5^11 - 51362831719979173109095911403409/1868624\ 43693761213658585739*c_0110_5^10 - 31532220284758421613156749385979577/195084391216286707059563511516*\ c_0110_5^9 + 3186830116362045762032635207926001/9289732915061271764\ 741119596*c_0110_5^8 - 8314443815588303535659870395068683/390168782\ 432573414119127023032*c_0110_5^7 - 192862337939910189733387988899265/884736468101073501403916152*c_011\ 0_5^6 + 4555447036237154444494637846539421/557383974903676305884467\ 17576*c_0110_5^5 + 7787415664215394512293243735209685/9754219560814\ 3353529781755758*c_0110_5^4 - 9917474539886667596138136256575619/39\ 0168782432573414119127023032*c_0110_5^3 - 2813250668181633580754413752941447/195084391216286707059563511516*c\ _0110_5^2 + 725734313479168606016000170083743/390168782432573414119\ 127023032*c_0110_5 + 316514068789554382349107960720745/390168782432\ 573414119127023032, c_0011_0 - 1, c_0011_1 - 118259052766179302543880905/36460964623172919738260632*c_011\ 0_5^22 + 746283892947760107960874885/36460964623172919738260632*c_0\ 110_5^21 - 3297940392340739225984570/93012664855032958515971*c_0110\ _5^20 - 1205261280559320871219693267/9115241155793229934565158*c_01\ 10_5^19 + 10155936094936174006391819589/36460964623172919738260632*\ c_0110_5^18 + 9437359291572921808103932667/182304823115864598691303\ 16*c_0110_5^17 - 16121069942234889463298931843/36460964623172919738\ 260632*c_0110_5^16 - 39871959515434814755626094125/3646096462317291\ 9738260632*c_0110_5^15 + 10251207546951574175338906969/911524115579\ 3229934565158*c_0110_5^14 + 8492940566495665571980044562/4557620577\ 896614967282579*c_0110_5^13 - 66203766056700168855185539349/3646096\ 4623172919738260632*c_0110_5^12 - 24597964624629566631330054281/911\ 5241155793229934565158*c_0110_5^11 + 16385530067998747237699650604/4557620577896614967282579*c_0110_5^10 + 40718178458548830042783453819/18230482311586459869130316*c_0110_5\ ^9 - 11920030687944044223135996273/2604354615940922838447188*c_0110\ _5^8 + 5701156284015034224053877641/36460964623172919738260632*c_01\ 10_5^7 + 2250830506731862513354733339/744101318840263668127768*c_01\ 10_5^6 - 5643794604813816149427233095/5208709231881845676894376*c_0\ 110_5^5 - 10415073360873513508900036697/9115241155793229934565158*c\ _0110_5^4 + 13953577609056465676899821145/3646096462317291973826063\ 2*c_0110_5^3 + 3890078207990800964323525153/18230482311586459869130\ 316*c_0110_5^2 - 1244602462359814677821090301/364609646231729197382\ 60632*c_0110_5 - 455821464931925920114608971/3646096462317291973826\ 0632, c_0011_3 - 13326606487060477782300837637/5140996011867381683094749112*c\ _0110_5^22 + 88082027905066541441155031297/514099601186738168309474\ 9112*c_0110_5^21 - 881526890643243946410896593/26229571489119294301\ 503822*c_0110_5^20 - 20269500547511182392847624241/2142081671611409\ 03462281213*c_0110_5^19 + 1279229511085250880919340640661/514099601\ 1867381683094749112*c_0110_5^18 + 286344729672639779024399039483/85\ 6832668644563613849124852*c_0110_5^17 - 2252696806701102165731935531135/5140996011867381683094749112*c_0110\ _5^16 - 1244219275263104682843004023055/171366533728912722769824970\ 4*c_0110_5^15 + 699224683801095876664034180570/64262450148342271038\ 6843639*c_0110_5^14 + 724505487713249898572778055592/64262450148342\ 2710386843639*c_0110_5^13 - 8839548990258022737122980947757/5140996\ 011867381683094749112*c_0110_5^12 - 2042778525972625250662001773207/1285249002966845420773687278*c_0110\ _5^11 + 693954281715599326860621024880/214208167161140903462281213*\ c_0110_5^10 + 1915739466493626867207371801807/257049800593369084154\ 7374556*c_0110_5^9 - 450562011536896506833945510843/122404666949223\ 373407017836*c_0110_5^8 + 6345081352790542888024393645349/514099601\ 1867381683094749112*c_0110_5^7 + 63999032700396404009964696021/3497\ 2761985492392402005096*c_0110_5^6 - 954385314336071877006583248335/734428001695340240442107016*c_0110_5\ ^5 - 279087087259524448143283494484/642624501483422710386843639*c_0\ 110_5^4 + 1745193461952615080618489980501/5140996011867381683094749\ 112*c_0110_5^3 + 156590453949790120585964234159/2570498005933690841\ 547374556*c_0110_5^2 - 114651967353288416819534622365/5140996011867\ 381683094749112*c_0110_5 - 22410721354512630956958767435/5140996011\ 867381683094749112, c_0101_0 + 936098639608543099558684719/36460964623172919738260632*c_011\ 0_5^22 - 5864040319837721197736960679/36460964623172919738260632*c_\ 0110_5^21 + 25453154776388792071759064/93012664855032958515971*c_01\ 10_5^20 + 9633783245325313739979629533/9115241155793229934565158*c_\ 0110_5^19 - 78497917820763775699667331219/3646096462317291973826063\ 2*c_0110_5^18 - 76157580281416375840091186383/182304823115864598691\ 30316*c_0110_5^17 + 119653548505606884849434408393/3646096462317291\ 9738260632*c_0110_5^16 + 318003805163612011466426835131/36460964623\ 172919738260632*c_0110_5^15 - 38690268043836696658405227588/4557620\ 577896614967282579*c_0110_5^14 - 136593501063622275638059238799/911\ 5241155793229934565158*c_0110_5^13 + 496791104522573458590533829287/36460964623172919738260632*c_0110_5^\ 12 + 197758569587879350966683019393/9115241155793229934565158*c_011\ 0_5^11 - 124804381219898927747527393713/4557620577896614967282579*c\ _0110_5^10 - 337767082068265938251139459909/18230482311586459869130\ 316*c_0110_5^9 + 91519817377015132077191677135/26043546159409228384\ 47188*c_0110_5^8 - 2955417956487856199303308295/3646096462317291973\ 8260632*c_0110_5^7 - 17548584903227608602354419241/7441013188402636\ 68127768*c_0110_5^6 + 40050866134384006929894063913/520870923188184\ 5676894376*c_0110_5^5 + 41413450839977730985776857190/4557620577896\ 614967282579*c_0110_5^4 - 95889222596588485637184613363/36460964623\ 172919738260632*c_0110_5^3 - 30467116876568290968815174891/18230482\ 311586459869130316*c_0110_5^2 + 7723605175141191434053762571/364609\ 64623172919738260632*c_0110_5 + 3505872952288832880120314337/364609\ 64623172919738260632, c_0101_4 + 6273050978147384206288740635/5140996011867381683094749112*c_\ 0110_5^22 - 43773833164429903177152287917/5140996011867381683094749\ 112*c_0110_5^21 + 495668807242203111899862383/262295714891192943015\ 03822*c_0110_5^20 + 8140707625166113462511824686/214208167161140903\ 462281213*c_0110_5^19 - 679202363816776104442435550771/514099601186\ 7381683094749112*c_0110_5^18 - 23638153148366827659890094636/214208\ 167161140903462281213*c_0110_5^17 + 1302617692193890855041187161971/5140996011867381683094749112*c_0110\ _5^16 + 433288944792782782142249290513/1713665337289127227698249704\ *c_0110_5^15 - 1585455568474607065931007553399/25704980059336908415\ 47374556*c_0110_5^14 - 802040281348449802501669247779/2570498005933\ 690841547374556*c_0110_5^13 + 4910090138493648180380881505813/51409\ 96011867381683094749112*c_0110_5^12 + 259345478824402521349355672686/642624501483422710386843639*c_0110_5\ ^11 - 736914011936601929556309768587/428416334322281806924562426*c_\ 0110_5^10 + 707406529334456006463314406809/257049800593369084154737\ 4556*c_0110_5^9 + 210241246333195176961085695949/122404666949223373\ 407017836*c_0110_5^8 - 6406425783280732328638511974687/514099601186\ 7381683094749112*c_0110_5^7 - 16805706043415931388942875197/3497276\ 1985492392402005096*c_0110_5^6 + 635422913710619625685482908557/734\ 428001695340240442107016*c_0110_5^5 - 249380808695807824631519247757/2570498005933690841547374556*c_0110_\ 5^4 - 884953278467235024497584409525/5140996011867381683094749112*c\ _0110_5^3 + 106343542458407099190613992977/257049800593369084154737\ 4556*c_0110_5^2 + 29083442097432757156607332675/5140996011867381683\ 094749112*c_0110_5 - 11793312997531805296436049425/5140996011867381\ 683094749112, c_0101_6 - 636280379239701981945048851/183607000423835060110526754*c_01\ 10_5^22 + 7889385263973676226681553443/367214000847670120221053508*\ c_0110_5^21 - 928856843103374019665784959/2622957148911929430150382\ 2*c_0110_5^20 - 8929465619592015602214589323/6120233347461168670350\ 8918*c_0110_5^19 + 26010836862864296411292377278/918035002119175300\ 55263377*c_0110_5^18 + 71753186935827338242373816343/12240466694922\ 3373407017836*c_0110_5^17 - 154245798817153316717549586241/36721400\ 0847670120221053508*c_0110_5^16 - 37192307867941508526586159487/306\ 01166737305843351754459*c_0110_5^15 + 402799851646359453039575153491/367214000847670120221053508*c_0110_5\ ^14 + 778629912659685288939874004533/367214000847670120221053508*c_\ 0110_5^13 - 651237900424667690829939897103/367214000847670120221053\ 508*c_0110_5^12 - 564334081200640396361021763017/183607000423835060\ 110526754*c_0110_5^11 + 220821865344764902038755798957/612023334746\ 11686703508918*c_0110_5^10 + 509488512550569433996464695159/1836070\ 00423835060110526754*c_0110_5^9 - 20816900315180280968862140367/437\ 1595248186549050250637*c_0110_5^8 - 23543955269257121990470376632/91803500211917530055263377*c_0110_5^7 + 58758816846818067787023997355/17486380992746196201002548*c_0110_5\ ^6 - 25278028567762723331030307307/26229571489119294301503822*c_011\ 0_5^5 - 492839385132145367074881838871/367214000847670120221053508*\ c_0110_5^4 + 133665456368980962284835036157/36721400084767012022105\ 3508*c_0110_5^3 + 22230718772502134180787816208/9180350021191753005\ 5263377*c_0110_5^2 - 3050232930541059186040896452/91803500211917530\ 055263377*c_0110_5 - 4903947421626226767434169419/36721400084767012\ 0221053508, c_0110_5^23 - 6*c_0110_5^22 + 9*c_0110_5^21 + 44*c_0110_5^20 - 73*c_0110_5^19 - 185*c_0110_5^18 + 85*c_0110_5^17 + 374*c_0110_5^16 - 241*c_0110_5^15 - 672*c_0110_5^14 + 377*c_0110_5^13 + 987*c_0110_5^12 - 844*c_0110_5^11 - 1006*c_0110_5^10 + 1180*c_0110_5^9 + 361*c_0110_5^8 - 922*c_0110_5^7 + 56*c_0110_5^6 + 435*c_0110_5^5 - 9*c_0110_5^4 - 93*c_0110_5^3 - 9*c_0110_5^2 + 6*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB