Magma V2.19-8 Tue Aug 20 2013 16:17:21 on localhost [Seed = 2682127191] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1584 geometric_solution 5.35987192 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.624423286398 0.126860874787 2 0 2 0 0132 2310 1023 0132 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 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.837581209843 0.185605779285 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 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 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.956771587311 0.524142806135 5 2 6 4 0132 0132 0132 1230 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 1 0 -1 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.993128194226 0.970697440828 3 6 2 5 3012 3201 0132 1023 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 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.993128194226 0.970697440828 3 5 5 4 0132 3201 2310 1023 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 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.021823513458 0.963621160802 6 6 4 3 1230 3012 2310 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 -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.021823513458 0.963621160802 ==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' : d['1'], 's_2_3' : negation(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' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], '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' : d['c_0011_6'], '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' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_6']), '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_0011_6, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 113017078889848966/2713351650795365*c_0101_6^15 - 720715897580731423/2713351650795365*c_0101_6^14 + 3090855721932074396/2713351650795365*c_0101_6^13 - 8696487018190018789/2713351650795365*c_0101_6^12 + 19263255350893627096/2713351650795365*c_0101_6^11 - 35804596968385651784/2713351650795365*c_0101_6^10 + 52273076739849662266/2713351650795365*c_0101_6^9 - 53894834193791783858/2713351650795365*c_0101_6^8 + 9445446420126787637/2713351650795365*c_0101_6^7 + 55357923657082360679/2713351650795365*c_0101_6^6 - 46496000099857730739/2713351650795365*c_0101_6^5 + 1235746705020441093/2713351650795365*c_0101_6^4 + 7674011929511998454/2713351650795365*c_0101_6^3 - 999714740352934790/542670330159073*c_0101_6^2 + 1527641187173025277/2713351650795365*c_0101_6 - 3658191803085692/2713351650795365, c_0011_0 - 1, c_0011_1 - 176642589033569/2170681320636292*c_0101_6^15 + 1067117869118825/2170681320636292*c_0101_6^14 - 1119521440573870/542670330159073*c_0101_6^13 + 12169367381166951/2170681320636292*c_0101_6^12 - 6606606229657642/542670330159073*c_0101_6^11 + 48581028360260701/2170681320636292*c_0101_6^10 - 17283397449378520/542670330159073*c_0101_6^9 + 68990018322113393/2170681320636292*c_0101_6^8 - 2792229252173765/1085340660318146*c_0101_6^7 - 69217579196425251/2170681320636292*c_0101_6^6 + 15795788847903479/1085340660318146*c_0101_6^5 + 9587766866249937/2170681320636292*c_0101_6^4 + 553252532642304/542670330159073*c_0101_6^3 + 4811567750341901/2170681320636292*c_0101_6^2 + 1236179879308767/2170681320636292*c_0101_6 - 543942796437827/2170681320636292, c_0011_4 - 290386048594411/2170681320636292*c_0011_6*c_0101_6^15 + 2211227734784105/2170681320636292*c_0011_6*c_0101_6^14 - 2516426376216870/542670330159073*c_0011_6*c_0101_6^13 + 31173832086578221/2170681320636292*c_0011_6*c_0101_6^12 - 36512000703182355/1085340660318146*c_0011_6*c_0101_6^11 + 142337549081741065/2170681320636292*c_0011_6*c_0101_6^10 - 56318581590498346/542670330159073*c_0011_6*c_0101_6^9 + 264213559687108163/2170681320636292*c_0011_6*c_0101_6^8 - 35444668792012817/542670330159073*c_0011_6*c_0101_6^7 - 157128285679542879/2170681320636292*c_0011_6*c_0101_6^6 + 136341040557816043/1085340660318146*c_0011_6*c_0101_6^5 - 59993022981542205/2170681320636292*c_0011_6*c_0101_6^4 - 24645889558201075/1085340660318146*c_0011_6*c_0101_6^3 + 9284676385914641/2170681320636292*c_0011_6*c_0101_6^2 - 10181687500529363/2170681320636292*c_0011_6*c_0101_6 - 473176559071703/2170681320636292*c_0011_6, c_0011_6^2 - 360255379861085/2170681320636292*c_0101_6^15 + 2022801440411509/2170681320636292*c_0101_6^14 - 2036021736238780/542670330159073*c_0101_6^13 + 20521754438206267/2170681320636292*c_0101_6^12 - 10415422151502385/542670330159073*c_0101_6^11 + 71513664895440497/2170681320636292*c_0101_6^10 - 22309370107419085/542670330159073*c_0101_6^9 + 63120845461993549/2170681320636292*c_0101_6^8 + 36357520085003165/1085340660318146*c_0101_6^7 - 168203042466570943/2170681320636292*c_0101_6^6 + 795814232390429/1085340660318146*c_0101_6^5 + 81408814605858941/2170681320636292*c_0101_6^4 + 2353964691801249/542670330159073*c_0101_6^3 - 8278323784597951/2170681320636292*c_0101_6^2 - 3358374831464605/2170681320636292*c_0101_6 - 251964220105475/2170681320636292, c_0101_0 + 199666361525689/1085340660318146*c_0101_6^15 - 568757321746747/542670330159073*c_0101_6^14 + 2317211874168045/542670330159073*c_0101_6^13 - 11866141871690359/1085340660318146*c_0101_6^12 + 24460669990009251/1085340660318146*c_0101_6^11 - 21150296751314770/542670330159073*c_0101_6^10 + 26932371062747416/542670330159073*c_0101_6^9 - 40192742210764833/1085340660318146*c_0101_6^8 - 38284972186381887/1085340660318146*c_0101_6^7 + 50969671056385493/542670330159073*c_0101_6^6 - 11620990251642389/542670330159073*c_0101_6^5 - 36039899318701469/1085340660318146*c_0101_6^4 + 10981036372576261/1085340660318146*c_0101_6^3 - 924943028916224/542670330159073*c_0101_6^2 - 2051299659061847/1085340660318146*c_0101_6 + 82849522423092/542670330159073, c_0101_1 - 42307054933735/542670330159073*c_0101_6^15 + 531149309715267/1085340660318146*c_0101_6^14 - 1139953881019401/542670330159073*c_0101_6^13 + 3205841398505503/542670330159073*c_0101_6^12 - 14342117609931823/1085340660318146*c_0101_6^11 + 27027463496368183/1085340660318146*c_0101_6^10 - 20107082261429397/542670330159073*c_0101_6^9 + 21844236045408057/542670330159073*c_0101_6^8 - 14125517817188151/1085340660318146*c_0101_6^7 - 29487784407613251/1085340660318146*c_0101_6^6 + 12322996684045447/542670330159073*c_0101_6^5 - 1791283629683541/542670330159073*c_0101_6^4 + 291794630964269/1085340660318146*c_0101_6^3 + 1990670201011871/1085340660318146*c_0101_6^2 + 147185760366975/542670330159073*c_0101_6 + 578913540490413/1085340660318146, c_0101_6^16 - 6*c_0101_6^15 + 25*c_0101_6^14 - 67*c_0101_6^13 + 143*c_0101_6^12 - 257*c_0101_6^11 + 353*c_0101_6^10 - 321*c_0101_6^9 - 69*c_0101_6^8 + 493*c_0101_6^7 - 221*c_0101_6^6 - 115*c_0101_6^5 + 45*c_0101_6^4 - 17*c_0101_6^3 + 2*c_0101_6^2 + 2*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB