Magma V2.19-8 Tue Aug 20 2013 16:16:12 on localhost [Seed = 1545453724] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0461 geometric_solution 4.49758820 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 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 0 0 0 0 0 0 0 0 0 0 3.382652773743 0.681310584709 2 0 0 2 0132 0132 1023 3201 0 0 0 0 0 1 0 -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 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.111921813156 0.066655238453 1 1 3 3 0132 2310 0132 2310 0 0 0 0 0 1 -1 0 -1 0 0 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 1 -1 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 3.858490636834 3.099696454990 2 4 5 2 3201 0132 0132 0132 0 0 0 0 0 -1 0 1 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 -1 0 1 0 0 0 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.053081488994 0.515918634820 5 3 6 5 2310 0132 0132 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 1 0 0 -1 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.202526380261 0.842683174595 6 4 4 3 2310 1302 3201 0132 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 -1 0 0 0 0 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.202526380261 0.842683174595 6 6 5 4 1302 2031 3201 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.592441867373 0.626027972843 ==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' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_6']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_6'], 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0011_6']), 'c_1010_0' : 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_3, c_0011_5, c_0011_6, c_0101_0, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 31633593214928713/3042480680572810*c_0101_4^13 - 6653288884913165/608496136114562*c_0101_4^12 + 253958343200447766/1521240340286405*c_0101_4^11 + 111342797518678745/304248068057281*c_0101_4^10 - 4123531102301056989/3042480680572810*c_0101_4^9 - 1073600207915971409/1521240340286405*c_0101_4^8 + 1724671545802427515/608496136114562*c_0101_4^7 + 7649578562871699889/3042480680572810*c_0101_4^6 - 7422552686151128837/1521240340286405*c_0101_4^5 - 3749209344775434726/1521240340286405*c_0101_4^4 + 13143202742833835813/3042480680572810*c_0101_4^3 - 1497353843946413663/3042480680572810*c_0101_4^2 - 1991053553380634169/3042480680572810*c_0101_4 + 263031397575722839/1521240340286405, c_0011_0 - 1, c_0011_3 + 43993532752014/304248068057281*c_0101_4^13 + 120259151794661/304248068057281*c_0101_4^12 - 530941086351798/304248068057281*c_0101_4^11 - 2506794619026245/304248068057281*c_0101_4^10 + 1859009433419605/304248068057281*c_0101_4^9 + 7535600297126248/304248068057281*c_0101_4^8 - 840409373968917/304248068057281*c_0101_4^7 - 16076044257819074/304248068057281*c_0101_4^6 - 4915903514956838/304248068057281*c_0101_4^5 + 11369297344508365/304248068057281*c_0101_4^4 + 1149038647964729/304248068057281*c_0101_4^3 - 2177871940031634/304248068057281*c_0101_4^2 + 179660423689310/304248068057281*c_0101_4 + 303114112529206/304248068057281, c_0011_5 + 232548870108204/1521240340286405*c_0101_2*c_0101_4^13 + 125461234336805/304248068057281*c_0101_2*c_0101_4^12 - 2758083687679916/1521240340286405*c_0101_2*c_0101_4^11 - 2590911603051480/304248068057281*c_0101_2*c_0101_4^10 + 9469149749103707/1521240340286405*c_0101_2*c_0101_4^9 + 35463941875800304/1521240340286405*c_0101_2*c_0101_4^8 - 640096580104446/304248068057281*c_0101_2*c_0101_4^7 - 73811277794322117/1521240340286405*c_0101_2*c_0101_4^6 - 22579281867630283/1521240340286405*c_0101_2*c_0101_4^5 + 37483825520055106/1521240340286405*c_0101_2*c_0101_4^4 - 4239090283631844/1521240340286405*c_0101_2*c_0101_4^3 + 265479268326554/1521240340286405*c_0101_2*c_0101_4^2 + 752385175697952/1521240340286405*c_0101_2*c_0101_4 - 340927924826919/1521240340286405*c_0101_2, c_0011_6 + 1066020060335367/1521240340286405*c_0101_2*c_0101_4^13 + 556941750138862/304248068057281*c_0101_2*c_0101_4^12 - 13069576892847073/1521240340286405*c_0101_2*c_0101_4^11 - 11762905545891240/304248068057281*c_0101_2*c_0101_4^10 + 50561788788544116/1521240340286405*c_0101_2*c_0101_4^9 + 169207457178747932/1521240340286405*c_0101_2*c_0101_4^8 - 6945488069744409/304248068057281*c_0101_2*c_0101_4^7 - 365709546803999316/1521240340286405*c_0101_2*c_0101_4^6 - 76336906593629644/1521240340286405*c_0101_2*c_0101_4^5 + 241059390326586868/1521240340286405*c_0101_2*c_0101_4^4 - 10611309427634032/1521240340286405*c_0101_2*c_0101_4^3 - 29309519275016878/1521240340286405*c_0101_2*c_0101_4^2 + 4966751045045826/1521240340286405*c_0101_2*c_0101_4 + 1331460384298513/1521240340286405*c_0101_2, c_0101_0 + 358542823177644/1521240340286405*c_0101_2*c_0101_4^13 + 223124351898928/304248068057281*c_0101_2*c_0101_4^12 - 3917298757916791/1521240340286405*c_0101_2*c_0101_4^11 - 4385921597790136/304248068057281*c_0101_2*c_0101_4^10 + 7057348131051372/1521240340286405*c_0101_2*c_0101_4^9 + 64609991438176784/1521240340286405*c_0101_2*c_0101_4^8 + 3213248531548870/304248068057281*c_0101_2*c_0101_4^7 - 126943353667505417/1521240340286405*c_0101_2*c_0101_4^6 - 83779478134028848/1521240340286405*c_0101_2*c_0101_4^5 + 65876729836825686/1521240340286405*c_0101_2*c_0101_4^4 + 29174657125659171/1521240340286405*c_0101_2*c_0101_4^3 - 14731151444755681/1521240340286405*c_0101_2*c_0101_4^2 + 78146336264522/1521240340286405*c_0101_2*c_0101_4 + 3604633797372431/1521240340286405*c_0101_2, c_0101_2^2 - 65531237464943/608496136114562*c_0101_4^13 - 169714950152315/608496136114562*c_0101_4^12 + 408228122769070/304248068057281*c_0101_4^11 + 1809683999105097/304248068057281*c_0101_4^10 - 3303285586550703/608496136114562*c_0101_4^9 - 5404859330947354/304248068057281*c_0101_4^8 + 2852148069051997/608496136114562*c_0101_4^7 + 23641963933096183/608496136114562*c_0101_4^6 + 2053088273586206/304248068057281*c_0101_4^5 - 8845800162792134/304248068057281*c_0101_4^4 + 525258233029747/608496136114562*c_0101_4^3 + 2605676575905553/608496136114562*c_0101_4^2 - 363017144712987/608496136114562*c_0101_4 - 264283107506617/304248068057281, c_0101_4^14 + 2*c_0101_4^13 - 14*c_0101_4^12 - 48*c_0101_4^11 + 83*c_0101_4^10 + 137*c_0101_4^9 - 138*c_0101_4^8 - 343*c_0101_4^7 + 147*c_0101_4^6 + 315*c_0101_4^5 - 148*c_0101_4^4 - 51*c_0101_4^3 + 30*c_0101_4^2 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB