Magma V2.19-8 Tue Aug 20 2013 16:17:33 on localhost [Seed = 509575874] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1783 geometric_solution 5.46085470 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.635085125259 0.287533382533 0 2 2 0 3201 0132 1023 0132 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 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 1.141964887664 0.613923537743 3 1 1 4 0132 0132 1023 0132 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 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.394925631992 0.307131937161 2 5 6 4 0132 0132 0132 0321 0 0 0 0 0 0 -1 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 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.982681773789 0.925156572375 6 3 2 5 0132 0321 0132 1023 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 -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.982681773789 0.925156572375 5 3 5 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.538021343647 0.489280511573 4 6 6 3 0132 3201 2310 0132 0 0 0 0 0 -1 0 1 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 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.832772845511 0.642642122798 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0101_0, c_0101_3, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 4288531833552/1082853323*c_0110_5^21 - 234035005839080/1082853323*c_0110_5^19 + 2027003077869273/1082853323*c_0110_5^17 - 7113458795943199/1082853323*c_0110_5^15 + 13288007612234725/1082853323*c_0110_5^13 - 15289263272615590/1082853323*c_0110_5^11 + 11997944693495211/1082853323*c_0110_5^9 - 6626821708118468/1082853323*c_0110_5^7 + 2301481692758846/1082853323*c_0110_5^5 - 371343476164809/1082853323*c_0110_5^3 + 8749512383594/1082853323*c_0110_5, c_0011_0 - 1, c_0011_1 - 198215768136/1082853323*c_0110_5^20 + 10817336337398/1082853323*c_0110_5^18 - 93701825124820/1082853323*c_0110_5^16 + 328917156964057/1082853323*c_0110_5^14 - 614715599987954/1082853323*c_0110_5^12 + 707862635055204/1082853323*c_0110_5^10 - 556120395438149/1082853323*c_0110_5^8 + 307658281970535/1082853323*c_0110_5^6 - 107204150861244/1082853323*c_0110_5^4 + 17494979299176/1082853323*c_0110_5^2 - 465263055617/1082853323, c_0011_4 - 178191929823/1082853323*c_0110_5^21 + 9723988710514/1082853323*c_0110_5^19 - 84204933120542/1082853323*c_0110_5^17 + 295435451048421/1082853323*c_0110_5^15 - 551804800554383/1082853323*c_0110_5^13 + 635013742133806/1082853323*c_0110_5^11 - 498595939110724/1082853323*c_0110_5^9 + 275656011553584/1082853323*c_0110_5^7 - 95943320442941/1082853323*c_0110_5^5 + 15621896520623/1082853323*c_0110_5^3 - 411724305921/1082853323*c_0110_5, c_0101_0 - 199758491020/1082853323*c_0110_5^21 + 10901823984283/1082853323*c_0110_5^19 - 94447117743467/1082853323*c_0110_5^17 + 331609630512745/1082853323*c_0110_5^15 - 619930880348801/1082853323*c_0110_5^13 + 714100152302730/1082853323*c_0110_5^11 - 561202950285471/1082853323*c_0110_5^9 + 310592789779006/1082853323*c_0110_5^7 - 108304556980687/1082853323*c_0110_5^5 + 17706530127897/1082853323*c_0110_5^3 - 478038824541/1082853323*c_0110_5, c_0101_3 + 69217324547/1082853323*c_0110_5^20 - 3777252536938/1082853323*c_0110_5^18 + 32711114856590/1082853323*c_0110_5^16 - 114782587101392/1082853323*c_0110_5^14 + 214436574441948/1082853323*c_0110_5^12 - 246853439367388/1082853323*c_0110_5^10 + 193891138629968/1082853323*c_0110_5^8 - 107235125312266/1082853323*c_0110_5^6 + 37348461128125/1082853323*c_0110_5^4 - 6091042920177/1082853323*c_0110_5^2 + 161577338288/1082853323, c_0101_6 + 159072715450/1082853323*c_0110_5^20 - 8681095436209/1082853323*c_0110_5^18 + 75194264326481/1082853323*c_0110_5^16 - 263931964015975/1082853323*c_0110_5^14 + 493212603480013/1082853323*c_0110_5^12 - 567878937198042/1082853323*c_0110_5^10 + 446096803672431/1082853323*c_0110_5^8 - 246763131141287/1082853323*c_0110_5^6 + 85965551388262/1082853323*c_0110_5^4 - 14024235254287/1082853323*c_0110_5^2 + 373011069866/1082853323, c_0110_5^22 - 55*c_0110_5^20 + 496*c_0110_5^18 - 1861*c_0110_5^16 + 3809*c_0110_5^14 - 4894*c_0110_5^12 + 4329*c_0110_5^10 - 2749*c_0110_5^8 + 1203*c_0110_5^6 - 319*c_0110_5^4 + 40*c_0110_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB