Magma V2.19-8 Tue Aug 20 2013 16:17:39 on localhost [Seed = 4021187336] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1881 geometric_solution 5.50611526 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 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.303771265303 0.531775573649 3 2 4 0 0132 3012 0132 0132 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 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.571663694993 1.034300946529 1 3 0 4 1230 0132 0132 3201 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 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 0 0 0 0.571663694993 1.034300946529 1 2 3 3 0132 0132 1230 3012 0 0 0 0 0 1 -1 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 1.022682079530 1.081050593842 5 2 5 1 0132 2310 2310 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 0 0 0 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.948536970319 1.864297035891 4 4 6 6 0132 3201 2310 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 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.166243280828 0.209215099238 6 5 5 6 3201 3201 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 -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.742166079031 0.840868157270 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : 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' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], '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_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 154618066819615095034809965668/3667874186485901597735200785*c_0101_\ 4^27 + 4475550510660572528153301529366/3667874186485901597735200785\ *c_0101_4^25 - 44908469746817319568522706126297/3667874186485901597\ 735200785*c_0101_4^23 + 230645076315321185835418520187187/366787418\ 6485901597735200785*c_0101_4^21 - 231571467807642388743028292845465\ /733574837297180319547040157*c_0101_4^19 + 5424571092294159484405581590833808/3667874186485901597735200785*c_0\ 101_4^17 - 2468561905462198562192571679463566/733574837297180319547\ 040157*c_0101_4^15 + 4254007150454048752762885917998276/12226247288\ 28633865911733595*c_0101_4^13 - 5138950558414502438242102732196476/\ 3667874186485901597735200785*c_0101_4^11 - 336593804346789572066692037849656/3667874186485901597735200785*c_01\ 01_4^9 + 580920201242643971053261593621986/366787418648590159773520\ 0785*c_0101_4^7 + 6505137521494229373167746286408/24452494576572677\ 3182346719*c_0101_4^5 - 104444745534276816540867287043007/366787418\ 6485901597735200785*c_0101_4^3 + 5050512223765073562657798903278/12\ 22624728828633865911733595*c_0101_4, c_0011_0 - 1, c_0011_1 - 1587589516517303159630928412/1222624728828633865911733595*c_\ 0101_4^27 + 45435063741837985688281550911/1222624728828633865911733\ 595*c_0101_4^25 - 446243775253904518636766523986/122262472882863386\ 5911733595*c_0101_4^23 + 2221942873514762355992583881939/1222624728\ 828633865911733595*c_0101_4^21 - 2231688472991528116572867050384/24\ 4524945765726773182346719*c_0101_4^19 + 52031296901692202087366170941738/1222624728828633865911733595*c_010\ 1_4^17 - 21925384914686124995551407806129/2445249457657267731823467\ 19*c_0101_4^15 + 94750631673317691233244263680474/12226247288286338\ 65911733595*c_0101_4^13 - 20819171230495287225935419837237/12226247\ 28828633865911733595*c_0101_4^11 - 2233968213868005757958267374805/244524945765726773182346719*c_0101_\ 4^9 + 2591295475638202020333839814968/1222624728828633865911733595*\ c_0101_4^7 + 1915360826327705382509213972554/1222624728828633865911\ 733595*c_0101_4^5 - 476361873559954799085886701673/1222624728828633\ 865911733595*c_0101_4^3 - 2543251165161631696074867023/244524945765\ 726773182346719*c_0101_4, c_0011_4 + 1603201498734653271223170623/1222624728828633865911733595*c_\ 0101_4^26 - 45979049272004721364426225181/1222624728828633865911733\ 595*c_0101_4^24 + 453398569685239680110205936154/122262472882863386\ 5911733595*c_0101_4^22 - 2270695199758333439038840334742/1222624728\ 828633865911733595*c_0101_4^20 + 11400295044093844425384472680031/1\ 222624728828633865911733595*c_0101_4^18 - 53207912696573395117385961434179/1222624728828633865911733595*c_010\ 1_4^16 + 113798361271466904420129436630917/122262472882863386591173\ 3595*c_0101_4^14 - 20394056873476520724099786172843/244524945765726\ 773182346719*c_0101_4^12 + 5218840370684636917451447556578/24452494\ 5765726773182346719*c_0101_4^10 + 10346529941154650421776096431509/\ 1222624728828633865911733595*c_0101_4^8 - 631305757545874775905647962756/244524945765726773182346719*c_0101_4\ ^6 - 1864369949940906315452367490567/1222624728828633865911733595*c\ _0101_4^4 + 569225041074725451442981217793/122262472882863386591173\ 3595*c_0101_4^2 - 1107233490440694585051732946/24452494576572677318\ 2346719, c_0011_6 + 1527605867530970981458579857/1222624728828633865911733595*c_\ 0101_4^26 - 43794590987632072603414706394/1222624728828633865911733\ 595*c_0101_4^24 + 86310985921755295064069951666/2445249457657267731\ 82346719*c_0101_4^22 - 2159156654573620175378317579193/122262472882\ 8633865911733595*c_0101_4^20 + 10841151053565384265137890930771/122\ 2624728828633865911733595*c_0101_4^18 - 50590284999858179830462452433953/1222624728828633865911733595*c_010\ 1_4^16 + 107927985828422377017581194372292/122262472882863386591173\ 3595*c_0101_4^14 - 96183700308874142966824796673209/122262472882863\ 3865911733595*c_0101_4^12 + 24178429750243143795879008147483/122262\ 4728828633865911733595*c_0101_4^10 + 9880571997015520388109519221957/1222624728828633865911733595*c_0101\ _4^8 - 2901346844501825023084364202183/1222624728828633865911733595\ *c_0101_4^6 - 1768409417641822102610575433602/122262472882863386591\ 1733595*c_0101_4^4 + 529926498732737105151541925649/122262472882863\ 3865911733595*c_0101_4^2 - 4851761020628180250594193337/12226247288\ 28633865911733595, c_0101_0 - 1491849821999008866458824771/1222624728828633865911733595*c_\ 0101_4^26 + 42772875040128169504742186482/1222624728828633865911733\ 595*c_0101_4^24 - 421546013073162073510152533491/122262472882863386\ 5911733595*c_0101_4^22 + 2109450659554498326079022677449/1222624728\ 828633865911733595*c_0101_4^20 - 10591017293016288292660583503471/1\ 222624728828633865911733595*c_0101_4^18 + 49424539302672230037591877599267/1222624728828633865911733595*c_010\ 1_4^16 - 105485511224447514590777300196277/122262472882863386591173\ 3595*c_0101_4^14 + 94041668538657137727043824547728/122262472882863\ 3865911733595*c_0101_4^12 - 23575430599069906024089136310421/122262\ 4728828633865911733595*c_0101_4^10 - 1955933367357874119125129509939/244524945765726773182346719*c_0101_\ 4^8 + 2879116038869198484117403978671/1222624728828633865911733595*\ c_0101_4^6 + 1740914841190492914228129909657/1222624728828633865911\ 733595*c_0101_4^4 - 104357228535673909077142667565/2445249457657267\ 73182346719*c_0101_4^2 + 3653569333754798280530767264/1222624728828\ 633865911733595, c_0101_1 + 308740485461857236850190647/1222624728828633865911733595*c_0\ 101_4^27 - 1773938113768288702951542808/244524945765726773182346719\ *c_0101_4^25 + 87737884142976850932852936974/1222624728828633865911\ 733595*c_0101_4^23 - 441254636273530307136606995851/122262472882863\ 3865911733595*c_0101_4^21 + 2213887749888239406780591425686/1222624\ 728828633865911733595*c_0101_4^19 - 10340052348906860738358776414531/1222624728828633865911733595*c_010\ 1_4^17 + 22345409285622087564275080413427/1222624728828633865911733\ 595*c_0101_4^15 - 4075321650306788083122687281902/24452494576572677\ 3182346719*c_0101_4^13 + 5363739253798701477579898850062/1222624728\ 828633865911733595*c_0101_4^11 + 428511317057812559007792298652/244\ 524945765726773182346719*c_0101_4^9 - 139132347609058884485816022534/244524945765726773182346719*c_0101_4\ ^7 - 387650260148234436652350011014/1222624728828633865911733595*c_\ 0101_4^5 + 116371195715321054214424990549/1222624728828633865911733\ 595*c_0101_4^3 + 3143829359769298440138968106/122262472882863386591\ 1733595*c_0101_4, c_0101_4^28 - 29*c_0101_4^26 + 292*c_0101_4^24 - 1507*c_0101_4^22 + 7565*c_0101_4^20 - 35468*c_0101_4^18 + 81621*c_0101_4^16 - 86365*c_0101_4^14 + 36672*c_0101_4^12 + 1254*c_0101_4^10 - 4064*c_0101_4^8 - 525*c_0101_4^6 + 731*c_0101_4^4 - 118*c_0101_4^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB