Magma V2.19-8 Tue Aug 20 2013 16:16:52 on localhost [Seed = 678016246] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1134 geometric_solution 4.99938165 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 3012 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 1 -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.704995792509 0.672081597260 0 2 4 4 0132 1302 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.066335401770 1.396212041867 3 0 0 1 1302 0132 1230 2031 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 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.256892247603 0.708414221012 5 2 5 0 0132 2031 1023 0132 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 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.835211205538 0.931989353788 1 4 1 4 2310 1302 0132 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.860448218881 0.611889909265 3 6 3 6 0132 0132 1023 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722761768809 0.202213343108 6 5 6 5 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.797444369580 0.088077565790 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : 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' : 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_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_3'], '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_0101_3'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_3']})} 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_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 89833688827764730/742910579544509*c_0101_6^15 - 516218763422413911/742910579544509*c_0101_6^14 - 1570582439357392540/742910579544509*c_0101_6^13 + 8418077037872711030/742910579544509*c_0101_6^12 + 13049067063052242936/742910579544509*c_0101_6^11 - 38579730046194045005/742910579544509*c_0101_6^10 - 46562781574190644739/742910579544509*c_0101_6^9 + 61680923055600945211/742910579544509*c_0101_6^8 + 61481022513777569334/742910579544509*c_0101_6^7 - 31588003102155387664/742910579544509*c_0101_6^6 - 30718150063197602680/742910579544509*c_0101_6^5 - 5013431906692916464/742910579544509*c_0101_6^4 + 5759964782608254245/742910579544509*c_0101_6^3 + 4165837439373516081/742910579544509*c_0101_6^2 + 261758532674836611/742910579544509*c_0101_6 - 244555375529059761/742910579544509, c_0011_0 - 1, c_0011_3 - 41444462044249/742910579544509*c_0101_1*c_0101_6^15 + 345616111786773/742910579544509*c_0101_1*c_0101_6^14 + 88057186929291/742910579544509*c_0101_1*c_0101_6^13 - 5589062505624922/742910579544509*c_0101_1*c_0101_6^12 + 3999400458689066/742910579544509*c_0101_1*c_0101_6^11 + 30654398411094986/742910579544509*c_0101_1*c_0101_6^10 - 21589140233123287/742910579544509*c_0101_1*c_0101_6^9 - 68775080273415067/742910579544509*c_0101_1*c_0101_6^8 + 31652441844866737/742910579544509*c_0101_1*c_0101_6^7 + 51949630524760952/742910579544509*c_0101_1*c_0101_6^6 - 7784360722611917/742910579544509*c_0101_1*c_0101_6^5 - 4766258500654006/742910579544509*c_0101_1*c_0101_6^4 - 9974253500726704/742910579544509*c_0101_1*c_0101_6^3 - 1025985467447830/742910579544509*c_0101_1*c_0101_6^2 + 634356635053513/742910579544509*c_0101_1*c_0101_6 + 312331892834711/742910579544509*c_0101_1, c_0011_4 + 217007803556228/742910579544509*c_0101_6^15 - 1282622401339538/742910579544509*c_0101_6^14 - 3508338794087032/742910579544509*c_0101_6^13 + 20502578722153794/742910579544509*c_0101_6^12 + 26761610222486622/742910579544509*c_0101_6^11 - 91277334787627143/742910579544509*c_0101_6^10 - 85153859196272618/742910579544509*c_0101_6^9 + 138809713800902492/742910579544509*c_0101_6^8 + 82555284164727689/742910579544509*c_0101_6^7 - 67561052040613410/742910579544509*c_0101_6^6 - 16119698346828419/742910579544509*c_0101_6^5 - 4711853737229197/742910579544509*c_0101_6^4 + 4155065190399096/742910579544509*c_0101_6^3 - 209422736034430/742910579544509*c_0101_6^2 - 1512103624287618/742910579544509*c_0101_6 + 302025632659770/742910579544509, c_0101_0 - 241906132669114/742910579544509*c_0101_6^15 + 1364543664565824/742910579544509*c_0101_6^14 + 4295254032591889/742910579544509*c_0101_6^13 - 21818265050941497/742910579544509*c_0101_6^12 - 35780806116887744/742910579544509*c_0101_6^11 + 93615314929491962/742910579544509*c_0101_6^10 + 119859677744003093/742910579544509*c_0101_6^9 - 126689644885441679/742910579544509*c_0101_6^8 - 127258194116227490/742910579544509*c_0101_6^7 + 40772763382438111/742910579544509*c_0101_6^6 + 37588233284195083/742910579544509*c_0101_6^5 + 24805878249535526/742910579544509*c_0101_6^4 - 4909272028226614/742910579544509*c_0101_6^3 - 5477837686784142/742910579544509*c_0101_6^2 - 175430454665280/742910579544509*c_0101_6 + 105049761305135/742910579544509, c_0101_1^2 - 83338025267283/742910579544509*c_0101_6^15 + 603269653510728/742910579544509*c_0101_6^14 + 741520823837401/742910579544509*c_0101_6^13 - 9905866867552384/742910579544509*c_0101_6^12 - 867480881291480/742910579544509*c_0101_6^11 + 52676816445378544/742910579544509*c_0101_6^10 - 4170815644853366/742910579544509*c_0101_6^9 - 112856101815296559/742910579544509*c_0101_6^8 + 8138553906485557/742910579544509*c_0101_6^7 + 86864408589552678/742910579544509*c_0101_6^6 - 3027163840847160/742910579544509*c_0101_6^5 - 15456589230002242/742910579544509*c_0101_6^4 - 7634868513559257/742910579544509*c_0101_6^3 + 17466952596535/742910579544509*c_0101_6^2 + 1073281885835277/742910579544509*c_0101_6 - 168176118396060/742910579544509, c_0101_3 - 91316050771950/742910579544509*c_0101_6^15 + 505542577114705/742910579544509*c_0101_6^14 + 1634866983065305/742910579544509*c_0101_6^13 - 7817021988466774/742910579544509*c_0101_6^12 - 13828932009540586/742910579544509*c_0101_6^11 + 30305450226530244/742910579544509*c_0101_6^10 + 45278068678358105/742910579544509*c_0101_6^9 - 29736762860967721/742910579544509*c_0101_6^8 - 41326978205981512/742910579544509*c_0101_6^7 - 2704357920765284/742910579544509*c_0101_6^6 + 4495009100146466/742910579544509*c_0101_6^5 + 12277635767458413/742910579544509*c_0101_6^4 + 1681315747280426/742910579544509*c_0101_6^3 - 667045794962915/742910579544509*c_0101_6^2 + 846619405031901/742910579544509*c_0101_6 - 225165565035660/742910579544509, c_0101_6^16 - 6*c_0101_6^15 - 16*c_0101_6^14 + 98*c_0101_6^13 + 121*c_0101_6^12 - 464*c_0101_6^11 - 405*c_0101_6^10 + 808*c_0101_6^9 + 494*c_0101_6^8 - 511*c_0101_6^7 - 231*c_0101_6^6 + 26*c_0101_6^5 + 68*c_0101_6^4 + 27*c_0101_6^3 - 8*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