Magma V2.19-8 Tue Aug 20 2013 16:15:58 on localhost [Seed = 2816883608] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0202 geometric_solution 4.01547839 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3.684723544748 0.914488023881 0 0 3 3 0132 3201 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 -1 0 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.431130377039 0.154583999728 0 0 2 2 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.149951362140 0.021477301979 1 4 1 4 2310 0132 0132 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 -1 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.820261113089 0.296904617675 5 3 6 3 0132 0132 0132 1023 0 0 0 0 0 0 0 0 1 0 -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 1 -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 1.472598634094 0.876513136675 4 6 6 6 0132 1230 0213 2310 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 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.513626283485 0.860466243568 5 5 5 4 3201 0213 3012 0132 0 0 0 0 0 0 0 0 -1 0 0 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 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.513626283485 0.860466243568 ==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' : negation(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' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['1']), 's_0_5' : negation(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' : d['c_0011_3'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0110_2'])})} 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_6, c_0101_0, c_0101_1, c_0101_4, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 1828874569/5*c_0110_2^22 + 23020128809/5*c_0110_2^21 + 41702329714/5*c_0110_2^20 - 340930837571/5*c_0110_2^19 - 1322309414333/5*c_0110_2^18 + 1319649059528/5*c_0110_2^17 + 10066118614867/5*c_0110_2^16 + 629413698434/5*c_0110_2^15 - 32230016224917/5*c_0110_2^14 - 17291390653164/5*c_0110_2^13 + 49790199198587/5*c_0110_2^12 + 47527747544416/5*c_0110_2^11 - 31660011652246/5*c_0110_2^10 - 56487675746167/5*c_0110_2^9 - 1220751700873*c_0110_2^8 + 28060700672354/5*c_0110_2^7 + 17113272321734/5*c_0110_2^6 - 787262913761/5*c_0110_2^5 - 1011383328357*c_0110_2^4 - 2570062820713/5*c_0110_2^3 - 127576788494*c_0110_2^2 - 82297416081/5*c_0110_2 - 4430073982/5, c_0011_0 - 1, c_0011_3 + 19*c_0110_2^22 + 246*c_0110_2^21 + 519*c_0110_2^20 - 3391*c_0110_2^19 - 15023*c_0110_2^18 + 8837*c_0110_2^17 + 109815*c_0110_2^16 + 43921*c_0110_2^15 - 334756*c_0110_2^14 - 300427*c_0110_2^13 + 459831*c_0110_2^12 + 684049*c_0110_2^11 - 162269*c_0110_2^10 - 716103*c_0110_2^9 - 267693*c_0110_2^8 + 281445*c_0110_2^7 + 284201*c_0110_2^6 + 49534*c_0110_2^5 - 59350*c_0110_2^4 - 45450*c_0110_2^3 - 15104*c_0110_2^2 - 2661*c_0110_2 - 209, c_0011_6 + 189*c_0110_2^22 + 2439*c_0110_2^21 + 5059*c_0110_2^20 - 33944*c_0110_2^19 - 147986*c_0110_2^18 + 94170*c_0110_2^17 + 1088164*c_0110_2^16 + 390600*c_0110_2^15 - 3345213*c_0110_2^14 - 2845073*c_0110_2^13 + 4691364*c_0110_2^12 + 6599960*c_0110_2^11 - 1890628*c_0110_2^10 - 7033116*c_0110_2^9 - 2363132*c_0110_2^8 + 2891176*c_0110_2^7 + 2698498*c_0110_2^6 + 380329*c_0110_2^5 - 602328*c_0110_2^4 - 424976*c_0110_2^3 - 132678*c_0110_2^2 - 21546*c_0110_2 - 1499, c_0101_0 - c_0110_2^22 - 13*c_0110_2^21 - 28*c_0110_2^20 + 177*c_0110_2^19 + 800*c_0110_2^18 - 423*c_0110_2^17 - 5802*c_0110_2^16 - 2617*c_0110_2^15 + 17481*c_0110_2^14 + 16732*c_0110_2^13 - 23321*c_0110_2^12 - 37230*c_0110_2^11 + 6581*c_0110_2^10 + 38036*c_0110_2^9 + 16091*c_0110_2^8 - 13966*c_0110_2^7 - 15693*c_0110_2^6 - 3433*c_0110_2^5 + 2943*c_0110_2^4 + 2547*c_0110_2^3 + 929*c_0110_2^2 + 190*c_0110_2 + 20, c_0101_1 - 3888498*c_0110_2^22 - 48982323*c_0110_2^21 - 89125655*c_0110_2^20 + 724191244*c_0110_2^19 + 2818724833*c_0110_2^18 - 2781321448*c_0110_2^17 - 21438605392*c_0110_2^16 - 1531726869*c_0110_2^15 + 68586109805*c_0110_2^14 + 37405386578*c_0110_2^13 - 105747117755*c_0110_2^12 - 102120547183*c_0110_2^11 + 66737494810*c_0110_2^10 + 120971790870*c_0110_2^9 + 13814113020*c_0110_2^8 - 59851493432*c_0110_2^7 - 36892722458*c_0110_2^6 + 1512547917*c_0110_2^5 + 10829188927*c_0110_2^4 + 5539466167*c_0110_2^3 + 1380816455*c_0110_2^2 + 178812770*c_0110_2 + 9659070, c_0101_4 + 4648770*c_0110_2^22 + 58803504*c_0110_2^21 + 109540452*c_0110_2^20 - 861257406*c_0110_2^19 - 3416946130*c_0110_2^18 + 3164967073*c_0110_2^17 + 25862342925*c_0110_2^16 + 3094465856*c_0110_2^15 - 82352550447*c_0110_2^14 - 48898058319*c_0110_2^13 + 125571230756*c_0110_2^12 + 129031422824*c_0110_2^11 - 75861344646*c_0110_2^10 - 150218022632*c_0110_2^9 - 22106453280*c_0110_2^8 + 72686211633*c_0110_2^7 + 47456707764*c_0110_2^6 - 690708773*c_0110_2^5 - 13440427054*c_0110_2^4 - 7125495840*c_0110_2^3 - 1818800382*c_0110_2^2 - 240469756*c_0110_2 - 13248398, c_0110_2^23 + 13*c_0110_2^22 + 28*c_0110_2^21 - 177*c_0110_2^20 - 800*c_0110_2^19 + 423*c_0110_2^18 + 5802*c_0110_2^17 + 2617*c_0110_2^16 - 17481*c_0110_2^15 - 16732*c_0110_2^14 + 23321*c_0110_2^13 + 37230*c_0110_2^12 - 6581*c_0110_2^11 - 38036*c_0110_2^10 - 16091*c_0110_2^9 + 13966*c_0110_2^8 + 15693*c_0110_2^7 + 3433*c_0110_2^6 - 2943*c_0110_2^5 - 2547*c_0110_2^4 - 929*c_0110_2^3 - 189*c_0110_2^2 - 21*c_0110_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB