Magma V2.19-8 Tue Aug 20 2013 16:14:28 on localhost [Seed = 3297073344] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s449 geometric_solution 4.76757693 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 2 2 3 0132 0132 2031 0132 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 1 -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.738087568522 0.745800838302 0 2 4 4 0132 1230 2310 0132 0 0 0 0 0 -1 0 1 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 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.355977921761 0.495330086280 3 0 1 0 1230 0132 3012 1302 0 0 0 0 0 1 -1 0 0 0 1 -1 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.419182618870 1.193630813134 5 2 0 5 0132 3012 0132 1023 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 -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.549903988092 0.663434442272 4 1 1 4 3201 3201 0132 2310 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 -1.139330906603 0.584235093370 3 5 5 3 0132 3201 2310 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 1.376904222328 0.509443710899 ==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' : negation(d['1']), 's_3_0' : negation(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' : d['1'], 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : 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_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], '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' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], '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_0101_5']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_0']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 2723345922216641397927/414036232047463223864*c_0101_5^18 + 7072375272288995407885/207018116023731611932*c_0101_5^17 - 4938085476154467098123/414036232047463223864*c_0101_5^16 - 58303185502655332477725/414036232047463223864*c_0101_5^15 + 25850364608174267155829/414036232047463223864*c_0101_5^14 - 113602662035854130704977/207018116023731611932*c_0101_5^13 + 45027788305431357695903/414036232047463223864*c_0101_5^12 + 278461498408044483105967/103509058011865805966*c_0101_5^11 - 1444939158121499512402073/414036232047463223864*c_0101_5^10 + 1092713460438491745395979/207018116023731611932*c_0101_5^9 - 336293815371143305023606/51754529005932902983*c_0101_5^8 + 429921248835224973307741/414036232047463223864*c_0101_5^7 + 513198769685463131863333/414036232047463223864*c_0101_5^6 - 33953925040236159605867/414036232047463223864*c_0101_5^5 + 83274981599422766448489/207018116023731611932*c_0101_5^4 - 64418841589061008709787/414036232047463223864*c_0101_5^3 + 1584338589326000751421/207018116023731611932*c_0101_5^2 + 286002013958421331084/51754529005932902983*c_0101_5 - 7583862976554063405079/414036232047463223864, c_0011_0 - 1, c_0011_3 + 85651656755170579802/879826993100859350711*c_0101_5^18 + 332903152342211901195/879826993100859350711*c_0101_5^17 - 788619293652667423884/879826993100859350711*c_0101_5^16 - 1932675081401182921721/879826993100859350711*c_0101_5^15 + 3120314064807070131845/879826993100859350711*c_0101_5^14 - 7137966900974912151131/879826993100859350711*c_0101_5^13 + 10778330169756286844490/879826993100859350711*c_0101_5^12 + 37277069039410128765712/879826993100859350711*c_0101_5^11 - 88956770610376882110793/879826993100859350711*c_0101_5^10 + 107556159204821259961398/879826993100859350711*c_0101_5^9 - 157618960143070567961964/879826993100859350711*c_0101_5^8 + 97795814422878794682810/879826993100859350711*c_0101_5^7 + 19149780133296520250864/879826993100859350711*c_0101_5^6 + 531093230131435204042/879826993100859350711*c_0101_5^5 - 16655092978940660069911/879826993100859350711*c_0101_5^4 - 3380697415705874441097/879826993100859350711*c_0101_5^3 + 2400305042097400086010/879826993100859350711*c_0101_5^2 - 882352597667259001232/879826993100859350711*c_0101_5 + 112398316026893698576/879826993100859350711, c_0011_4 - 73410424831632645873/879826993100859350711*c_0101_5^18 - 407640119144046344675/879826993100859350711*c_0101_5^17 - 29774358470681289711/879826993100859350711*c_0101_5^16 + 1492065073151087742584/879826993100859350711*c_0101_5^15 - 48939678569352629553/879826993100859350711*c_0101_5^14 + 6400359320752850244879/879826993100859350711*c_0101_5^13 + 582056046528924269222/879826993100859350711*c_0101_5^12 - 28180600126291352612817/879826993100859350711*c_0101_5^11 + 27012146669101278063274/879826993100859350711*c_0101_5^10 - 55013812271456315461698/879826993100859350711*c_0101_5^9 + 68180213425919717118911/879826993100859350711*c_0101_5^8 - 11313814366644422435267/879826993100859350711*c_0101_5^7 + 16806184166379675066705/879826993100859350711*c_0101_5^6 - 21435596166268213208090/879826993100859350711*c_0101_5^5 - 1500511039923135543807/879826993100859350711*c_0101_5^4 - 4702833035256260849198/879826993100859350711*c_0101_5^3 + 1477144680440669623844/879826993100859350711*c_0101_5^2 + 980296221028938200074/879826993100859350711*c_0101_5 + 410420182507775329851/879826993100859350711, c_0101_0 - 21426483555245391982/51754529005932902983*c_0101_5^18 - 106857805521961062587/51754529005932902983*c_0101_5^17 + 64090531051135605339/51754529005932902983*c_0101_5^16 + 463637016379456456803/51754529005932902983*c_0101_5^15 - 297415105247520196157/51754529005932902983*c_0101_5^14 + 1767834378078728826437/51754529005932902983*c_0101_5^13 - 730670447154945195054/51754529005932902983*c_0101_5^12 - 8825487891969835401362/51754529005932902983*c_0101_5^11 + 13083343326222275010047/51754529005932902983*c_0101_5^10 - 18421472756431735352607/51754529005932902983*c_0101_5^9 + 24086945815885088242405/51754529005932902983*c_0101_5^8 - 7451068599643503086672/51754529005932902983*c_0101_5^7 - 3360532775252660513315/51754529005932902983*c_0101_5^6 - 1661913495519047994114/51754529005932902983*c_0101_5^5 + 1262579731606818827606/51754529005932902983*c_0101_5^4 + 435034759869437604166/51754529005932902983*c_0101_5^3 - 239604366030073291518/51754529005932902983*c_0101_5^2 + 101403081498027540324/51754529005932902983*c_0101_5 - 8244633563729722746/51754529005932902983, c_0101_1 - 159935325490149876826/879826993100859350711*c_0101_5^18 - 895939033122381119102/879826993100859350711*c_0101_5^17 - 25136667171170159385/879826993100859350711*c_0101_5^16 + 3674297084185662610359/879826993100859350711*c_0101_5^15 - 136328569208684454161/879826993100859350711*c_0101_5^14 + 12111874445821526779966/879826993100859350711*c_0101_5^13 + 2852387398392424571336/879826993100859350711*c_0101_5^12 - 68044763510068413948782/879826993100859350711*c_0101_5^11 + 57774321127571246849772/879826993100859350711*c_0101_5^10 - 82579251434114225152299/879826993100859350711*c_0101_5^9 + 96599216782340436721937/879826993100859350711*c_0101_5^8 + 47184618190516468097544/879826993100859350711*c_0101_5^7 - 50067945028312923792990/879826993100859350711*c_0101_5^6 - 25246266432018586916716/879826993100859350711*c_0101_5^5 + 8476616687220803541767/879826993100859350711*c_0101_5^4 + 2538691356520871374290/879826993100859350711*c_0101_5^3 - 2148809691753098262237/879826993100859350711*c_0101_5^2 - 898710747728147048397/879826993100859350711*c_0101_5 + 634141435238381342244/879826993100859350711, c_0101_5^19 + 5*c_0101_5^18 - 3*c_0101_5^17 - 22*c_0101_5^16 + 14*c_0101_5^15 - 81*c_0101_5^14 + 31*c_0101_5^13 + 419*c_0101_5^12 - 611*c_0101_5^11 + 825*c_0101_5^10 - 1050*c_0101_5^9 + 243*c_0101_5^8 + 280*c_0101_5^7 - 53*c_0101_5^5 - 19*c_0101_5^4 + 19*c_0101_5^3 - 6*c_0101_5^2 - c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB