Magma V2.19-8 Tue Aug 20 2013 16:16:15 on localhost [Seed = 2715827555] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0513 geometric_solution 4.52001223 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.386855984562 0.461417151333 0 3 3 0 0132 0132 1023 3201 0 0 0 0 0 0 -1 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 -1 1 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 1.472034184220 0.569895923168 2 0 2 0 2031 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.871288526461 0.109134436479 4 1 1 5 0132 0132 1023 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 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 1 0 -1 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.075473715628 0.338381439458 3 5 6 5 0132 2310 0132 0321 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 -1 0 1 -1 0 0 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.284727450791 1.136837102446 6 4 3 4 2310 0321 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 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.284727450791 1.136837102446 6 6 5 4 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.792694562439 0.827712650478 ==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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : negation(d['c_0011_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_0']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_6'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : negation(d['c_0101_1']), '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_2, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 42 Groebner basis: [ t - 14028568125350*c_0101_6^41 - 92392275359785*c_0101_6^40 + 613422818056797*c_0101_6^39 + 10688343628676326*c_0101_6^38 + 61495272848132363*c_0101_6^37 + 171220584157036675*c_0101_6^36 + 65073141842575494*c_0101_6^35 - 1342180568892983574*c_0101_6^34 - 5376035270995061876*c_0101_6^33 - 9345899620295063079*c_0101_6^32 - 432337878479526450*c_0101_6^31 + 38116902284947198144*c_0101_6^30 + 93701683566570754590*c_0101_6^29 + 90293135612223408029*c_0101_6^28 - 67453269697177077568*c_0101_6^27 - 344022175921979492788*c_0101_6^26 - 475003411709223251801*c_0101_6^25 - 157268604513252035590*c_0101_6^24 + 540043830672724605136*c_0101_6^23 + 1038964692576103973963*c_0101_6^22 + 747961849484920799250*c_0101_6^21 - 238911759058517091159*c_0101_6^20 - 1104976077188031031258*c_0101_6^19 - 1105953099456211555765*c_0101_6^18 - 318322404317494791232*c_0101_6^17 + 509687508812066322497*c_0101_6^16 + 758654855545169150680*c_0101_6^15 + 446113829720952291961*c_0101_6^14 + 7339623222147181616*c_0101_6^13 - 215263605720652387989*c_0101_6^12 - 195279937392740030215*c_0101_6^11 - 83677885679855056111*c_0101_6^10 - 2350555016876387629*c_0101_6^9 + 23087181917279552605*c_0101_6^8 + 18400499062972144496*c_0101_6^7 + 8646978499093220266*c_0101_6^6 + 2848532488644434226*c_0101_6^5 + 681464409150479154*c_0101_6^4 + 117144562246078747*c_0101_6^3 + 13802151533813563*c_0101_6^2 + 1001824071292610*c_0101_6 + 33858663870935, c_0011_0 - 1, c_0011_2 + 7453951*c_0101_6^41 + 50785969*c_0101_6^40 - 315100535*c_0101_6^39 - 5755307207*c_0101_6^38 - 33951360554*c_0101_6^37 - 98159884569*c_0101_6^36 - 53878632411*c_0101_6^35 + 709019001529*c_0101_6^34 + 3019517887282*c_0101_6^33 + 5584101626127*c_0101_6^32 + 1239585469911*c_0101_6^31 - 20397217106385*c_0101_6^30 - 54369613057045*c_0101_6^29 - 58417708974777*c_0101_6^28 + 26956005194841*c_0101_6^27 + 192696387612904*c_0101_6^26 + 292094153207403*c_0101_6^25 + 133283538514411*c_0101_6^24 - 277680212749207*c_0101_6^23 - 619302702921629*c_0101_6^22 - 510064964593332*c_0101_6^21 + 58539860992801*c_0101_6^20 + 629646619330338*c_0101_6^19 + 713254444340042*c_0101_6^18 + 278380825613974*c_0101_6^17 - 253942063600234*c_0101_6^16 - 468389411738490*c_0101_6^15 - 316167046435248*c_0101_6^14 - 42260881143817*c_0101_6^13 + 121206725754147*c_0101_6^12 + 128587673573313*c_0101_6^11 + 63223030444063*c_0101_6^10 + 7637952118055*c_0101_6^9 - 13283475485950*c_0101_6^8 - 12388271777099*c_0101_6^7 - 6306628100123*c_0101_6^6 - 2217731162104*c_0101_6^5 - 564678683463*c_0101_6^4 - 103453514172*c_0101_6^3 - 13038835833*c_0101_6^2 - 1017807624*c_0101_6 - 37242051, c_0011_5 - 766575625414*c_0101_6^41 - 5034802118277*c_0101_6^40 + 33604126964501*c_0101_6^39 + 583403301031828*c_0101_6^38 + 3350102011022065*c_0101_6^37 + 9300554975488361*c_0101_6^36 + 3414820774873918*c_0101_6^35 - 73334508648679907*c_0101_6^34 - 292443700386106335*c_0101_6^33 - 506052991057948768*c_0101_6^32 - 16746197141785838*c_0101_6^31 + 2079775321595842274*c_0101_6^30 + 5084080213378228319*c_0101_6^29 + 4859690463263086093*c_0101_6^28 - 3737346397374878031*c_0101_6^27 - 18705671019782025514*c_0101_6^26 - 25663015352415663152*c_0101_6^25 - 8273266528593855907*c_0101_6^24 + 29501928886243471746*c_0101_6^23 + 56242422635310926345*c_0101_6^22 + 40114039715974012817*c_0101_6^21 - 13408182579002907330*c_0101_6^20 - 59962584567253234984*c_0101_6^19 - 59552561957436661902*c_0101_6^18 - 16749906870591476965*c_0101_6^17 + 27836252793394234446*c_0101_6^16 + 40958153515919835960*c_0101_6^15 + 23880549068439836474*c_0101_6^14 + 213838043123370529*c_0101_6^13 - 11673820966994892749*c_0101_6^12 - 10502981334013489544*c_0101_6^11 - 4465047053441061745*c_0101_6^10 - 100716107195346160*c_0101_6^9 + 1249598309029671851*c_0101_6^8 + 988708220915086380*c_0101_6^7 + 462874580865129065*c_0101_6^6 + 152036939521328482*c_0101_6^5 + 36277786284578751*c_0101_6^4 + 6220915090723208*c_0101_6^3 + 731218474756663*c_0101_6^2 + 52951729076577*c_0101_6 + 1785507681667, c_0011_6 + 1018932056253*c_0101_6^41 + 6697176027978*c_0101_6^40 - 44636490102123*c_0101_6^39 - 775688563703931*c_0101_6^38 - 4456595284099340*c_0101_6^37 - 12382160710460914*c_0101_6^36 - 4589764700354285*c_0101_6^35 + 97477013805520262*c_0101_6^34 + 389186218496789701*c_0101_6^33 + 674311458917239853*c_0101_6^32 + 24760667029402617*c_0101_6^31 - 2765447878770744984*c_0101_6^30 - 6770648151983572482*c_0101_6^29 - 6486351381043747899*c_0101_6^28 + 4948508476932422362*c_0101_6^27 + 24896115607741997449*c_0101_6^26 + 34216716809382085640*c_0101_6^25 + 11114314168574019692*c_0101_6^24 - 39213388435531976316*c_0101_6^23 - 74946888557825206078*c_0101_6^22 - 53595645370863510137*c_0101_6^21 + 17688202370434690330*c_0101_6^20 + 79848066149101253511*c_0101_6^19 + 79476665303607554217*c_0101_6^18 + 22503233914956913665*c_0101_6^17 - 36999354287000839555*c_0101_6^16 - 54620313169352569674*c_0101_6^15 - 31924848959318610519*c_0101_6^14 - 355749794080605884*c_0101_6^13 + 15547377724040266404*c_0101_6^12 + 14021771602128580556*c_0101_6^11 + 5974962550136171855*c_0101_6^10 + 144643576122799806*c_0101_6^9 - 1665122542164907984*c_0101_6^8 - 1320345978201379461*c_0101_6^7 - 618845482681114413*c_0101_6^6 - 203452713905750232*c_0101_6^5 - 48586433397670327*c_0101_6^4 - 8338273337120865*c_0101_6^3 - 980877064166610*c_0101_6^2 - 71087975685253*c_0101_6 - 2399009055100, c_0101_0 + 310712797369*c_0101_6^41 + 2063693150858*c_0101_6^40 - 13478921454155*c_0101_6^39 - 237530924844050*c_0101_6^38 - 1374934208042421*c_0101_6^37 - 3863331510995958*c_0101_6^36 - 1625574921579707*c_0101_6^35 + 29717823845621798*c_0101_6^34 + 120734054219056448*c_0101_6^33 + 213003551063028266*c_0101_6^32 + 18817093399421739*c_0101_6^31 - 847256797619946132*c_0101_6^30 - 2121313053136823633*c_0101_6^29 - 2098006217992053769*c_0101_6^28 + 1420156972500548307*c_0101_6^27 + 7731426167125817978*c_0101_6^26 + 10902908139400864298*c_0101_6^25 + 3923314065241941593*c_0101_6^24 - 11936291819038501320*c_0101_6^23 - 23688968695068387072*c_0101_6^22 - 17589975521462054451*c_0101_6^21 + 4761232615006016650*c_0101_6^20 + 24973614479538529952*c_0101_6^19 + 25669110485380139411*c_0101_6^18 + 7965513119357634762*c_0101_6^17 - 11248200721316947068*c_0101_6^16 - 17449332744264034115*c_0101_6^15 - 10569902284072053484*c_0101_6^14 - 448427348533626447*c_0101_6^13 + 4869111325251697276*c_0101_6^12 + 4552404933953159675*c_0101_6^11 + 2007205030389124389*c_0101_6^10 + 96152572377757908*c_0101_6^9 - 525487554002962178*c_0101_6^8 - 430655916041751139*c_0101_6^7 - 205356817877798641*c_0101_6^6 - 68441230879508987*c_0101_6^5 - 16549295346488714*c_0101_6^4 - 2874671504659346*c_0101_6^3 - 342269250721316*c_0101_6^2 - 25110910048790*c_0101_6 - 858072166865, c_0101_1 - 907194690234*c_0101_6^41 - 5994236849530*c_0101_6^40 + 39548818640016*c_0101_6^39 + 692091266902530*c_0101_6^38 + 3991187017468543*c_0101_6^37 + 11151542553771356*c_0101_6^36 + 4411883247138653*c_0101_6^35 - 86791828807964928*c_0101_6^34 - 349517089651961394*c_0101_6^33 - 611038356880323336*c_0101_6^32 - 38087909614501242*c_0101_6^31 + 2468617586238429366*c_0101_6^30 + 6110712056966582486*c_0101_6^29 + 5947172731350493093*c_0101_6^28 - 4282685601650001725*c_0101_6^27 - 22374057859199003349*c_0101_6^26 - 31140139042572102942*c_0101_6^25 - 10649398564011037231*c_0101_6^24 + 34907895615104686357*c_0101_6^23 + 67941562634495258359*c_0101_6^22 + 49489002690964756167*c_0101_6^21 - 14886890056478757446*c_0101_6^20 - 72024105373619346549*c_0101_6^19 - 72809099277583771181*c_0101_6^18 - 21572152337931193179*c_0101_6^17 + 32935400247505795928*c_0101_6^16 + 49775845530651128561*c_0101_6^15 + 29597405054229262218*c_0101_6^14 + 776945040046434907*c_0101_6^13 - 14037437482096839117*c_0101_6^12 - 12876755134888116164*c_0101_6^11 - 5576844207008396154*c_0101_6^10 - 198172349382348586*c_0101_6^9 + 1509092588543443520*c_0101_6^8 + 1215055871351651688*c_0101_6^7 + 574063101339422491*c_0101_6^6 + 189919350063749415*c_0101_6^5 + 45613078215484562*c_0101_6^4 + 7870869094711823*c_0101_6^3 + 930909949155570*c_0101_6^2 + 67833551774565*c_0101_6 + 2301768176940, c_0101_6^42 + 7*c_0101_6^41 - 41*c_0101_6^40 - 780*c_0101_6^39 - 4699*c_0101_6^38 - 14020*c_0101_6^37 - 9692*c_0101_6^36 + 93753*c_0101_6^35 + 422829*c_0101_6^34 + 824868*c_0101_6^33 + 306669*c_0101_6^32 - 2704260*c_0101_6^31 - 7804225*c_0101_6^30 - 9201933*c_0101_6^29 + 2142900*c_0101_6^28 + 26512982*c_0101_6^27 + 44012918*c_0101_6^26 + 25231253*c_0101_6^25 - 33851465*c_0101_6^24 - 89997507*c_0101_6^23 - 83982897*c_0101_6^22 - 5050471*c_0101_6^21 + 85812475*c_0101_6^20 + 111448309*c_0101_6^19 + 55337596*c_0101_6^18 - 26931108*c_0101_6^17 - 69120240*c_0101_6^16 - 54193859*c_0101_6^15 - 13693661*c_0101_6^14 + 15125872*c_0101_6^13 + 20273547*c_0101_6^12 + 11729432*c_0101_6^11 + 2638133*c_0101_6^10 - 1576025*c_0101_6^9 - 1993076*c_0101_6^8 - 1159574*c_0101_6^7 - 458337*c_0101_6^6 - 132680*c_0101_6^5 - 28472*c_0101_6^4 - 4443*c_0101_6^3 - 479*c_0101_6^2 - 32*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB