Magma V2.19-8 Tue Aug 20 2013 16:17:11 on localhost [Seed = 442205898] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1424 geometric_solution 5.25801974 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2310 0132 0132 0 0 0 0 0 1 -1 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 -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.550227966663 1.903715411090 0 4 4 0 0132 0132 3201 3201 0 0 0 0 0 0 0 0 1 0 0 -1 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 0 0 0 0 0 0 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.187717049897 0.233672595304 5 3 6 0 0132 1023 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.262183031803 0.758413994563 2 5 0 6 1023 3201 0132 3201 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 -1 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.262183031803 0.758413994563 1 1 4 4 2310 0132 2031 1302 0 0 0 0 0 0 0 0 1 0 0 -1 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 -1 0 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4.933091142808 2.686106142430 2 5 3 5 0132 2310 2310 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.407159672163 1.177786339820 6 3 6 2 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 -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.515280399079 0.562475196073 ==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_6']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_6']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : negation(d['c_0011_6']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : 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_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_2']), '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_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 55172251*c_0101_4^27 - 243204787*c_0101_4^26 + 562890271*c_0101_4^25 + 9393440*c_0101_4^24 - 7996732395*c_0101_4^23 + 8818961926*c_0101_4^22 + 14037311172*c_0101_4^21 - 136457102928*c_0101_4^20 + 66716719940*c_0101_4^19 + 684172474564*c_0101_4^18 - 494255809977*c_0101_4^17 - 1730414748565*c_0101_4^16 + 1591965657185*c_0101_4^15 + 2428965549541*c_0101_4^14 - 3017599787944*c_0101_4^13 - 1671617524802*c_0101_4^12 + 3442573654635*c_0101_4^11 - 39815734975*c_0101_4^10 - 2202476595228*c_0101_4^9 + 937649182497*c_0101_4^8 + 571728535604*c_0101_4^7 - 591996421930*c_0101_4^6 + 99010824456*c_0101_4^5 + 93379525108*c_0101_4^4 - 62195456884*c_0101_4^3 + 17110163721*c_0101_4^2 - 2360421364*c_0101_4 + 134260445, c_0011_0 - 1, c_0011_2 + 36825436*c_0101_4^27 + 161230018*c_0101_4^26 - 380912232*c_0101_4^25 + 3288766*c_0101_4^24 + 5340834208*c_0101_4^23 - 6044779065*c_0101_4^22 - 9244583622*c_0101_4^21 + 91401418290*c_0101_4^20 - 47148916325*c_0101_4^19 - 456174887019*c_0101_4^18 + 343716398196*c_0101_4^17 + 1149586485784*c_0101_4^16 - 1098932122393*c_0101_4^15 - 1601214860667*c_0101_4^14 + 2069309030432*c_0101_4^13 + 1073318199066*c_0101_4^12 - 2345236683508*c_0101_4^11 + 80056464123*c_0101_4^10 + 1486936529403*c_0101_4^9 - 664539493626*c_0101_4^8 - 375610427791*c_0101_4^7 + 408653822317*c_0101_4^6 - 73489801456*c_0101_4^5 - 62820529110*c_0101_4^4 + 43232496805*c_0101_4^3 - 12094688140*c_0101_4^2 + 1692177570*c_0101_4 - 97549696, c_0011_6 + 18*c_0101_4^27 + 73*c_0101_4^26 - 212*c_0101_4^25 + 60*c_0101_4^24 + 2614*c_0101_4^23 - 3797*c_0101_4^22 - 3621*c_0101_4^21 + 46197*c_0101_4^20 - 37365*c_0101_4^19 - 216491*c_0101_4^18 + 240438*c_0101_4^17 + 512457*c_0101_4^16 - 722009*c_0101_4^15 - 621340*c_0101_4^14 + 1275369*c_0101_4^13 + 215005*c_0101_4^12 - 1337051*c_0101_4^11 + 397726*c_0101_4^10 + 738507*c_0101_4^9 - 560046*c_0101_4^8 - 94242*c_0101_4^7 + 265823*c_0101_4^6 - 96446*c_0101_4^5 - 23343*c_0101_4^4 + 31789*c_0101_4^3 - 12077*c_0101_4^2 + 2287*c_0101_4 - 189, c_0101_0 + c_0101_4^27 + 4*c_0101_4^26 - 12*c_0101_4^25 + 4*c_0101_4^24 + 145*c_0101_4^23 - 219*c_0101_4^22 - 189*c_0101_4^21 + 2577*c_0101_4^20 - 2219*c_0101_4^19 - 11904*c_0101_4^18 + 14019*c_0101_4^17 + 27691*c_0101_4^16 - 41650*c_0101_4^15 - 32205*c_0101_4^14 + 72643*c_0101_4^13 + 7909*c_0101_4^12 - 74720*c_0101_4^11 + 26247*c_0101_4^10 + 39570*c_0101_4^9 - 33312*c_0101_4^8 - 3385*c_0101_4^7 + 14956*c_0101_4^6 - 6189*c_0101_4^5 - 953*c_0101_4^4 + 1819*c_0101_4^3 - 772*c_0101_4^2 + 171*c_0101_4 - 19, c_0101_1 + 13090797*c_0101_4^27 + 56932111*c_0101_4^26 - 137238099*c_0101_4^25 + 4375126*c_0101_4^24 + 1899854910*c_0101_4^23 - 2203742950*c_0101_4^22 - 3246021042*c_0101_4^21 + 32604164565*c_0101_4^20 - 17663527303*c_0101_4^19 - 162042530061*c_0101_4^18 + 126971836436*c_0101_4^17 + 407049309979*c_0101_4^16 - 403253374754*c_0101_4^15 - 562954030985*c_0101_4^14 + 754808041988*c_0101_4^13 + 367921462108*c_0101_4^12 - 850446052021*c_0101_4^11 + 45958494653*c_0101_4^10 + 534945625626*c_0101_4^9 - 249081200574*c_0101_4^8 - 131901065499*c_0101_4^7 + 149847839582*c_0101_4^6 - 28489708477*c_0101_4^5 - 22543349634*c_0101_4^4 + 15935346297*c_0101_4^3 - 4515317882*c_0101_4^2 + 638166952*c_0101_4 - 37126828, c_0101_2 - 27090369*c_0101_4^27 - 119060280*c_0101_4^26 + 278063928*c_0101_4^25 + 1454355*c_0101_4^24 - 3927529053*c_0101_4^23 + 4381690950*c_0101_4^22 + 6850541304*c_0101_4^21 - 67106393271*c_0101_4^20 + 33611187492*c_0101_4^19 + 335757815658*c_0101_4^18 - 247178958561*c_0101_4^17 - 847777826601*c_0101_4^16 + 793500683454*c_0101_4^15 + 1185822748566*c_0101_4^14 - 1499608190376*c_0101_4^13 - 806498489070*c_0101_4^12 + 1705681460601*c_0101_4^11 - 37415415276*c_0101_4^10 - 1086742270827*c_0101_4^9 + 473246681700*c_0101_4^8 + 278600405628*c_0101_4^7 - 295135713435*c_0101_4^6 + 51104180120*c_0101_4^5 + 45999715562*c_0101_4^4 - 31110680799*c_0101_4^3 + 8627203242*c_0101_4^2 - 1198215747*c_0101_4 + 68595255, c_0101_4^28 + 4*c_0101_4^27 - 12*c_0101_4^26 + 4*c_0101_4^25 + 145*c_0101_4^24 - 219*c_0101_4^23 - 189*c_0101_4^22 + 2577*c_0101_4^21 - 2219*c_0101_4^20 - 11904*c_0101_4^19 + 14019*c_0101_4^18 + 27691*c_0101_4^17 - 41650*c_0101_4^16 - 32205*c_0101_4^15 + 72643*c_0101_4^14 + 7909*c_0101_4^13 - 74720*c_0101_4^12 + 26247*c_0101_4^11 + 39570*c_0101_4^10 - 33312*c_0101_4^9 - 3385*c_0101_4^8 + 14956*c_0101_4^7 - 6189*c_0101_4^6 - 953*c_0101_4^5 + 1819*c_0101_4^4 - 772*c_0101_4^3 + 170*c_0101_4^2 - 20*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB