Magma V2.19-8 Tue Aug 20 2013 16:14:37 on localhost [Seed = 2749513637] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s600 geometric_solution 5.08163112 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 1 2 3 0132 3201 0132 0132 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 -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.300412197569 0.429688085866 0 1 0 1 0132 2310 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.224792058775 0.638144243196 4 3 5 0 0132 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.796496744461 1.008995849832 2 4 0 5 1230 0132 0132 2310 0 0 0 0 0 0 1 -1 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 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 0 0 0 0 0 0.796496744461 1.008995849832 2 3 4 4 0132 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.799296780044 1.055438035404 3 5 5 2 3201 1230 3012 0132 0 0 0 0 0 1 0 -1 1 0 -1 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 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.273538268728 0.935388999191 ==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_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_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_5' : d['c_0011_5'], 'c_1100_4' : d['c_0101_2'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : negation(d['c_0101_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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 105397625665681208771742/11185085671804330579*c_0101_2^18 + 466553273430916399890103/11185085671804330579*c_0101_2^17 + 1636865655729761264654691/11185085671804330579*c_0101_2^16 - 5275810420400976449341422/11185085671804330579*c_0101_2^15 + 10054900093680727508017827/11185085671804330579*c_0101_2^14 + 74121636629520840456375065/11185085671804330579*c_0101_2^13 + 52721798439189404403297382/11185085671804330579*c_0101_2^12 - 193948691879473019743965342/11185085671804330579*c_0101_2^11 - 254728177291013235938459215/11185085671804330579*c_0101_2^10 + 115302010607740453865752243/11185085671804330579*c_0101_2^9 + 219130795773064103395322202/11185085671804330579*c_0101_2^8 - 29529843455155027569157128/11185085671804330579*c_0101_2^7 - 84576839379477455978707807/11185085671804330579*c_0101_2^6 + 6300683881812576582325572/11185085671804330579*c_0101_2^5 + 18901982698852590246942399/11185085671804330579*c_0101_2^4 - 1385636877485806602095270/11185085671804330579*c_0101_2^3 - 2644751490448842826032312/11185085671804330579*c_0101_2^2 + 133717197444020336114027/11185085671804330579*c_0101_2 + 178637222877928155139917/11185085671804330579, c_0011_0 - 1, c_0011_2 - 1658251861789310353017/11185085671804330579*c_0101_2^18 + 7330278885115332424583/11185085671804330579*c_0101_2^17 + 25807381455101261169299/11185085671804330579*c_0101_2^16 - 82892511348064106480505/11185085671804330579*c_0101_2^15 + 157564093229735693957384/11185085671804330579*c_0101_2^14 + 1167644043714673219010141/11185085671804330579*c_0101_2^13 + 835533961749105776992797/11185085671804330579*c_0101_2^12 - 3052364091477229797565781/11185085671804330579*c_0101_2^11 - 4028951225887380891768649/11185085671804330579*c_0101_2^10 + 1806360417411171106687214/11185085671804330579*c_0101_2^9 + 3474174384701427990806405/11185085671804330579*c_0101_2^8 - 456352469710087037437819/11185085671804330579*c_0101_2^7 - 1344708739904040937343248/11185085671804330579*c_0101_2^6 + 95869450682278874407948/11185085671804330579*c_0101_2^5 + 301241505896677839945276/11185085671804330579*c_0101_2^4 - 21281277704264183289484/11185085671804330579*c_0101_2^3 - 42253312340846600292371/11185085671804330579*c_0101_2^2 + 2062819397719227000111/11185085671804330579*c_0101_2 + 2867275759462664155952/11185085671804330579, c_0011_5 + 1579967322017103136409/11185085671804330579*c_0101_2^18 - 6978807059531599439561/11185085671804330579*c_0101_2^17 - 24619811106146209161723/11185085671804330579*c_0101_2^16 + 78925383645227637789351/11185085671804330579*c_0101_2^15 - 149750163403128115195058/11185085671804330579*c_0101_2^14 - 1113379320319969213516753/11185085671804330579*c_0101_2^13 - 799230118666030394998776/11185085671804330579*c_0101_2^12 + 2910308133969327444177192/11185085671804330579*c_0101_2^11 + 3851984000923344157032186/11185085671804330579*c_0101_2^10 - 1720185003594356363272797/11185085671804330579*c_0101_2^9 - 3331476895577327030243968/11185085671804330579*c_0101_2^8 + 430793673073756626938721/11185085671804330579*c_0101_2^7 + 1294267503048980995375436/11185085671804330579*c_0101_2^6 - 89844542206891748141964/11185085671804330579*c_0101_2^5 - 290904841486650429584648/11185085671804330579*c_0101_2^4 + 20205257723515457336149/11185085671804330579*c_0101_2^3 + 40967896946577287174690/11185085671804330579*c_0101_2^2 - 1993190012606289631250/11185085671804330579*c_0101_2 - 2799946111432313652318/11185085671804330579, c_0101_0 + 3168483885097614871552/11185085671804330579*c_0101_2^18 - 14016092262753031189020/11185085671804330579*c_0101_2^17 - 49264788469855915247414/11185085671804330579*c_0101_2^16 + 158523281123363862636212/11185085671804330579*c_0101_2^15 - 301582065630811096000664/11185085671804330579*c_0101_2^14 - 2229938352712861166010197/11185085671804330579*c_0101_2^13 - 1590003966070594185444944/11185085671804330579*c_0101_2^12 + 5835717560107996896249862/11185085671804330579*c_0101_2^11 + 7681009146446040910722074/11185085671804330579*c_0101_2^10 - 3469240951032468701169890/11185085671804330579*c_0101_2^9 - 6626738050894383965839013/11185085671804330579*c_0101_2^8 + 884049738481360164560214/11185085671804330579*c_0101_2^7 + 2564513047938132158529603/11185085671804330579*c_0101_2^6 - 187651449908175214799313/11185085671804330579*c_0101_2^5 - 574061359175830925814810/11185085671804330579*c_0101_2^4 + 41609125929870745331523/11185085671804330579*c_0101_2^3 + 80460959226565978507853/11185085671804330579*c_0101_2^2 - 4040989488250565800110/11185085671804330579*c_0101_2 - 5451577490984276511118/11185085671804330579, c_0101_1 + 928552842961123609001/11185085671804330579*c_0101_2^18 - 4117506330502122178742/11185085671804330579*c_0101_2^17 - 14388406583044325997258/11185085671804330579*c_0101_2^16 + 46588635616854029903661/11185085671804330579*c_0101_2^15 - 88954670337218220266138/11185085671804330579*c_0101_2^14 - 652289389915518243758976/11185085671804330579*c_0101_2^13 - 459464534181205116720067/11185085671804330579*c_0101_2^12 + 1711732614890788963791164/11185085671804330579*c_0101_2^11 + 2230770459694219282274236/11185085671804330579*c_0101_2^10 - 1030938361724168033498081/11185085671804330579*c_0101_2^9 - 1920423777687406038566585/11185085671804330579*c_0101_2^8 + 271754681107552332325345/11185085671804330579*c_0101_2^7 + 738898743283617583689319/11185085671804330579*c_0101_2^6 - 59569560312849853705401/11185085671804330579*c_0101_2^5 - 164187064980552855108343/11185085671804330579*c_0101_2^4 + 12931754844937410206770/11185085671804330579*c_0101_2^3 + 22861777927014333601419/11185085671804330579*c_0101_2^2 - 1227016148531247468664/11185085671804330579*c_0101_2 - 1533476190646948413588/11185085671804330579, c_0101_2^19 - 5*c_0101_2^18 - 13*c_0101_2^17 + 59*c_0101_2^16 - 124*c_0101_2^15 - 649*c_0101_2^14 - 96*c_0101_2^13 + 2132*c_0101_2^12 + 1363*c_0101_2^11 - 2495*c_0101_2^10 - 1463*c_0101_2^9 + 1487*c_0101_2^8 + 651*c_0101_2^7 - 527*c_0101_2^6 - 148*c_0101_2^5 + 118*c_0101_2^4 + 18*c_0101_2^3 - 16*c_0101_2^2 - c_0101_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB