Magma V2.19-8 Tue Aug 20 2013 16:17:20 on localhost [Seed = 3221103479] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1562 geometric_solution 5.34757296 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 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 0 0 0 0 0 0 0 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.717465781071 0.395841638344 0 2 2 0 0132 0132 1023 3201 0 0 0 0 0 0 1 -1 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 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.873724784655 0.773102911239 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377044846234 0.109838168705 2 5 6 4 0132 0132 0132 3201 0 0 0 0 0 0 0 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 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.277995714151 1.344131899600 6 3 2 5 0132 2310 0132 2310 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 -1 1 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.277995714151 1.344131899600 4 3 5 5 3201 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 -1 1 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.373703465897 1.385145734061 4 6 6 3 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.300053124714 0.526521846837 ==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_4']), 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0101_2'], '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 125382991350372/97384955651*c_0101_5^16 - 798665854772644/97384955651*c_0101_5^15 - 796212203417088/97384955651*c_0101_5^14 + 6133352087473217/97384955651*c_0101_5^13 + 22476791693004916/97384955651*c_0101_5^12 + 30120398938071374/97384955651*c_0101_5^11 + 43137230372808083/389539822604*c_0101_5^10 - 26367130094300265/194769911302*c_0101_5^9 - 37781907479338901/389539822604*c_0101_5^8 + 6213503527466621/97384955651*c_0101_5^7 + 361918158499445/6716203838*c_0101_5^6 - 8937859436832721/389539822604*c_0101_5^5 - 3131426273093473/194769911302*c_0101_5^4 + 1156938077589975/194769911302*c_0101_5^3 + 498742065841245/389539822604*c_0101_5^2 - 222565321477515/194769911302*c_0101_5 + 22733221999914/97384955651, c_0011_0 - 1, c_0011_4 + 275920406776/43655324947*c_0101_5^16 + 1581239362408/43655324947*c_0101_5^15 + 920173987508/43655324947*c_0101_5^14 - 13259836647110/43655324947*c_0101_5^13 - 3182137922396/3358101919*c_0101_5^12 - 48280420814069/43655324947*c_0101_5^11 - 20378529401439/87310649894*c_0101_5^10 + 26140385705935/43655324947*c_0101_5^9 + 54357674349799/174621299788*c_0101_5^8 - 47165251086793/174621299788*c_0101_5^7 - 7695649494339/43655324947*c_0101_5^6 + 8068852594135/87310649894*c_0101_5^5 + 4417605901259/87310649894*c_0101_5^4 - 4358656272933/174621299788*c_0101_5^3 - 910904535657/174621299788*c_0101_5^2 + 662588652443/174621299788*c_0101_5 - 51189971863/87310649894, c_0101_0 - 1848357043660/43655324947*c_0101_5^16 - 11353006928160/43655324947*c_0101_5^15 - 9295000136512/43655324947*c_0101_5^14 + 91978344809803/43655324947*c_0101_5^13 + 23946027136357/3358101919*c_0101_5^12 + 380161482591209/43655324947*c_0101_5^11 + 324195104109741/174621299788*c_0101_5^10 - 881822360843171/174621299788*c_0101_5^9 - 112091110915555/43655324947*c_0101_5^8 + 108334040702388/43655324947*c_0101_5^7 + 64719369755245/43655324947*c_0101_5^6 - 168669843852501/174621299788*c_0101_5^5 - 80745891641541/174621299788*c_0101_5^4 + 43196014226739/174621299788*c_0101_5^3 + 1538310581266/43655324947*c_0101_5^2 - 1781566267612/43655324947*c_0101_5 + 737811880703/87310649894, c_0101_1 - 11344508584/43655324947*c_0101_5^16 + 10212289960/43655324947*c_0101_5^15 + 410522982972/43655324947*c_0101_5^14 + 971437144918/43655324947*c_0101_5^13 - 113921251652/3358101919*c_0101_5^12 - 10123292922471/43655324947*c_0101_5^11 - 37442301274905/87310649894*c_0101_5^10 - 15451824614008/43655324947*c_0101_5^9 - 11592772833771/174621299788*c_0101_5^8 + 6255325131755/87310649894*c_0101_5^7 - 1300671767163/174621299788*c_0101_5^6 - 2382494051065/43655324947*c_0101_5^5 - 795248156395/87310649894*c_0101_5^4 + 1465100377383/174621299788*c_0101_5^3 - 78495960343/43655324947*c_0101_5^2 + 26395366272/43655324947*c_0101_5 + 238461921187/174621299788, c_0101_2 + 65859680/19762483*c_0101_5^16 + 548884192/19762483*c_0101_5^15 + 1166477976/19762483*c_0101_5^14 - 2736423056/19762483*c_0101_5^13 - 1376419392/1520191*c_0101_5^12 - 35389135398/19762483*c_0101_5^11 - 30076783654/19762483*c_0101_5^10 - 2305835524/19762483*c_0101_5^9 + 24366416675/39524966*c_0101_5^8 + 1624445102/19762483*c_0101_5^7 - 12758224667/39524966*c_0101_5^6 - 1468591658/19762483*c_0101_5^5 + 1767478753/19762483*c_0101_5^4 + 686572749/39524966*c_0101_5^3 - 190073659/19762483*c_0101_5^2 + 32709481/19762483*c_0101_5 + 9814455/39524966, c_0101_3 - 408389379172/43655324947*c_0101_5^16 - 2529746012228/43655324947*c_0101_5^15 - 2292751577968/43655324947*c_0101_5^14 + 19613357718521/43655324947*c_0101_5^13 + 5355186340764/3358101919*c_0101_5^12 + 92939400784402/43655324947*c_0101_5^11 + 149311448247627/174621299788*c_0101_5^10 - 65708602173937/87310649894*c_0101_5^9 - 108273158914625/174621299788*c_0101_5^8 + 28032071977539/87310649894*c_0101_5^7 + 14357051381681/43655324947*c_0101_5^6 - 15795046534993/174621299788*c_0101_5^5 - 8245928592227/87310649894*c_0101_5^4 + 1779635423089/87310649894*c_0101_5^3 + 1820191785495/174621299788*c_0101_5^2 - 234112127385/43655324947*c_0101_5 + 25758712713/87310649894, c_0101_5^17 + 6*c_0101_5^16 + 4*c_0101_5^15 - 205/4*c_0101_5^14 - 645/4*c_0101_5^13 - 697/4*c_0101_5^12 + 45/16*c_0101_5^11 + 2215/16*c_0101_5^10 + 311/8*c_0101_5^9 - 1225/16*c_0101_5^8 - 49/2*c_0101_5^7 + 263/8*c_0101_5^6 + 103/16*c_0101_5^5 - 145/16*c_0101_5^4 + 9/16*c_0101_5^3 + 5/4*c_0101_5^2 - 1/2*c_0101_5 + 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB