Magma V2.19-8 Tue Aug 20 2013 16:17:48 on localhost [Seed = 374835957] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2044 geometric_solution 5.57642536 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 0 -1 0 0 1 -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.259285514450 0.329821451027 2 0 3 0 0132 2310 0132 0132 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 1 0 0 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.267594807733 1.544045165489 1 4 3 5 0132 0132 0213 0132 0 0 0 0 0 0 0 0 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 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.607105018387 0.473432288227 5 2 4 1 0132 0213 1023 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607105018387 0.473432288227 4 2 3 4 3012 0132 1023 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.975721227968 0.798752486207 3 6 2 6 0132 0132 0132 1023 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.906154098918 0.396557959106 6 5 6 5 2310 0132 3201 1023 0 0 0 0 0 0 -1 1 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 0 0.808309958514 0.209809677587 ==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' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_1, c_0011_3, c_0101_1, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 88785491629/4844714944*c_0101_6^11 - 1509669923/14534144832*c_0101_6^10 + 8472398839/427474848*c_0101_6^9 - 4883171595485/4844714944*c_0101_6^8 + 4679601517571/2422357472*c_0101_6^7 - 17067044232655/14534144832*c_0101_6^6 - 3756121494245/3633536208*c_0101_6^5 + 19725629846989/14534144832*c_0101_6^4 - 576874217761/3633536208*c_0101_6^3 - 472645168961/4844714944*c_0101_6^2 - 3552169525723/14534144832*c_0101_6 + 953657256371/14534144832, c_0011_0 - 1, c_0011_1 + 6916933/125294352*c_0101_6^11 + 9213989/125294352*c_0101_6^10 + 358603/3685128*c_0101_6^9 - 123951367/41764784*c_0101_6^8 + 27532883/15661794*c_0101_6^7 + 262115221/125294352*c_0101_6^6 - 104220427/31323588*c_0101_6^5 - 196156945/125294352*c_0101_6^4 + 129649907/62647176*c_0101_6^3 + 383928125/125294352*c_0101_6^2 - 9912463/41764784*c_0101_6 - 42096299/41764784, c_0011_3 + 3704399/250588704*c_0101_4*c_0101_6^11 + 2713459/83529568*c_0101_4*c_0101_6^10 + 4651/7370256*c_0101_4*c_0101_6^9 - 199932143/250588704*c_0101_4*c_0101_6^8 - 11633203/41764784*c_0101_4*c_0101_6^7 + 826619557/250588704*c_0101_4*c_0101_6^6 - 216586217/62647176*c_0101_4*c_0101_6^5 - 23236873/83529568*c_0101_4*c_0101_6^4 + 41937505/31323588*c_0101_4*c_0101_6^3 + 552019337/250588704*c_0101_4*c_0101_6^2 - 336722491/250588704*c_0101_4*c_0101_6 - 197354977/250588704*c_0101_4, c_0101_1 - 957441/10441196*c_0101_6^11 + 328169/2610299*c_0101_6^10 + 10859/153547*c_0101_6^9 + 55339713/10441196*c_0101_6^8 - 169882617/10441196*c_0101_6^7 + 51584587/5220598*c_0101_6^6 + 22215188/2610299*c_0101_6^5 - 180154795/10441196*c_0101_6^4 - 3460863/10441196*c_0101_6^3 + 12862490/2610299*c_0101_6^2 + 11604963/10441196*c_0101_6 - 3345241/5220598, c_0101_3 + 331515/41764784*c_0101_6^11 + 6916933/125294352*c_0101_6^10 + 300251/3685128*c_0101_6^9 - 42507473/125294352*c_0101_6^8 - 22285573/10441196*c_0101_6^7 + 161584909/125294352*c_0101_6^6 + 49367449/31323588*c_0101_6^5 - 338312653/125294352*c_0101_6^4 - 100564835/62647176*c_0101_6^3 + 250348909/125294352*c_0101_6^2 + 244710143/125294352*c_0101_6 - 8586403/41764784, c_0101_4^2 + 1614787/10441196*c_0101_6^11 + 553869/2610299*c_0101_6^10 + 138841/460641*c_0101_6^9 - 256850393/31323588*c_0101_6^8 + 149475149/31323588*c_0101_6^7 + 27060485/5220598*c_0101_6^6 - 96427627/7830897*c_0101_6^5 - 111715633/31323588*c_0101_6^4 + 196886167/31323588*c_0101_6^3 + 18970174/7830897*c_0101_6^2 - 46139227/31323588*c_0101_6 - 10389751/15661794, c_0101_6^12 + c_0101_6^10 - 55*c_0101_6^9 + 105*c_0101_6^8 - 59*c_0101_6^7 - 65*c_0101_6^6 + 79*c_0101_6^5 - 5*c_0101_6^4 - 9*c_0101_6^3 - 14*c_0101_6^2 + 4*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB