Magma V2.19-8 Tue Aug 20 2013 16:18:55 on localhost [Seed = 3313785010] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3074 geometric_solution 6.23816900 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2103 0132 0132 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 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.184289659835 0.752719875721 0 0 2 4 0132 2103 2310 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 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.184289659835 0.752719875721 5 1 5 0 0132 3201 1023 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 -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.164045212914 1.782876731137 4 6 0 5 0321 0132 0132 1023 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 -1 0 1 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.341258345528 1.073364011607 3 6 1 5 0321 3201 0132 3201 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 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.341258345528 1.073364011607 2 4 2 3 0132 2310 1023 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 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.101615201476 0.631787130530 6 3 4 6 3201 0132 2310 2310 0 0 0 0 0 -1 1 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 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.648593201944 0.616450231362 ==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' : negation(d['c_1100_0']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(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' : d['c_0011_2'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : negation(d['c_0101_6']), 'c_1010_0' : d['c_0101_6']})} 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_2, c_0011_3, c_0101_0, c_0101_2, c_0101_6, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 128047345933504722577833/6883291728696747755*c_1100_0^15 - 537354906211574624280943/6883291728696747755*c_1100_0^14 - 542284862131972681748229/1376658345739349551*c_1100_0^13 - 3180528615697302003814872/6883291728696747755*c_1100_0^12 + 8691865601686250268054593/6883291728696747755*c_1100_0^11 + 15449885352109816646236416/6883291728696747755*c_1100_0^10 - 10078366698086882777735177/6883291728696747755*c_1100_0^9 - 25548354424395159351730656/6883291728696747755*c_1100_0^8 + 3206473061487886409802301/1376658345739349551*c_1100_0^7 + 21560420240288326434619179/6883291728696747755*c_1100_0^6 - 38808847417435936093548863/6883291728696747755*c_1100_0^5 - 6328439168259006605818256/6883291728696747755*c_1100_0^4 + 39398940834828293236873266/6883291728696747755*c_1100_0^3 + 1347881187642198716725021/6883291728696747755*c_1100_0^2 - 12298441780464276623022714/6883291728696747755*c_1100_0 - 656154320894003186493054/6883291728696747755, c_0011_0 - 1, c_0011_2 + c_1100_0, c_0011_3 + 88543627007522302/1376658345739349551*c_1100_0^15 - 460441029155495306/1376658345739349551*c_1100_0^14 - 1452080057192399063/1376658345739349551*c_1100_0^13 - 566225903717400840/1376658345739349551*c_1100_0^12 + 7346846601231948114/1376658345739349551*c_1100_0^11 + 4129524951895974621/1376658345739349551*c_1100_0^10 - 13719734580945916870/1376658345739349551*c_1100_0^9 - 7484413164104566956/1376658345739349551*c_1100_0^8 + 22088874525818692872/1376658345739349551*c_1100_0^7 - 1464520235020238902/1376658345739349551*c_1100_0^6 - 30865670475494682849/1376658345739349551*c_1100_0^5 + 23585206859686824177/1376658345739349551*c_1100_0^4 + 15227243433995713265/1376658345739349551*c_1100_0^3 - 16797031752117876606/1376658345739349551*c_1100_0^2 - 457517209599403584/1376658345739349551*c_1100_0 + 857218429081580666/1376658345739349551, c_0101_0 - 82053479937322382/1376658345739349551*c_1100_0^15 + 267075196588651150/1376658345739349551*c_1100_0^14 + 2085487183658507801/1376658345739349551*c_1100_0^13 + 3525048238651055395/1376658345739349551*c_1100_0^12 - 3919090128256187484/1376658345739349551*c_1100_0^11 - 14834488884278415743/1376658345739349551*c_1100_0^10 - 415638480914192318/1376658345739349551*c_1100_0^9 + 21948203643703554614/1376658345739349551*c_1100_0^8 - 333747359199917849/1376658345739349551*c_1100_0^7 - 23682768703413400511/1376658345739349551*c_1100_0^6 + 20050119665157267212/1376658345739349551*c_1100_0^5 + 23571747191231500405/1376658345739349551*c_1100_0^4 - 29824361863422074861/1376658345739349551*c_1100_0^3 - 12454383518965326922/1376658345739349551*c_1100_0^2 + 9023511213318182617/1376658345739349551*c_1100_0 + 1677955148978420033/1376658345739349551, c_0101_2 + 102362041946644930/1376658345739349551*c_1100_0^15 - 509780327231966536/1376658345739349551*c_1100_0^14 - 1732524498550276677/1376658345739349551*c_1100_0^13 - 1306987169240448184/1376658345739349551*c_1100_0^12 + 7133460227310887713/1376658345739349551*c_1100_0^11 + 5210630366958391685/1376658345739349551*c_1100_0^10 - 11002085698773108735/1376658345739349551*c_1100_0^9 - 6689352260270666276/1376658345739349551*c_1100_0^8 + 19624355041018501387/1376658345739349551*c_1100_0^7 - 3828449877697715509/1376658345739349551*c_1100_0^6 - 28900842713010016705/1376658345739349551*c_1100_0^5 + 22501291228491886990/1376658345739349551*c_1100_0^4 + 8496767837604783168/1376658345739349551*c_1100_0^3 - 12285682146701603699/1376658345739349551*c_1100_0^2 + 3473971159152398026/1376658345739349551*c_1100_0 + 1208879561893862348/1376658345739349551, c_0101_6 + 123444356166643834/1376658345739349551*c_1100_0^15 - 564158881083209353/1376658345739349551*c_1100_0^14 - 2435065480957987066/1376658345739349551*c_1100_0^13 - 2057935435531218425/1376658345739349551*c_1100_0^12 + 9933242045479060652/1376658345739349551*c_1100_0^11 + 12865197259552611275/1376658345739349551*c_1100_0^10 - 14947693289731250146/1376658345739349551*c_1100_0^9 - 23751689124519854481/1376658345739349551*c_1100_0^8 + 21298547056056203413/1376658345739349551*c_1100_0^7 + 17270353794073893155/1376658345739349551*c_1100_0^6 - 41839368176268144431/1376658345739349551*c_1100_0^5 + 4963882812278821551/1376658345739349551*c_1100_0^4 + 39500654831765231466/1376658345739349551*c_1100_0^3 - 5297908930954849532/1376658345739349551*c_1100_0^2 - 11758653630962444091/1376658345739349551*c_1100_0 - 2065279279897662790/1376658345739349551, c_1100_0^16 - 4*c_1100_0^15 - 22*c_1100_0^14 - 29*c_1100_0^13 + 63*c_1100_0^12 + 134*c_1100_0^11 - 55*c_1100_0^10 - 215*c_1100_0^9 + 86*c_1100_0^8 + 193*c_1100_0^7 - 270*c_1100_0^6 - 109*c_1100_0^5 + 298*c_1100_0^4 + 71*c_1100_0^3 - 94*c_1100_0^2 - 24*c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB