Magma V2.19-8 Tue Aug 20 2013 16:17:22 on localhost [Seed = 1225315717] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1603 geometric_solution 5.36629430 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 1023 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 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.365572491195 0.325896771084 0 3 0 4 0132 0132 1023 0132 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 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.475841082087 1.358741376689 3 0 4 0 3201 0132 3201 1023 0 0 0 0 0 1 -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 -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.475841082087 1.358741376689 5 1 5 2 0132 0132 2310 2310 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 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 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.265271120869 1.444283790874 2 6 1 6 2310 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.801333468699 1.254708262211 3 3 5 5 0132 3201 2031 1302 0 0 0 0 0 0 1 -1 0 0 1 -1 1 0 0 -1 -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 -1 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.435247472802 0.138906989511 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.466075331804 0.183718511848 ==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' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : 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' : negation(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_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 102784054700596109676117313834786557/919267340536224681226726731254\ 218*c_0110_6^25 - 1880874237994097823197762315053318735/18385346810\ 72449362453453462508436*c_0110_6^23 - 278858485522942749438069649488523868/459633670268112340613363365627\ 109*c_0110_6^21 + 26940375967067242481913209445828588001/1838534681\ 072449362453453462508436*c_0110_6^19 + 30886579716554573143395163908297228693/1838534681072449362453453462\ 508436*c_0110_6^17 - 33855085179406545643972134043637759705/4596336\ 70268112340613363365627109*c_0110_6^15 - 26268028593886236262614242016645702932/4596336702681123406133633656\ 27109*c_0110_6^13 + 342501723644576103530546647479598861075/1838534\ 681072449362453453462508436*c_0110_6^11 - 82380906928396850257874643864574746109/1838534681072449362453453462\ 508436*c_0110_6^9 - 29254270713503419406893694481349662799/91926734\ 0536224681226726731254218*c_0110_6^7 - 4019250754282759577061816216335596804/45963367026811234061336336562\ 7109*c_0110_6^5 - 1146917428364925935493990492035992039/45963367026\ 8112340613363365627109*c_0110_6^3 - 305760406423767624958187759838043007/919267340536224681226726731254\ 218*c_0110_6, c_0011_0 - 1, c_0011_4 + 540067987062166666355578418950207/91926734053622468122672673\ 1254218*c_0110_6^24 + 4866439383033564224639414004395767/9192673405\ 36224681226726731254218*c_0110_6^22 + 2231630062388247524922713269001419/91926734053622468122672673125421\ 8*c_0110_6^20 - 35664709926284183913459082955444001/459633670268112\ 340613363365627109*c_0110_6^18 - 7168051200921637408455720055098313\ 7/919267340536224681226726731254218*c_0110_6^16 + 184105065077177851502014556828632097/459633670268112340613363365627\ 109*c_0110_6^14 + 231686994617758897678728827263789433/919267340536\ 224681226726731254218*c_0110_6^12 - 469316669685183009550003429269224465/459633670268112340613363365627\ 109*c_0110_6^10 + 325510584480321049105688285658168429/919267340536\ 224681226726731254218*c_0110_6^8 + 60043959703256092407671223797556591/4596336702681123406133633656271\ 09*c_0110_6^6 + 16903447519641480273818264326930672/459633670268112\ 340613363365627109*c_0110_6^4 + 4852674695097975294035797415696748/\ 459633670268112340613363365627109*c_0110_6^2 + 325779027457297545779036706747394/459633670268112340613363365627109\ , c_0101_0 - 25061904308681648111843890635913/919267340536224681226726731\ 254218*c_0110_6^25 - 159779951097535739861556413197167/919267340536\ 224681226726731254218*c_0110_6^23 + 534441954314581691923805677792143/919267340536224681226726731254218\ *c_0110_6^21 + 1999149253483824958348044585249954/45963367026811234\ 0613363365627109*c_0110_6^19 - 4907654624714324720241640547452477/9\ 19267340536224681226726731254218*c_0110_6^17 - 15436912086937936706235669012434664/4596336702681123406133633656271\ 09*c_0110_6^15 + 25705269334602904431688904712360529/91926734053622\ 4681226726731254218*c_0110_6^13 + 460467381036626745509624678454968\ 17/459633670268112340613363365627109*c_0110_6^11 - 105782907794200447910253671548784403/919267340536224681226726731254\ 218*c_0110_6^9 - 7288771981807953560113290369812004/459633670268112\ 340613363365627109*c_0110_6^7 + 14576874082690950964841338575072313\ /459633670268112340613363365627109*c_0110_6^5 + 2240414390247401955523538515802899/45963367026811234061336336562710\ 9*c_0110_6^3 + 877661762460261902222014042567373/459633670268112340\ 613363365627109*c_0110_6, c_0101_1 + 108124638889126435382722494455086/45963367026811234061336336\ 5627109*c_0110_6^24 + 935922440746097060913529943637039/45963367026\ 8112340613363365627109*c_0110_6^22 + 128912223254508952271043189439437/459633670268112340613363365627109\ *c_0110_6^20 - 14153486799343784385354886793669478/4596336702681123\ 40613363365627109*c_0110_6^18 - 8803250657605183829194609904262844/\ 459633670268112340613363365627109*c_0110_6^16 + 75820022636894561565882045897507297/4596336702681123406133633656271\ 09*c_0110_6^14 + 12931136602844927769018324513839339/45963367026811\ 2340613363365627109*c_0110_6^12 - 195452132917105489828426475829776\ 622/459633670268112340613363365627109*c_0110_6^10 + 152841970489747730059284051286436309/459633670268112340613363365627\ 109*c_0110_6^8 - 18298110677789843224288967390174000/45963367026811\ 2340613363365627109*c_0110_6^6 - 2825447532325044492386512355168971\ /459633670268112340613363365627109*c_0110_6^4 - 1524699166863351906433833478841973/45963367026811234061336336562710\ 9*c_0110_6^2 - 417862491080459623895373498706271/459633670268112340\ 613363365627109, c_0101_2 + 452405094239009075398812287144253/91926734053622468122672673\ 1254218*c_0110_6^24 + 2032287589130821494774140963618662/4596336702\ 68112340613363365627109*c_0110_6^22 + 1762903269115706555843689837345911/91926734053622468122672673125421\ 8*c_0110_6^20 - 59789042140128402655630425386713609/919267340536224\ 681226726731254218*c_0110_6^18 - 2923029974163609901735036424166000\ 9/459633670268112340613363365627109*c_0110_6^16 + 154901527682198149650348056518060737/459633670268112340613363365627\ 109*c_0110_6^14 + 185477514114189540467302610359703389/919267340536\ 224681226726731254218*c_0110_6^12 - 790222995960104434170998288103588127/919267340536224681226726731254\ 218*c_0110_6^10 + 148316899013648151469364180215149707/459633670268\ 112340613363365627109*c_0110_6^8 + 45864304539423702352624418906129792/4596336702681123406133633656271\ 09*c_0110_6^6 + 10354091461606187363203623785136168/459633670268112\ 340613363365627109*c_0110_6^4 + 4476587150542669601078230542547448/\ 459633670268112340613363365627109*c_0110_6^2 + 324868448893230465173555129567547/459633670268112340613363365627109\ , c_0101_3 + 3054004152281870983262283445743857/9192673405362246812267267\ 31254218*c_0110_6^25 + 13961862039600920814465414042516232/45963367\ 0268112340613363365627109*c_0110_6^23 + 16401726201669035901837988685944339/9192673405362246812267267312542\ 18*c_0110_6^21 - 400301270865774437437246561753285313/9192673405362\ 24681226726731254218*c_0110_6^19 - 228272211518859655676649708254419997/459633670268112340613363365627\ 109*c_0110_6^17 + 1006697475542891626919787683025044218/45963367026\ 8112340613363365627109*c_0110_6^15 + 1549803350789654110381591920583290779/91926734053622468122672673125\ 4218*c_0110_6^13 - 5086905684625408540275480488430558439/9192673405\ 36224681226726731254218*c_0110_6^11 + 626060975986138433295635881040394120/459633670268112340613363365627\ 109*c_0110_6^9 + 414889789515083033903503019837828870/4596336702681\ 12340613363365627109*c_0110_6^7 + 126129109870899459586665477034373\ 832/459633670268112340613363365627109*c_0110_6^5 + 36919360314960430770008005482862075/4596336702681123406133633656271\ 09*c_0110_6^3 + 4389188465552167149466359487455553/4596336702681123\ 40613363365627109*c_0110_6, c_0110_6^26 + 447/49*c_0110_6^24 + 254/49*c_0110_6^22 - 918/7*c_0110_6^20 - 7186/49*c_0110_6^18 + 32439/49*c_0110_6^16 + 24123/49*c_0110_6^14 - 82118/49*c_0110_6^12 + 21998/49*c_0110_6^10 + 12897/49*c_0110_6^8 + 74*c_0110_6^6 + 1056/49*c_0110_6^4 + 132/49*c_0110_6^2 - 2/49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB