Magma V2.19-8 Tue Aug 20 2013 16:17:08 on localhost [Seed = 1174919827] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1386 geometric_solution 5.23954403 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 0 0 0 0 0 -1 0 1 1 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 1 0 -1 -1 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.069146166315 0.453759612782 0 4 0 4 0132 0132 2310 2310 0 0 0 0 0 0 0 0 -1 0 1 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 1 0 -1 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 -1.915526964885 2.939521592346 5 6 3 0 0132 0132 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 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.673677782701 0.739988859396 6 5 0 2 2310 2310 0132 1302 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 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.673677782701 0.739988859396 1 1 4 4 3201 0132 1230 3012 0 0 0 0 0 0 0 0 -1 0 1 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 1 0 -1 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.149291810998 0.095051307628 2 5 5 3 0132 3201 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 -1 1 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.083213955891 0.898023913237 6 2 3 6 3012 0132 3201 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.327281021416 0.738935678806 ==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_2']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0110_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0101_0']), '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' : negation(d['c_0011_2']), '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' : negation(d['c_0101_0']), 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_6']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : negation(d['c_0011_2']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0110_4']), '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_0101_0, c_0101_1, c_0101_2, c_0101_6, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 18112317*c_0110_4^23 - 137421782*c_0110_4^22 + 165405904*c_0110_4^21 + 2069007773*c_0110_4^20 + 341295656*c_0110_4^19 - 7114610848*c_0110_4^18 - 18327115687*c_0110_4^17 + 12656381341*c_0110_4^16 + 81881946980*c_0110_4^15 + 5718548321*c_0110_4^14 - 168376983918*c_0110_4^13 - 80231793464*c_0110_4^12 + 184858811257*c_0110_4^11 + 163205797277*c_0110_4^10 - 90474909694*c_0110_4^9 - 154034462350*c_0110_4^8 - 13778880799*c_0110_4^7 + 65713694422*c_0110_4^6 + 33822975561*c_0110_4^5 - 4151941987*c_0110_4^4 - 9446095590*c_0110_4^3 - 3671179174*c_0110_4^2 - 639334508*c_0110_4 - 43845579, c_0011_0 - 1, c_0011_2 + 659015*c_0110_4^23 + 5011867*c_0110_4^22 - 5933325*c_0110_4^21 - 75420521*c_0110_4^20 - 13710480*c_0110_4^19 + 259133843*c_0110_4^18 + 671346428*c_0110_4^17 - 450303586*c_0110_4^16 - 2991356862*c_0110_4^15 - 256635599*c_0110_4^14 + 6141177204*c_0110_4^13 + 3022787236*c_0110_4^12 - 6713601204*c_0110_4^11 - 6062747200*c_0110_4^10 + 3233856802*c_0110_4^9 + 5685290491*c_0110_4^8 + 570043872*c_0110_4^7 - 2408402018*c_0110_4^6 - 1266420534*c_0110_4^5 + 142955983*c_0110_4^4 + 349488545*c_0110_4^3 + 137441597*c_0110_4^2 + 24142173*c_0110_4 + 1668665, c_0101_0 - 2114007*c_0110_4^23 - 16051390*c_0110_4^22 + 19218973*c_0110_4^21 + 241628380*c_0110_4^20 + 41151961*c_0110_4^19 - 830647263*c_0110_4^18 - 2143674502*c_0110_4^17 + 1466775921*c_0110_4^16 + 9569119604*c_0110_4^15 + 717006785*c_0110_4^14 - 19666794441*c_0110_4^13 - 9469907726*c_0110_4^12 + 21562242320*c_0110_4^11 + 19175387299*c_0110_4^10 - 10499675840*c_0110_4^9 - 18060078254*c_0110_4^8 - 1678758079*c_0110_4^7 + 7687166753*c_0110_4^6 + 3984229727*c_0110_4^5 - 476182468*c_0110_4^4 - 1108391092*c_0110_4^3 - 432439467*c_0110_4^2 - 75522899*c_0110_4 - 5192775, c_0101_1 + c_0110_4^23 + 8*c_0110_4^22 - 6*c_0110_4^21 - 118*c_0110_4^20 - 66*c_0110_4^19 + 385*c_0110_4^18 + 1174*c_0110_4^17 - 281*c_0110_4^16 - 4809*c_0110_4^15 - 2182*c_0110_4^14 + 9165*c_0110_4^13 + 8267*c_0110_4^12 - 8376*c_0110_4^11 - 13223*c_0110_4^10 + 1274*c_0110_4^9 + 10565*c_0110_4^8 + 4272*c_0110_4^7 - 3313*c_0110_4^6 - 3365*c_0110_4^5 - 542*c_0110_4^4 + 616*c_0110_4^3 + 418*c_0110_4^2 + 120*c_0110_4 + 16, c_0101_2 - 15*c_0110_4^23 - 119*c_0110_4^22 + 98*c_0110_4^21 + 1764*c_0110_4^20 + 872*c_0110_4^19 - 5841*c_0110_4^18 - 17225*c_0110_4^17 + 5389*c_0110_4^16 + 71854*c_0110_4^15 + 27921*c_0110_4^14 - 139657*c_0110_4^13 - 114840*c_0110_4^12 + 133907*c_0110_4^11 + 189969*c_0110_4^10 - 32333*c_0110_4^9 - 157201*c_0110_4^8 - 53515*c_0110_4^7 + 53967*c_0110_4^6 + 47162*c_0110_4^5 + 4765*c_0110_4^4 - 9782*c_0110_4^3 - 5654*c_0110_4^2 - 1366*c_0110_4 - 135, c_0101_6 - 3258144*c_0110_4^23 - 24730137*c_0110_4^22 + 29682099*c_0110_4^21 + 372299706*c_0110_4^20 + 62486424*c_0110_4^19 - 1280003391*c_0110_4^18 - 3300569829*c_0110_4^17 + 2267997048*c_0110_4^16 + 14739199632*c_0110_4^15 + 1069683192*c_0110_4^14 - 30299755528*c_0110_4^13 - 14519321662*c_0110_4^12 + 33240875258*c_0110_4^11 + 29461717707*c_0110_4^10 - 16224723151*c_0110_4^9 - 27774634225*c_0110_4^8 - 2536646445*c_0110_4^7 + 11834500001*c_0110_4^6 + 6113984481*c_0110_4^5 - 739875218*c_0110_4^4 - 1703928395*c_0110_4^3 - 663599222*c_0110_4^2 - 115742359*c_0110_4 - 7948773, c_0110_4^24 + 8*c_0110_4^23 - 6*c_0110_4^22 - 118*c_0110_4^21 - 66*c_0110_4^20 + 385*c_0110_4^19 + 1174*c_0110_4^18 - 281*c_0110_4^17 - 4809*c_0110_4^16 - 2182*c_0110_4^15 + 9165*c_0110_4^14 + 8267*c_0110_4^13 - 8376*c_0110_4^12 - 13223*c_0110_4^11 + 1274*c_0110_4^10 + 10565*c_0110_4^9 + 4272*c_0110_4^8 - 3313*c_0110_4^7 - 3365*c_0110_4^6 - 542*c_0110_4^5 + 616*c_0110_4^4 + 418*c_0110_4^3 + 119*c_0110_4^2 + 17*c_0110_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB