Magma V2.19-8 Tue Aug 20 2013 16:17:54 on localhost [Seed = 2598045274] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2132 geometric_solution 5.62003492 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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.442666970070 0.317669463593 2 0 3 0 0132 2310 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 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.066208800464 0.752400512602 1 4 3 5 0132 0132 3012 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 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 1.165293877539 0.886977088908 5 2 4 1 1023 1230 1023 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 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 1.165293877539 0.886977088908 4 2 3 4 3201 0132 1023 2310 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 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.003945664824 0.708891672176 6 3 2 6 0132 1023 0132 3201 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 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.767751844049 0.315567866714 5 5 6 6 0132 2310 2031 1302 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.329062667010 0.788080254085 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], '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_3']), '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_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), '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_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 57352454800187916449545765111073926219/6398551058967545904596347189\ 341603540*c_0101_6^25 + 676223598782449302612301786286981788895/255\ 9420423587018361838538875736641416*c_0101_6^23 - 22174583889746764041312975490644715430997/1066425176494590984099391\ 198223600590*c_0101_6^21 + 3801368919550839947668320134553936682289\ 03/3199275529483772952298173594670801770*c_0101_6^19 - 4959474413794614340424042395948430017361/21328503529891819681987823\ 96447201180*c_0101_6^17 - 59844092771190762731057829441520276611065\ 9/2132850352989181968198782396447201180*c_0101_6^15 - 473293998543531388485401469040356491201779/319927552948377295229817\ 3594670801770*c_0101_6^13 + 327546278406961733319189225043363031517\ 959/12797102117935091809192694378683207080*c_0101_6^11 + 8159335964562917300601842732884125803221/42657007059783639363975647\ 9289440236*c_0101_6^9 + 80678225798402341188998329521198592466321/6\ 398551058967545904596347189341603540*c_0101_6^7 + 45334051173076415212751997520289355201819/4265700705978363936397564\ 792894402360*c_0101_6^5 + 17633983551154194480249243481254089781157\ /6398551058967545904596347189341603540*c_0101_6^3 + 596663680044553387644756374149224369791/426570070597836393639756479\ 2894402360*c_0101_6, c_0011_0 - 1, c_0011_1 + 1431950244950051668145161851139/6689196653564942663317492226\ 5868*c_0101_6^24 - 85079935082590868454046031533159/133783933071298\ 853266349844531736*c_0101_6^22 + 3331788994519245123874469465557393\ /66891966535649426633174922265868*c_0101_6^20 - 19754612426178561015589306279768355/6689196653564942663317492226586\ 8*c_0101_6^18 + 2571938824681861498002460705938901/3344598326782471\ 3316587461132934*c_0101_6^16 + 3035781122350039758454551479762975/4\ 777997609689244759512494447562*c_0101_6^14 + 13479839721888315057372350633900397/6689196653564942663317492226586\ 8*c_0101_6^12 - 8411230660177856517341404051336625/1337839330712988\ 53266349844531736*c_0101_6^10 + 95026725328494394070055499302589/66\ 891966535649426633174922265868*c_0101_6^8 - 2174017559690499102853821342718731/66891966535649426633174922265868\ *c_0101_6^6 - 3160521507114664921500584293974673/133783933071298853\ 266349844531736*c_0101_6^4 - 107791255596397528085462964422211/3344\ 5983267824713316587461132934*c_0101_6^2 - 104080922841234213593757265791259/133783933071298853266349844531736\ , c_0011_3 - 1462753217756467087198750900503/1170609414373864966080561139\ 65269*c_0101_6^25 + 80019031373350180396842956014297/23412188287477\ 2993216112227930538*c_0101_6^23 - 660139086275433912703849406749098\ 5/234121882874772993216112227930538*c_0101_6^21 + 12150765729397849549354277635343078/1170609414373864966080561139652\ 69*c_0101_6^19 + 86434718070915215385493943466687757/23412188287477\ 2993216112227930538*c_0101_6^17 - 610352830200951196903348457182184\ 45/117060941437386496608056113965269*c_0101_6^15 - 233052414575079798995053131548163537/234121882874772993216112227930\ 538*c_0101_6^13 - 32988943656374014689754368142919709/2341218828747\ 72993216112227930538*c_0101_6^11 + 19596174439272721866389810467498791/1170609414373864966080561139652\ 69*c_0101_6^9 + 3171435228288792985140409267099479/1170609414373864\ 96608056113965269*c_0101_6^7 + 10023277758746017674975002361882043/\ 234121882874772993216112227930538*c_0101_6^5 + 6106359888740174274816667235499343/23412188287477299321611222793053\ 8*c_0101_6^3 + 686999595141792263749796772690875/234121882874772993\ 216112227930538*c_0101_6, c_0101_0 + 7470863025148679146811285583819/4682437657495459864322244558\ 61076*c_0101_6^24 - 438163403562947362776815914324735/9364875314990\ 91972864448911722152*c_0101_6^22 + 17295927611049629456379775547292609/4682437657495459864322244558610\ 76*c_0101_6^20 - 96352189368666050079923989704137313/46824376574954\ 5986432224455861076*c_0101_6^18 - 854395493894568648079645974071270\ 7/234121882874772993216112227930538*c_0101_6^16 + 64689143787631219652470855438082792/1170609414373864966080561139652\ 69*c_0101_6^14 + 146431835804549045261397005147870193/4682437657495\ 45986432224455861076*c_0101_6^12 - 101096984143084351750734197672315853/936487531499091972864448911722\ 152*c_0101_6^10 - 24781023683896224797398597315422591/4682437657495\ 45986432224455861076*c_0101_6^8 - 351577076184283435537542150922799\ 9/468243765749545986432224455861076*c_0101_6^6 - 16850717173574394241022329009238665/9364875314990919728644489117221\ 52*c_0101_6^4 - 695336782223950903178431819776391/23412188287477299\ 3216112227930538*c_0101_6^2 + 466505581327747038885695751758409/936\ 487531499091972864448911722152, c_0101_1 + 7136724876683391310654482934742/1170609414373864966080561139\ 65269*c_0101_6^24 - 423647182886628059269299967721599/2341218828747\ 72993216112227930538*c_0101_6^22 + 66397571109195228108513612870366567/4682437657495459864322244558610\ 76*c_0101_6^20 - 392001837807289970619060673252185957/4682437657495\ 45986432224455861076*c_0101_6^18 + 89479979764287441659502848499337967/4682437657495459864322244558610\ 76*c_0101_6^16 + 863448651494285807723556324430571461/4682437657495\ 45986432224455861076*c_0101_6^14 + 295691354541647953987190384529356475/468243765749545986432224455861\ 076*c_0101_6^12 - 112072836404767666482559373880081949/468243765749\ 545986432224455861076*c_0101_6^10 - 6848692467000001175932784672869675/11706094143738649660805611396526\ 9*c_0101_6^8 - 20467114577815580732520433826382605/2341218828747729\ 93216112227930538*c_0101_6^6 - 6682118620010231319965090794985897/1\ 17060941437386496608056113965269*c_0101_6^4 - 3722179192346161461245654780048629/46824376574954598643222445586107\ 6*c_0101_6^2 - 168624462295765403354089314955255/468243765749545986\ 432224455861076, c_0101_3 - 14269675727123479858541496974575/334459832678247133165874611\ 32934*c_0101_6^25 + 120281577587212446557403905502247/9555995219378\ 489519024988895124*c_0101_6^23 - 6622767444328077480860237883267230\ 3/66891966535649426633174922265868*c_0101_6^21 + 380008481790635787587189507326734471/668919665356494266331749222658\ 68*c_0101_6^19 - 17137008500443949445530142841706097/66891966535649\ 426633174922265868*c_0101_6^17 - 8924006853459613377888550027721055\ 89/66891966535649426633174922265868*c_0101_6^15 - 64229454855318857747853723475095021/9555995219378489519024988895124\ *c_0101_6^13 + 46698092274195027431668963771421877/3344598326782471\ 3316587461132934*c_0101_6^11 + 30015776819772661351637339317661955/\ 33445983267824713316587461132934*c_0101_6^9 + 9383485113019405921105778387720919/16722991633912356658293730566467\ *c_0101_6^7 + 32224638850356143271118114626806957/66891966535649426\ 633174922265868*c_0101_6^5 + 1176632725217820145297993864796441/955\ 5995219378489519024988895124*c_0101_6^3 + 131100306749123408970004019504765/33445983267824713316587461132934*\ c_0101_6, c_0101_6^26 - 59/2*c_0101_6^24 + 4641/2*c_0101_6^22 - 13310*c_0101_6^20 + 545*c_0101_6^18 + 31444*c_0101_6^16 + 15701*c_0101_6^14 - 7069/2*c_0101_6^12 - 4173/2*c_0101_6^10 - 1294*c_0101_6^8 - 2317/2*c_0101_6^6 - 535/2*c_0101_6^4 - 5/2*c_0101_6^2 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB