Magma V2.19-8 Tue Aug 20 2013 16:16:02 on localhost [Seed = 3886447393] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0281 geometric_solution 4.32427835 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 1023 0 0 0 0 0 -1 0 1 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 -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 0 0 0 0 0 0 0.796934109046 0.084508884828 0 3 0 3 0132 0132 1023 1023 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 -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.640384470435 0.310266723656 2 0 2 0 2310 0132 3201 1023 0 0 0 0 0 1 0 -1 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.847946173296 0.045070138838 4 1 5 1 0132 0132 0132 1023 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 0 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 0 0 0 0 0 1.715264997732 1.895035784454 3 6 5 5 0132 0132 2310 1230 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 -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 0.190597986204 1.170639405483 4 4 6 3 3012 3201 3201 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 1 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 0 0 0 0.190597986204 1.170639405483 5 4 6 6 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.389593575670 0.252057634691 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_0101_4'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_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_0'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : negation(d['c_0101_2'])})} 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_5, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 186047123407139/734494585277*c_0101_5^20 + 1318446043489918/734494585277*c_0101_5^19 + 3651121923083971/734494585277*c_0101_5^18 - 12884904054928335/734494585277*c_0101_5^17 - 24884162005526413/734494585277*c_0101_5^16 + 23699213103143272/734494585277*c_0101_5^15 + 59841942210994029/734494585277*c_0101_5^14 + 25214009054483011/734494585277*c_0101_5^13 - 17461943340670754/734494585277*c_0101_5^12 - 46052674494249421/734494585277*c_0101_5^11 - 51726524730560750/734494585277*c_0101_5^10 - 34571699944025172/734494585277*c_0101_5^9 - 6746924052522041/734494585277*c_0101_5^8 + 14962060132708659/734494585277*c_0101_5^7 + 21181525779739121/734494585277*c_0101_5^6 + 22958688572959889/734494585277*c_0101_5^5 + 15516775330025850/734494585277*c_0101_5^4 + 8451927879751951/734494585277*c_0101_5^3 + 4456568788841096/734494585277*c_0101_5^2 + 1036247744223654/734494585277*c_0101_5 + 472118298389681/734494585277, c_0011_0 - 1, c_0011_5 + 32989848740343/734494585277*c_0101_5^20 - 273369776191906/734494585277*c_0101_5^19 - 331111408395615/734494585277*c_0101_5^18 + 2776823533884101/734494585277*c_0101_5^17 + 1216199378719659/734494585277*c_0101_5^16 - 6626418794021440/734494585277*c_0101_5^15 - 3274787569589891/734494585277*c_0101_5^14 + 1748365353632550/734494585277*c_0101_5^13 + 2593261957772786/734494585277*c_0101_5^12 + 4581863839173082/734494585277*c_0101_5^11 + 2631699801228857/734494585277*c_0101_5^10 + 1264879782058490/734494585277*c_0101_5^9 - 1501782015621200/734494585277*c_0101_5^8 - 1488748595005185/734494585277*c_0101_5^7 - 1562730660806648/734494585277*c_0101_5^6 - 1606986077108845/734494585277*c_0101_5^5 - 200166717465454/734494585277*c_0101_5^4 - 593061603608457/734494585277*c_0101_5^3 + 108838862495716/734494585277*c_0101_5^2 - 77400281735991/734494585277*c_0101_5 + 25027527576898/734494585277, c_0101_0 - 96551852630673/734494585277*c_0101_5^20 + 798176843207559/734494585277*c_0101_5^19 + 984781408425742/734494585277*c_0101_5^18 - 8107682590648284/734494585277*c_0101_5^17 - 3719763492040329/734494585277*c_0101_5^16 + 19320847060329956/734494585277*c_0101_5^15 + 9971826602362181/734494585277*c_0101_5^14 - 4916755754907230/734494585277*c_0101_5^13 - 7702936078993359/734494585277*c_0101_5^12 - 13584005438534335/734494585277*c_0101_5^11 - 7971941945419597/734494585277*c_0101_5^10 - 3836265122273975/734494585277*c_0101_5^9 + 4342086660232329/734494585277*c_0101_5^8 + 4454584881081126/734494585277*c_0101_5^7 + 4666073290142851/734494585277*c_0101_5^6 + 4788776267853057/734494585277*c_0101_5^5 + 670976456090881/734494585277*c_0101_5^4 + 1736805691767506/734494585277*c_0101_5^3 - 290097101650636/734494585277*c_0101_5^2 + 220147777053040/734494585277*c_0101_5 - 69912088219489/734494585277, c_0101_1 + 43605852201348/734494585277*c_0101_5^20 - 364887393770219/734494585277*c_0101_5^19 - 409740354073595/734494585277*c_0101_5^18 + 3716421690291276/734494585277*c_0101_5^17 + 1338867080252792/734494585277*c_0101_5^16 - 8992404705666511/734494585277*c_0101_5^15 - 3827005992952823/734494585277*c_0101_5^14 + 2858914229257169/734494585277*c_0101_5^13 + 3781554134862432/734494585277*c_0101_5^12 + 5974849455052130/734494585277*c_0101_5^11 + 2714384777698292/734494585277*c_0101_5^10 + 955937500192200/734494585277*c_0101_5^9 - 2473153266208270/734494585277*c_0101_5^8 - 2001660504948208/734494585277*c_0101_5^7 - 1895380600788982/734494585277*c_0101_5^6 - 1797803256779506/734494585277*c_0101_5^5 + 81715302251119/734494585277*c_0101_5^4 - 608563258332994/734494585277*c_0101_5^3 + 299735931379278/734494585277*c_0101_5^2 - 72931729465354/734494585277*c_0101_5 + 56735403463750/734494585277, c_0101_2 + 146661027580408/734494585277*c_0101_5^20 - 1207313371407191/734494585277*c_0101_5^19 - 1537521981858703/734494585277*c_0101_5^18 + 12257254101263530/734494585277*c_0101_5^17 + 6084892467519947/734494585277*c_0101_5^16 - 29086240476459684/734494585277*c_0101_5^15 - 16268157995453520/734494585277*c_0101_5^14 + 6741200410911096/734494585277*c_0101_5^13 + 12215750602415669/734494585277*c_0101_5^12 + 21314430249542663/734494585277*c_0101_5^11 + 12731040228574766/734494585277*c_0101_5^10 + 6096269879069782/734494585277*c_0101_5^9 - 6532886531745845/734494585277*c_0101_5^8 - 7044880031434892/734494585277*c_0101_5^7 - 7357022482083393/734494585277*c_0101_5^6 - 7463296170747722/734494585277*c_0101_5^5 - 1214186197408353/734494585277*c_0101_5^4 - 2646603673599513/734494585277*c_0101_5^3 + 395485448366047/734494585277*c_0101_5^2 - 326044249954402/734494585277*c_0101_5 + 103740618343388/734494585277, c_0101_4 - 9450986269162/734494585277*c_0101_5^20 + 64766776488501/734494585277*c_0101_5^19 + 203615332137347/734494585277*c_0101_5^18 - 631232150739549/734494585277*c_0101_5^17 - 1447012541787589/734494585277*c_0101_5^16 + 1112862312875728/734494585277*c_0101_5^15 + 3463837488130386/734494585277*c_0101_5^14 + 1504596949341467/734494585277*c_0101_5^13 - 960430749204542/734494585277*c_0101_5^12 - 2448736904783965/734494585277*c_0101_5^11 - 2924831007965071/734494585277*c_0101_5^10 - 1996629746726345/734494585277*c_0101_5^9 - 499053132794895/734494585277*c_0101_5^8 + 812538448498048/734494585277*c_0101_5^7 + 1164161217079967/734494585277*c_0101_5^6 + 1284376475849981/734494585277*c_0101_5^5 + 924471438447321/734494585277*c_0101_5^4 + 471727198639489/734494585277*c_0101_5^3 + 284753559822505/734494585277*c_0101_5^2 + 58017376317241/734494585277*c_0101_5 + 32989848740343/734494585277, c_0101_5^21 - 8*c_0101_5^20 - 12*c_0101_5^19 + 78*c_0101_5^18 + 56*c_0101_5^17 - 157*c_0101_5^16 - 133*c_0101_5^15 - 52*c_0101_5^14 + 33*c_0101_5^13 + 168*c_0101_5^12 + 154*c_0101_5^11 + 127*c_0101_5^10 + 15*c_0101_5^9 - 30*c_0101_5^8 - 72*c_0101_5^7 - 84*c_0101_5^6 - 45*c_0101_5^5 - 46*c_0101_5^4 - 11*c_0101_5^3 - 11*c_0101_5^2 - c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB