Magma V2.19-8 Tue Aug 20 2013 16:16:23 on localhost [Seed = 2017059992] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0653 geometric_solution 4.63728366 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 3.338323242639 4.538281506479 0 1 1 0 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.107474752982 0.117684913363 0 3 4 0 3201 0132 0132 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 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.042966303223 0.262581209919 4 2 4 5 2310 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 -1 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 -1 1 0 1 0 1 -2 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.477146238663 1.509816053122 3 5 3 2 2103 0132 3201 0132 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 0 0 0 -1 0 1 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.477146238663 1.509816053122 6 4 3 6 0132 0132 0132 3201 0 0 0 0 0 0 0 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 2 -2 0 0 0 0 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.609645928830 0.202276213269 5 5 6 6 0132 2310 2031 1302 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 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.014026598479 0.983114458163 ==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' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : 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_0101_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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' : d['c_1001_2'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_1001_2'], 'c_1010_3' : d['c_1001_2'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : negation(d['c_0101_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_4, c_0101_0, c_0101_3, c_0101_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 4379775326996504171384361/292822671678712286683494064*c_1001_2^11 - 240258478167755037347367611/1756936030072273720100964384*c_1001_2^1\ 0 + 689853059675838436060089493/878468015036136860050482192*c_1001_\ 2^9 - 551973146209045760805570415/146411335839356143341747032*c_100\ 1_2^8 + 1454984617575547013676625585/103349178239545512947115552*c_\ 1001_2^7 - 12199839505516305059833402235/29282267167871228668349406\ 4*c_1001_2^6 + 18709142027786970912655311281/2196170037590342150126\ 20548*c_1001_2^5 - 176105325417005280556162300123/17569360300722737\ 20100964384*c_1001_2^4 + 1210773731608454362029906145/4285209829444\ 5700490267424*c_1001_2^3 + 926846306186226749324702309/201946670123\ 24985288516832*c_1001_2^2 + 604718423302319308585190905/17569360300\ 72273720100964384*c_1001_2 - 8980590570593328684377734905/585645343\ 357424573366988128, c_0011_0 - 1, c_0011_2 - 602785094342055/1722983901743248666*c_1001_2^11 + 4561739501207273/1722983901743248666*c_1001_2^10 - 12237222908584702/861491950871624333*c_1001_2^9 + 112382554127457615/1722983901743248666*c_1001_2^8 - 11293622221047125/50675997110095549*c_1001_2^7 + 522890568374986994/861491950871624333*c_1001_2^6 - 823716432381498464/861491950871624333*c_1001_2^5 + 520414822868642926/861491950871624333*c_1001_2^4 + 1371839952582200827/1722983901743248666*c_1001_2^3 - 280160472181722329/1722983901743248666*c_1001_2^2 - 954193162872379868/861491950871624333*c_1001_2 + 138239404686018707/861491950871624333, c_0011_4 - 765613103072141901/1810856080732154347966*c_1001_2^11 + 9033353659686015287/2716284121098231521949*c_1001_2^10 - 98036403358811892131/5432568242196463043898*c_1001_2^9 + 455313162234337571659/5432568242196463043898*c_1001_2^8 - 93252205396312024799/319562837776262531994*c_1001_2^7 + 2193132989022989944202/2716284121098231521949*c_1001_2^6 - 3721283559947137310854/2716284121098231521949*c_1001_2^5 + 2795165302127965234550/2716284121098231521949*c_1001_2^4 + 1510016748381236933631/1810856080732154347966*c_1001_2^3 - 2169219059642755584604/2716284121098231521949*c_1001_2^2 - 4741293264263235812267/5432568242196463043898*c_1001_2 - 251959025248513144919/2716284121098231521949, c_0101_0 + 249014841401663/861491950871624333*c_1001_2^11 - 1736311137139911/861491950871624333*c_1001_2^10 + 18113877664714967/1722983901743248666*c_1001_2^9 - 82765738775139821/1722983901743248666*c_1001_2^8 + 7985733231286637/50675997110095549*c_1001_2^7 - 720176672665867543/1722983901743248666*c_1001_2^6 + 510038212836984464/861491950871624333*c_1001_2^5 - 235153616719029994/861491950871624333*c_1001_2^4 - 440320359072994084/861491950871624333*c_1001_2^3 - 81475724517995349/861491950871624333*c_1001_2^2 - 26371183925927861/1722983901743248666*c_1001_2 + 1646689850559899895/1722983901743248666, c_0101_3 - 1067856387997874788/2716284121098231521949*c_1001_2^11 + 3323231561095023855/905428040366077173983*c_1001_2^10 - 112951402605643598689/5432568242196463043898*c_1001_2^9 + 540738285899982188855/5432568242196463043898*c_1001_2^8 - 59317752327926890306/159781418888131265997*c_1001_2^7 + 5892625408699080467725/5432568242196463043898*c_1001_2^6 - 1983277474322944908452/905428040366077173983*c_1001_2^5 + 6542933066174824237679/2716284121098231521949*c_1001_2^4 - 1052204527043967128102/2716284121098231521949*c_1001_2^3 - 3426588631421771390923/2716284121098231521949*c_1001_2^2 - 3351104479112106162857/5432568242196463043898*c_1001_2 + 46195159219920520551/1810856080732154347966, c_0101_6 - 256717350877709510/905428040366077173983*c_1001_2^11 + 3848015044570331519/1810856080732154347966*c_1001_2^10 - 61465233567217357991/5432568242196463043898*c_1001_2^9 + 142921322522309932693/2716284121098231521949*c_1001_2^8 - 19212050307462464317/106520945925420843998*c_1001_2^7 + 1347132936389281564930/2716284121098231521949*c_1001_2^6 - 751240006322915890962/905428040366077173983*c_1001_2^5 + 1878324960793413225218/2716284121098231521949*c_1001_2^4 - 42650040083706337841/2716284121098231521949*c_1001_2^3 + 2433127155302682393155/5432568242196463043898*c_1001_2^2 - 1761992993568578358111/1810856080732154347966*c_1001_2 - 1280524961675408580448/2716284121098231521949, c_1001_2^12 - 9*c_1001_2^11 + 51*c_1001_2^10 - 243*c_1001_2^9 + 897*c_1001_2^8 - 2613*c_1001_2^7 + 5167*c_1001_2^6 - 5536*c_1001_2^5 + 369*c_1001_2^4 + 3625*c_1001_2^3 + 1007*c_1001_2^2 - 1238*c_1001_2 - 1189 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB