Magma V2.19-8 Tue Aug 20 2013 16:17:11 on localhost [Seed = 4299984] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1425 geometric_solution 5.25881410 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 -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 1.153814956555 0.843224550306 0 5 5 4 0132 0132 1023 0213 0 0 0 0 0 1 0 -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 1 -1 0 0 0 -1 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.409648277883 0.329760110139 6 0 6 4 0132 0132 1023 2031 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 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.858562575452 0.591779419205 4 3 3 0 0213 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 1 0 -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.109916096481 0.761018104004 3 2 0 1 0213 1302 0132 0213 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 0 0 0 0 0 -1 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.435045987142 0.412876510856 5 1 1 5 3012 0132 1023 1230 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 -1 1 0 0 0 1 -1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.634266589710 0.939976986101 2 6 2 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.569103399157 0.170563588235 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(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' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0011_0'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_0101_6']})} 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_3, c_0011_4, c_0101_0, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 168769677216479/16664647045120*c_0101_6^13 + 711194057872253/8332323522560*c_0101_6^12 - 2714127223102429/16664647045120*c_0101_6^11 - 2714881251980689/16664647045120*c_0101_6^10 + 134441527831717/130192555040*c_0101_6^9 - 4450857203494999/4166161761280*c_0101_6^8 - 5252037078558675/3332929409024*c_0101_6^7 + 3570424010207585/833232352256*c_0101_6^6 - 6356249517421117/3332929409024*c_0101_6^5 - 10240973734011801/3332929409024*c_0101_6^4 + 10943363169153499/3332929409024*c_0101_6^3 + 540405387340749/16664647045120*c_0101_6^2 - 2471584542622653/3332929409024*c_0101_6 + 2480397701052809/16664647045120, c_0011_0 - 1, c_0011_3 + 10108834007/26878462976*c_0101_6^13 - 43572067221/13439231488*c_0101_6^12 + 179092558053/26878462976*c_0101_6^11 + 129080544601/26878462976*c_0101_6^10 - 32822344635/839951968*c_0101_6^9 + 312757740263/6719615744*c_0101_6^8 + 1334159787447/26878462976*c_0101_6^7 - 1115617237037/6719615744*c_0101_6^6 + 2656661765305/26878462976*c_0101_6^5 + 2485352033349/26878462976*c_0101_6^4 - 3481979428735/26878462976*c_0101_6^3 + 488607577387/26878462976*c_0101_6^2 + 523811030393/26878462976*c_0101_6 - 128208164273/26878462976, c_0011_4 - 184322833/839951968*c_0101_6^13 + 801553707/419975984*c_0101_6^12 - 3387276707/839951968*c_0101_6^11 - 2123387967/839951968*c_0101_6^10 + 1217242483/52496998*c_0101_6^9 - 6110306349/209987992*c_0101_6^8 - 23077698529/839951968*c_0101_6^7 + 21187498403/209987992*c_0101_6^6 - 55242402367/839951968*c_0101_6^5 - 45084705347/839951968*c_0101_6^4 + 71391027913/839951968*c_0101_6^3 - 12732936173/839951968*c_0101_6^2 - 12760884191/839951968*c_0101_6 + 3556326103/839951968, c_0101_0 - 26649920697/26878462976*c_0101_6^13 + 113633641755/13439231488*c_0101_6^12 - 452105664459/26878462976*c_0101_6^11 - 374794798615/26878462976*c_0101_6^10 + 85242710949/839951968*c_0101_6^9 - 769288772393/6719615744*c_0101_6^8 - 3724207174617/26878462976*c_0101_6^7 + 2855763444227/6719615744*c_0101_6^6 - 6174426629303/26878462976*c_0101_6^5 - 6900563756651/26878462976*c_0101_6^4 + 8694982293393/26878462976*c_0101_6^3 - 802608960805/26878462976*c_0101_6^2 - 1408328237047/26878462976*c_0101_6 + 289423832639/26878462976, c_0101_2 - 435373815/1679903936*c_0101_6^13 + 1925818093/839951968*c_0101_6^12 - 8497428757/1679903936*c_0101_6^11 - 4335118233/1679903936*c_0101_6^10 + 2960462721/104993996*c_0101_6^9 - 15746415395/419975984*c_0101_6^8 - 51109985063/1679903936*c_0101_6^7 + 52638862605/419975984*c_0101_6^6 - 148332146329/1679903936*c_0101_6^5 - 103153413845/1679903936*c_0101_6^4 + 182934213599/1679903936*c_0101_6^3 - 39956624187/1679903936*c_0101_6^2 - 31905704441/1679903936*c_0101_6 + 9289521281/1679903936, c_0101_5 + 14762644687/13439231488*c_0101_6^13 - 63050841221/6719615744*c_0101_6^12 + 252225844477/13439231488*c_0101_6^11 + 204066899265/13439231488*c_0101_6^10 - 94650101299/839951968*c_0101_6^9 + 431755155651/3359807872*c_0101_6^8 + 2040012259615/13439231488*c_0101_6^7 - 1590633683781/3359807872*c_0101_6^6 + 3514590839489/13439231488*c_0101_6^5 + 3785208179389/13439231488*c_0101_6^4 - 4895893432375/13439231488*c_0101_6^3 + 515246661331/13439231488*c_0101_6^2 + 786685059169/13439231488*c_0101_6 - 175470148809/13439231488, c_0101_6^14 - 9*c_0101_6^13 + 21*c_0101_6^12 + 6*c_0101_6^11 - 109*c_0101_6^10 + 164*c_0101_6^9 + 85*c_0101_6^8 - 495*c_0101_6^7 + 435*c_0101_6^6 + 150*c_0101_6^5 - 450*c_0101_6^4 + 184*c_0101_6^3 + 40*c_0101_6^2 - 36*c_0101_6 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB