Magma V2.19-8 Tue Aug 20 2013 16:17:52 on localhost [Seed = 1612840093] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2103 geometric_solution 5.60155102 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 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 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.261443448639 1.376401094176 0 0 3 2 0132 3201 0132 0132 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 1 0 -1 -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.336931404906 0.680665729209 3 4 1 5 1230 0132 0132 0132 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 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 1.050313902080 0.767313229727 4 2 5 1 3201 3012 2310 0132 0 0 0 0 0 -1 1 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 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 1.050313902080 0.767313229727 6 2 6 3 0132 0132 1023 2310 0 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 1.559463292317 0.540929934468 6 3 2 6 1302 3201 0132 0213 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 -1 1 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.103936695997 0.682883176755 4 5 4 5 0132 2031 1023 0213 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0.705973635183 0.538017254524 ==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' : negation(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' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_4' : negation(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' : d['c_0011_2'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], '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_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0011_2']), 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0011_2'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 12151569730277589146975547/180512113924945439059280*c_0101_4^17 - 125285642327988011788573727/180512113924945439059280*c_0101_4^16 - 61066045187693001389992785/36102422784989087811856*c_0101_4^15 - 413689124019723880194892569/90256056962472719529640*c_0101_4^14 - 852178283755326379008482021/36102422784989087811856*c_0101_4^13 - 1488920988885131615973711269/180512113924945439059280*c_0101_4^12 - 1421448697568709387432942411/11282007120309089941205*c_0101_4^11 - 1278224628675268242140234393/90256056962472719529640*c_0101_4^10 - 4541226382911186386223252179/16410192174995039914480*c_0101_4^9 - 8338210559323637125387520623/180512113924945439059280*c_0101_4^8 - 46135394174235894330310869891/180512113924945439059280*c_0101_4^7 - 4206650759717377366817614677/90256056962472719529640*c_0101_4^6 - 3958184762446096825578761091/36102422784989087811856*c_0101_4^5 - 418304327873158439270764929/18051211392494543905928*c_0101_4^4 - 4206533853127143675725264367/180512113924945439059280*c_0101_4^3 - 17346413876200786579014415/2777109444999160600912*c_0101_4^2 - 74768622145242006967911621/36102422784989087811856*c_0101_4 - 117842323369193532806047491/180512113924945439059280, c_0011_0 - 1, c_0011_2 - 6048052375093103877/78895154687476153435*c_0101_4^17 - 56507264785498551267/63116123749980922748*c_0101_4^16 - 933592572697370533861/315580618749904613740*c_0101_4^15 - 461995133128846017335/63116123749980922748*c_0101_4^14 - 2054143685384759211133/63116123749980922748*c_0101_4^13 - 13394035692548786510133/315580618749904613740*c_0101_4^12 - 10882692808916497463197/78895154687476153435*c_0101_4^11 - 31458908518518319442591/157790309374952306870*c_0101_4^10 - 78979724784996297079097/315580618749904613740*c_0101_4^9 - 34023532535966129683746/78895154687476153435*c_0101_4^8 - 31028442422429217327231/157790309374952306870*c_0101_4^7 - 104614499931876820922637/315580618749904613740*c_0101_4^6 - 5606631244783578698623/78895154687476153435*c_0101_4^5 - 6953092517652330699217/63116123749980922748*c_0101_4^4 - 5074982505498155158837/315580618749904613740*c_0101_4^3 - 1274153014696156551533/78895154687476153435*c_0101_4^2 - 195050368470626120357/315580618749904613740*c_0101_4 - 69539314339281511049/157790309374952306870, c_0011_5 - c_0101_4, c_0101_0 - 58840011595820/1871549156386577*c_0101_4^17 - 755255850225095/1871549156386577*c_0101_4^16 - 3036675501828466/1871549156386577*c_0101_4^15 - 7939474051535451/1871549156386577*c_0101_4^14 - 30652628334773586/1871549156386577*c_0101_4^13 - 59027713351721035/1871549156386577*c_0101_4^12 - 132250272275204302/1871549156386577*c_0101_4^11 - 267929965204284776/1871549156386577*c_0101_4^10 - 304229990525417291/1871549156386577*c_0101_4^9 - 534200711925832075/1871549156386577*c_0101_4^8 - 364051854800817953/1871549156386577*c_0101_4^7 - 386878609398684946/1871549156386577*c_0101_4^6 - 146278487574672918/1871549156386577*c_0101_4^5 - 103314168272857457/1871549156386577*c_0101_4^4 - 15480076262994687/1871549156386577*c_0101_4^3 - 9654288232096361/1871549156386577*c_0101_4^2 - 440138503310081/1871549156386577*c_0101_4 + 867558724040004/1871549156386577, c_0101_1 + 29506904093050759803/157790309374952306870*c_0101_4^17 + 145108342212669883384/78895154687476153435*c_0101_4^16 + 117818401618351205251/31558061874990461374*c_0101_4^15 + 1579832486089335319827/157790309374952306870*c_0101_4^14 + 1848144000717149683311/31558061874990461374*c_0101_4^13 - 849683105078148670147/78895154687476153435*c_0101_4^12 + 51088851286876748237709/157790309374952306870*c_0101_4^11 - 19318743496157510587111/157790309374952306870*c_0101_4^10 + 104974640915547049485581/157790309374952306870*c_0101_4^9 - 30965314868460214177173/157790309374952306870*c_0101_4^8 + 75590160384582568763459/157790309374952306870*c_0101_4^7 - 21507982607232768278829/157790309374952306870*c_0101_4^6 + 2103968398886788338122/15779030937495230687*c_0101_4^5 - 365107880153961204006/15779030937495230687*c_0101_4^4 + 1323975230219063552409/78895154687476153435*c_0101_4^3 - 8446283264011458475/15779030937495230687*c_0101_4^2 - 4023789839252635837/31558061874990461374*c_0101_4 - 91077222910846022971/157790309374952306870, c_0101_3 + 8247319587875591463/31558061874990461374*c_0101_4^17 + 192356834312895578587/78895154687476153435*c_0101_4^16 + 625144005530915746767/157790309374952306870*c_0101_4^15 + 1858047183294208913541/157790309374952306870*c_0101_4^14 + 2380935244411656670817/31558061874990461374*c_0101_4^13 - 4302297542966009892278/78895154687476153435*c_0101_4^12 + 74633865708425136559993/157790309374952306870*c_0101_4^11 - 64680688158379037491099/157790309374952306870*c_0101_4^10 + 172721455426520994332057/157790309374952306870*c_0101_4^9 - 128384748554546051759301/157790309374952306870*c_0101_4^8 + 154243900571897480688421/157790309374952306870*c_0101_4^7 - 103919359742204409995263/157790309374952306870*c_0101_4^6 + 32375655745539992131317/78895154687476153435*c_0101_4^5 - 3460473700457584166878/15779030937495230687*c_0101_4^4 + 6359093625537566154454/78895154687476153435*c_0101_4^3 - 2364754420923311542323/78895154687476153435*c_0101_4^2 + 979791497363393708889/157790309374952306870*c_0101_4 - 133655018645959067537/157790309374952306870, c_0101_4^18 + 10*c_0101_4^17 + 22*c_0101_4^16 + 61*c_0101_4^15 + 331*c_0101_4^14 + 18*c_0101_4^13 + 1857*c_0101_4^12 - 372*c_0101_4^11 + 4183*c_0101_4^10 - 636*c_0101_4^9 + 3910*c_0101_4^8 - 577*c_0101_4^7 + 1745*c_0101_4^6 - 239*c_0101_4^5 + 403*c_0101_4^4 - 44*c_0101_4^3 + 42*c_0101_4^2 - 4*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB