Magma V2.19-8 Tue Aug 20 2013 16:18:44 on localhost [Seed = 1983376131] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2905 geometric_solution 6.11036804 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3120 0132 0132 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 0 0 0 -1 0 1 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.945301414153 1.071927282166 0 0 5 4 0132 3120 0132 0132 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 0 0 -1 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.593836153083 0.485518144734 4 5 4 0 0132 3012 2031 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.371462026566 0.658091078193 6 4 0 6 0132 3120 0132 1023 0 0 0 0 0 0 -1 1 -1 0 1 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.478238233519 0.434318418825 2 3 1 2 0132 3120 0132 1302 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 1 0 -1 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.303720002276 0.874663855094 2 5 5 1 1230 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.990708373101 0.825192935194 3 6 6 3 0132 3201 2310 1023 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 0 0 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.258273190226 0.686211619365 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : 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' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_2'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0011_2'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_5']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_2'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0011_2'], 'c_1010_2' : negation(d['c_0101_5']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_0011_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_3, c_0011_5, c_0101_0, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 20397201975893347634638741/26204823190984980074288*c_0101_5*c_0101_\ 6^13 - 9065860810875477974200359/3275602898873122509286*c_0101_5*c_\ 0101_6^12 - 236098345230921836744621133/26204823190984980074288*c_0\ 101_5*c_0101_6^11 - 24260228346626477311875411/65512057977462450185\ 72*c_0101_5*c_0101_6^10 + 43060823483202342380316709/37435461701407\ 11439184*c_0101_5*c_0101_6^9 - 629789186690871348668449999/26204823\ 190984980074288*c_0101_5*c_0101_6^8 + 1074456017829003458824030461/13102411595492490037144*c_0101_5*c_010\ 1_6^7 - 70751275013491610065459511/1637801449436561254643*c_0101_5*\ c_0101_6^6 + 46502282564329331646070537/467943271267588929898*c_010\ 1_5*c_0101_6^5 - 81814988808856497183163467/26204823190984980074288\ *c_0101_5*c_0101_6^4 - 23907056778610191115049705/16378014494365612\ 54643*c_0101_5*c_0101_6^3 + 46314582377053506063653471/262048231909\ 84980074288*c_0101_5*c_0101_6^2 - 20102061256344495547245893/262048\ 23190984980074288*c_0101_5*c_0101_6 + 5414544037651028705146713/26204823190984980074288*c_0101_5, c_0011_0 - 1, c_0011_2 + 3916393639434991/2681732828733488*c_0101_6^13 + 6908263655316351/1340866414366744*c_0101_6^12 + 44960920046030263/2681732828733488*c_0101_6^11 + 4373544632885717/670433207183372*c_0101_6^10 - 57934288650791241/2681732828733488*c_0101_6^9 + 123482681741946147/2681732828733488*c_0101_6^8 - 103893045479777103/670433207183372*c_0101_6^7 + 114181587130704823/1340866414366744*c_0101_6^6 - 253047138431909817/1340866414366744*c_0101_6^5 + 26001488021421195/2681732828733488*c_0101_6^4 + 17813778135048263/670433207183372*c_0101_6^3 - 16812875348267231/2681732828733488*c_0101_6^2 - 470185465933303/2681732828733488*c_0101_6 - 1402062656404291/2681732828733488, c_0011_3 - 9720298324245822633573/3743546170140711439184*c_0101_5*c_010\ 1_6^13 - 18018502660286967658479/1871773085070355719592*c_0101_5*c_\ 0101_6^12 - 118783662501107493847025/3743546170140711439184*c_0101_\ 5*c_0101_6^11 - 16854251569367794521399/935886542535177859796*c_010\ 1_5*c_0101_6^10 + 123043092305568018035075/3743546170140711439184*c\ _0101_5*c_0101_6^9 - 288764897800640424396325/374354617014071143918\ 4*c_0101_5*c_0101_6^8 + 247633152935607658762389/935886542535177859\ 796*c_0101_5*c_0101_6^7 - 205043147237756328142021/1871773085070355\ 719592*c_0101_5*c_0101_6^6 + 627329748691285064279855/1871773085070\ 355719592*c_0101_5*c_0101_6^5 + 137152305875674453805735/3743546170\ 140711439184*c_0101_5*c_0101_6^4 - 9376768316293801008045/467943271267588929898*c_0101_5*c_0101_6^3 + 48256285531684023864153/3743546170140711439184*c_0101_5*c_0101_6^2 - 17368643751766747595667/3743546170140711439184*c_0101_5*c_0101_6 + 231395185871929391925/3743546170140711439184*c_0101_5, c_0011_5 + 11463750585531118218509/1871773085070355719592*c_0101_6^13 + 11756677438844031341005/467943271267588929898*c_0101_6^12 + 156327151157740601246435/1871773085070355719592*c_0101_6^11 + 33093731478176154323347/467943271267588929898*c_0101_6^10 - 121945054276497534054635/1871773085070355719592*c_0101_6^9 + 274282327201629947049315/1871773085070355719592*c_0101_6^8 - 128691298433973025379611/233971635633794464949*c_0101_6^7 + 6401690352896920936339/935886542535177859796*c_0101_6^6 - 622898785923077810694843/935886542535177859796*c_0101_6^5 - 725592806188133607650547/1871773085070355719592*c_0101_6^4 + 37432564168271137723877/935886542535177859796*c_0101_6^3 + 38283686596151077458817/1871773085070355719592*c_0101_6^2 + 1670797345164888786951/1871773085070355719592*c_0101_6 + 3434717240561536536697/1871773085070355719592, c_0101_0 + 1063309009508005748015/935886542535177859796*c_0101_5*c_0101\ _6^13 + 4187480184246847347243/935886542535177859796*c_0101_5*c_010\ 1_6^12 + 3501298805580741901501/233971635633794464949*c_0101_5*c_01\ 01_6^11 + 2687258138475852018817/233971635633794464949*c_0101_5*c_0\ 101_6^10 - 10542531900879135174953/935886542535177859796*c_0101_5*c\ _0101_6^9 + 7274382037608930882169/233971635633794464949*c_0101_5*c\ _0101_6^8 - 25651095837357792567315/233971635633794464949*c_0101_5*\ c_0101_6^7 + 11413039988439711352233/467943271267588929898*c_0101_5\ *c_0101_6^6 - 34261295890903697325928/233971635633794464949*c_0101_\ 5*c_0101_6^5 - 43362225267190305254405/935886542535177859796*c_0101\ _5*c_0101_6^4 - 6113482258586075380919/935886542535177859796*c_0101\ _5*c_0101_6^3 - 1549154367462363788770/233971635633794464949*c_0101\ _5*c_0101_6^2 + 4506248965409520096349/935886542535177859796*c_0101\ _5*c_0101_6 + 107862772806065362468/233971635633794464949*c_0101_5, c_0101_5^2 - 21443108483998963411485/3743546170140711439184*c_0101_6^13 - 43580077944530160491591/1871773085070355719592*c_0101_6^12 - 289274163029963210032721/3743546170140711439184*c_0101_6^11 - 59293202233078034953547/935886542535177859796*c_0101_6^10 + 235768663542995057881019/3743546170140711439184*c_0101_6^9 - 521565129796951481698893/3743546170140711439184*c_0101_6^8 + 487132714154718662756603/935886542535177859796*c_0101_6^7 - 50733896408608970429185/1871773085070355719592*c_0101_6^6 + 1173812406503266927369259/1871773085070355719592*c_0101_6^5 + 1259056650761501498456215/3743546170140711439184*c_0101_6^4 - 11030639511232725954164/233971635633794464949*c_0101_6^3 - 67205851850766351039535/3743546170140711439184*c_0101_6^2 - 10116403803583456793843/3743546170140711439184*c_0101_6 - 8231497613565462899243/3743546170140711439184, c_0101_6^14 + 43/11*c_0101_6^13 + 141/11*c_0101_6^12 + 97/11*c_0101_6^11 - 145/11*c_0101_6^10 + 284/11*c_0101_6^9 - 1035/11*c_0101_6^8 + 194/11*c_0101_6^7 - 1168/11*c_0101_6^6 - 479/11*c_0101_6^5 + 245/11*c_0101_6^4 + 25/11*c_0101_6^3 - 8/11*c_0101_6^2 + 4/11*c_0101_6 - 1/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB