Magma V2.19-8 Tue Aug 20 2013 16:16:05 on localhost [Seed = 913812217] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0330 geometric_solution 4.36003045 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 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 -1 0 1 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.783306113141 0.777172376366 3 2 2 0 0132 3012 1230 0132 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 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.091044943268 0.762656562842 1 3 0 1 1230 3201 0132 3012 0 0 0 0 0 -1 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 0 0 0 0 -1 1 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 1.091044943268 0.762656562842 1 4 2 4 0132 0132 2310 2310 0 0 0 0 0 1 -1 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 1 -1 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 1.213571133843 0.464699521754 3 3 5 5 3201 0132 3201 0132 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 -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.409848946568 0.309143309721 4 6 4 6 2310 0132 0132 2310 0 0 0 0 0 1 -1 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 1 -1 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 -2.185739441884 0.833678963755 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.354737616387 0.029343645005 ==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' : 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' : 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_0101_1']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), '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_5, c_0101_0, c_0101_1, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 58713266088672935/625742514620783*c_0110_6^14 + 20383687836867504/89391787802969*c_0110_6^13 + 292350421309315728/625742514620783*c_0110_6^12 - 3653044049243291915/625742514620783*c_0110_6^11 + 11665465907303814517/625742514620783*c_0110_6^10 + 830143688940116408/625742514620783*c_0110_6^9 - 38106048481536911861/625742514620783*c_0110_6^8 + 12400985806004962093/625742514620783*c_0110_6^7 + 5040332581625081471/89391787802969*c_0110_6^6 - 2838431419525276775/625742514620783*c_0110_6^5 - 1758443334474145779/89391787802969*c_0110_6^4 - 898820261038412439/625742514620783*c_0110_6^3 + 2557274261648947360/625742514620783*c_0110_6^2 + 1089265410174329676/625742514620783*c_0110_6 + 157876441963466703/625742514620783, c_0011_0 - 1, c_0011_1 - 1001642587043328/89391787802969*c_0110_6^14 + 2458598704417865/89391787802969*c_0110_6^13 + 4898572677380181/89391787802969*c_0110_6^12 - 62342343617576475/89391787802969*c_0110_6^11 + 200596110101810640/89391787802969*c_0110_6^10 + 7372720223177129/89391787802969*c_0110_6^9 - 642767329859896379/89391787802969*c_0110_6^8 + 221444568249223036/89391787802969*c_0110_6^7 + 580132565370206017/89391787802969*c_0110_6^6 - 39680500174160423/89391787802969*c_0110_6^5 - 205637089524564946/89391787802969*c_0110_6^4 - 22090538377703319/89391787802969*c_0110_6^3 + 45802772486574285/89391787802969*c_0110_6^2 + 19170638700879571/89391787802969*c_0110_6 + 2089988276314689/89391787802969, c_0011_5 - 1133878515568907/89391787802969*c_0110_6^14 + 2848423961348848/89391787802969*c_0110_6^13 + 5354284708173610/89391787802969*c_0110_6^12 - 70801553740544417/89391787802969*c_0110_6^11 + 231245772657591349/89391787802969*c_0110_6^10 - 6685991148383273/89391787802969*c_0110_6^9 - 720992929053366599/89391787802969*c_0110_6^8 + 289309178567057514/89391787802969*c_0110_6^7 + 624394322174917987/89391787802969*c_0110_6^6 - 67456170780398979/89391787802969*c_0110_6^5 - 220390447624317557/89391787802969*c_0110_6^4 - 17117176251744227/89391787802969*c_0110_6^3 + 49812215988411088/89391787802969*c_0110_6^2 + 19689592811996606/89391787802969*c_0110_6 + 2073063836520449/89391787802969, c_0101_0 - 327979787382342/89391787802969*c_0110_6^14 + 818697678894112/89391787802969*c_0110_6^13 + 1558702764516640/89391787802969*c_0110_6^12 - 20447135947430254/89391787802969*c_0110_6^11 + 66578898936455059/89391787802969*c_0110_6^10 - 1070045323532241/89391787802969*c_0110_6^9 - 207939678356762161/89391787802969*c_0110_6^8 + 80419601059260845/89391787802969*c_0110_6^7 + 179654802144186758/89391787802969*c_0110_6^6 - 15541989038755752/89391787802969*c_0110_6^5 - 61940408679068101/89391787802969*c_0110_6^4 - 6998929859202246/89391787802969*c_0110_6^3 + 13975619830394474/89391787802969*c_0110_6^2 + 6033375179164240/89391787802969*c_0110_6 + 741278663412008/89391787802969, c_0101_1 + 826671791533671/89391787802969*c_0110_6^14 - 2076819185125025/89391787802969*c_0110_6^13 - 3907150198570945/89391787802969*c_0110_6^12 + 51631825571633100/89391787802969*c_0110_6^11 - 168590672935138929/89391787802969*c_0110_6^10 + 4651715081562121/89391787802969*c_0110_6^9 + 526597588857934767/89391787802969*c_0110_6^8 - 211612437091047199/89391787802969*c_0110_6^7 - 457383865558261368/89391787802969*c_0110_6^6 + 51661122842375204/89391787802969*c_0110_6^5 + 161656777412124751/89391787802969*c_0110_6^4 + 11488140920698486/89391787802969*c_0110_6^3 - 36733695282019682/89391787802969*c_0110_6^2 - 14143266326898184/89391787802969*c_0110_6 - 1434314199089397/89391787802969, c_0101_5 + 442144439141545/89391787802969*c_0110_6^14 - 1136182626088212/89391787802969*c_0110_6^13 - 2008275918261256/89391787802969*c_0110_6^12 + 27682491808710420/89391787802969*c_0110_6^11 - 91814822685505769/89391787802969*c_0110_6^10 + 8797511575870341/89391787802969*c_0110_6^9 + 277367251699472676/89391787802969*c_0110_6^8 - 127270800930124877/89391787802969*c_0110_6^7 - 227920897151953409/89391787802969*c_0110_6^6 + 32290641490491187/89391787802969*c_0110_6^5 + 79612434549393735/89391787802969*c_0110_6^4 + 4720195831856996/89391787802969*c_0110_6^3 - 18135324418427104/89391787802969*c_0110_6^2 - 6987537988923027/89391787802969*c_0110_6 - 788318650370816/89391787802969, c_0110_6^15 - 2*c_0110_6^14 - 6*c_0110_6^13 + 60*c_0110_6^12 - 172*c_0110_6^11 - 98*c_0110_6^10 + 637*c_0110_6^9 + 71*c_0110_6^8 - 676*c_0110_6^7 - 226*c_0110_6^6 + 221*c_0110_6^5 + 116*c_0110_6^4 - 35*c_0110_6^3 - 40*c_0110_6^2 - 11*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB