Magma V2.19-8 Tue Aug 20 2013 16:14:51 on localhost [Seed = 4122241433] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s822 geometric_solution 5.38917360 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 -1 0 1 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.466787023458 0.297400418993 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.009443994888 0.673426769465 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 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 -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.369251901660 0.904973166844 2 5 4 1 3201 0132 1023 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 -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.369251901660 0.904973166844 4 2 3 4 3012 0132 1023 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.084935276994 0.905081910323 5 3 5 2 2031 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.118869320328 1.264622059493 ==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' : 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' : 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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], '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_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_1'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_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_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 5140180237987757369476/741811811779392525*c_0101_4^21 + 71353658439646961848907/247270603926464175*c_0101_4^19 - 766231706876545835750257/247270603926464175*c_0101_4^17 + 3788453563755290402461843/247270603926464175*c_0101_4^15 - 47414335027972792860034301/741811811779392525*c_0101_4^13 + 16842304583711290719708013/148362362355878505*c_0101_4^11 - 75415328525389563763649254/741811811779392525*c_0101_4^9 + 36708420892346691939786347/741811811779392525*c_0101_4^7 - 1545621491018496850937426/148362362355878505*c_0101_4^5 + 32613739505777251010611/741811811779392525*c_0101_4^3 + 130301064186142301490929/741811811779392525*c_0101_4, c_0011_0 - 1, c_0011_1 - 64441958051711674/3296941385686189*c_0101_4^20 + 2683693643663844010/3296941385686189*c_0101_4^18 - 28819816429202249311/3296941385686189*c_0101_4^16 + 142500013442832582122/3296941385686189*c_0101_4^14 - 594493874941492979159/3296941385686189*c_0101_4^12 + 1056020801239534603757/3296941385686189*c_0101_4^10 - 945907055997702664739/3296941385686189*c_0101_4^8 + 460564197345727792466/3296941385686189*c_0101_4^6 - 97044528268842528521/3296941385686189*c_0101_4^4 + 437086516217471252/3296941385686189*c_0101_4^2 + 1631834685972092230/3296941385686189, c_0011_3 - 43704582808284441356/247270603926464175*c_0101_4^21 + 606681748276157271467/82423534642154725*c_0101_4^19 - 6514687725493945674267/82423534642154725*c_0101_4^17 + 32209106955154989005458/82423534642154725*c_0101_4^15 - 403108763468845141484581/247270603926464175*c_0101_4^13 + 143174802672788151350723/49454120785292835*c_0101_4^11 - 641012130213267993451049/247270603926464175*c_0101_4^9 + 311970108478131379678807/247270603926464175*c_0101_4^7 - 13133197527880059954871/49454120785292835*c_0101_4^5 + 281556813536623339466/247270603926464175*c_0101_4^3 + 1105460724159440378074/247270603926464175*c_0101_4, c_0101_0 + 5972462863565915062/247270603926464175*c_0101_4^21 - 82900185640642122709/82423534642154725*c_0101_4^19 + 890014935827136253659/82423534642154725*c_0101_4^17 - 4398902881343995023391/82423534642154725*c_0101_4^15 + 55049115193041920515787/247270603926464175*c_0101_4^13 - 19534339166278863142291/49454120785292835*c_0101_4^11 + 87348979251471342025798/247270603926464175*c_0101_4^9 - 42445067268096295063814/247270603926464175*c_0101_4^7 + 1780683139002845219117/49454120785292835*c_0101_4^5 - 33524435394203494507/247270603926464175*c_0101_4^3 - 149462146830529137398/247270603926464175*c_0101_4, c_0101_1 - 138222871268083267/3296941385686189*c_0101_4^20 + 5756295980276579156/3296941385686189*c_0101_4^18 - 61815670638965996556/3296941385686189*c_0101_4^16 + 305645723385789069476/3296941385686189*c_0101_4^14 - 1275117475544689659301/3296941385686189*c_0101_4^12 + 2264979376219935882950/3296941385686189*c_0101_4^10 - 2028765789963932666728/3296941385686189*c_0101_4^8 + 987786017057265463543/3296941385686189*c_0101_4^6 - 208126842186781734073/3296941385686189*c_0101_4^4 + 937894143063001430/3296941385686189*c_0101_4^2 + 3503454827018393716/3296941385686189, c_0101_4^22 - 42*c_0101_4^20 + 462*c_0101_4^18 - 2370*c_0101_4^16 + 10010*c_0101_4^14 - 19661*c_0101_4^12 + 20494*c_0101_4^10 - 12356*c_0101_4^8 + 4042*c_0101_4^6 - 541*c_0101_4^4 - 23*c_0101_4^2 + 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB