Magma V2.19-8 Tue Aug 20 2013 16:17:02 on localhost [Seed = 3751691021] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1280 geometric_solution 5.17441219 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 1.501497242810 0.285557636715 0 2 2 0 3201 0132 1023 0132 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 -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 1.076573995019 0.371479850959 3 1 1 4 0132 0132 1023 0132 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 0 0 0 -1 0 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 0 0.652682094061 0.339580942240 2 5 6 4 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.567111516929 0.372513233213 6 3 2 5 1023 1302 0132 1023 0 0 0 0 0 0 -1 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 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.567111516929 0.372513233213 5 3 5 4 2031 0132 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.997638425335 1.182603305135 6 4 6 3 2031 1023 1302 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 -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.683779664955 0.508801030182 ==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_2_6' : d['1'], 's_1_6' : 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' : 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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0110_4'], 'c_1010_5' : d['c_0110_4'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], '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_0101_0, c_0101_2, c_0101_3, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 55749628302867150587958638526835/17504746226026862995400398526816*c\ _0110_4^13 + 713997688540247239917596837892883/87523731130134314977\ 00199263408*c_0110_4^12 - 41538578978636609172909476737145687/17504\ 746226026862995400398526816*c_0110_4^11 - 250936783178515506949482142436277487/175047462260268629954003985268\ 16*c_0110_4^10 - 331239555339580653757773002578924483/1750474622602\ 6862995400398526816*c_0110_4^9 + 7415213407382417502241889327799708\ 11/17504746226026862995400398526816*c_0110_4^8 + 1155091039453872463377153264496534445/87523731130134314977001992634\ 08*c_0110_4^7 + 1212877210703106588716585474879466611/1750474622602\ 6862995400398526816*c_0110_4^6 - 4692209841736436541786217963408647\ 43/4376186556506715748850099631704*c_0110_4^5 - 2047095340664571555061465735669036715/17504746226026862995400398526\ 816*c_0110_4^4 + 85488258442201559804034447695568785/17504746226026\ 862995400398526816*c_0110_4^3 + 29105503570328683934302408578928667\ 5/8752373113013431497700199263408*c_0110_4^2 + 26669621663545461208238439312241279/8752373113013431497700199263408\ *c_0110_4 - 2490510479124325348998450104134443/10940466391266789372\ 12524907926, c_0011_0 - 1, c_0011_1 - 49443565415313216723840573311/175047462260268629954003985268\ 16*c_0110_4^13 + 166137071394467656425229460327/2188093278253357874\ 425049815852*c_0110_4^12 - 38500196442324975068723968667149/1750474\ 6226026862995400398526816*c_0110_4^11 - 174400936836070434017791911072537/17504746226026862995400398526816*\ c_0110_4^10 - 55034906733396917355132710925847/17504746226026862995\ 400398526816*c_0110_4^9 + 818061404569282213233830548706111/1750474\ 6226026862995400398526816*c_0110_4^8 + 540233337604350301756853883677377/8752373113013431497700199263408*c\ _0110_4^7 - 651783772114135856358833870709503/175047462260268629954\ 00398526816*c_0110_4^6 - 760376030188245045120185869027321/87523731\ 13013431497700199263408*c_0110_4^5 + 116647510905681102302153524279555/17504746226026862995400398526816*\ c_0110_4^4 + 675552531279089324939575172352211/17504746226026862995\ 400398526816*c_0110_4^3 - 21831869530747281093925730136617/87523731\ 13013431497700199263408*c_0110_4^2 - 2289422148989165056541251195792/547023319563339468606262453963*c_01\ 10_4 + 580048310839842891130014271307/54702331956333946860626245396\ 3, c_0011_4 + 21146271572187923064175031607/175047462260268629954003985268\ 16*c_0110_4^13 - 62785763677408907753967546345/21880932782533578744\ 25049815852*c_0110_4^12 + 14708173715978730359450098778717/17504746\ 226026862995400398526816*c_0110_4^11 + 125562838835509316650045071615169/17504746226026862995400398526816*\ c_0110_4^10 + 272355830225141632177660847287695/1750474622602686299\ 5400398526816*c_0110_4^9 - 193947695774910203682965719897519/175047\ 46226026862995400398526816*c_0110_4^8 - 740537300599954813708366108326645/8752373113013431497700199263408*c\ _0110_4^7 - 1466661204167960462924618014113081/17504746226026862995\ 400398526816*c_0110_4^6 + 433418668103349122620415873014141/8752373\ 113013431497700199263408*c_0110_4^5 + 1872530282178005791496153953124781/17504746226026862995400398526816\ *c_0110_4^4 + 206530042262742561164333633709581/1750474622602686299\ 5400398526816*c_0110_4^3 - 267601157022207689521176354761951/875237\ 3113013431497700199263408*c_0110_4^2 - 3570599775942524315742871915763/1094046639126678937212524907926*c_0\ 110_4 + 1297831329006249074072613766683/547023319563339468606262453\ 963, c_0101_0 - 339005081555450077718290377659/35009492452053725990800797053\ 632*c_0110_4^13 + 4362124636276785370349495812351/17504746226026862\ 995400398526816*c_0110_4^12 - 253683896957635235561211483448753/350\ 09492452053725990800797053632*c_0110_4^11 - 1494195356522087229178592244124695/35009492452053725990800797053632\ *c_0110_4^10 - 1867997942338966754429505537203517/35009492452053725\ 990800797053632*c_0110_4^9 + 4577616110540794011309832878615641/350\ 09492452053725990800797053632*c_0110_4^8 + 839151573683337314278548907519875/2188093278253357874425049815852*c\ _0110_4^7 + 6444830850633181396040948373776937/35009492452053725990\ 800797053632*c_0110_4^6 - 1396643148185228454815305152517491/437618\ 6556506715748850099631704*c_0110_4^5 - 11443926987435386138831527550915745/3500949245205372599080079705363\ 2*c_0110_4^4 + 675660329735191861166112479921969/350094924520537259\ 90800797053632*c_0110_4^3 + 415643917384358546589380444577559/43761\ 86556506715748850099631704*c_0110_4^2 + 17371939301790254297529229879179/2188093278253357874425049815852*c_\ 0110_4 - 4372739385865369468815263647133/54702331956333946860626245\ 3963, c_0101_2 - 26072922742375320347553072539/875237311301343149770019926340\ 8*c_0110_4^13 + 659930896767181940485003688873/87523731130134314977\ 00199263408*c_0110_4^12 - 19217789665479188703951696236915/87523731\ 13013431497700199263408*c_0110_4^11 - 61709090339214140541699021993879/4376186556506715748850099631704*c_\ 0110_4^10 - 92871688767179441909331339276673/4376186556506715748850\ 099631704*c_0110_4^9 + 162165135059996980913398624873717/4376186556\ 506715748850099631704*c_0110_4^8 + 1204737354235231698738914221651459/8752373113013431497700199263408*\ c_0110_4^7 + 798522000899193838188736297985661/87523731130134314977\ 00199263408*c_0110_4^6 - 895955767512956187879330625319729/87523731\ 13013431497700199263408*c_0110_4^5 - 1229887412512519679505861465841237/8752373113013431497700199263408*\ c_0110_4^4 - 17992727522575225002961411132299/437618655650671574885\ 0099631704*c_0110_4^3 + 386674408560579911839748580022635/875237311\ 3013431497700199263408*c_0110_4^2 + 12036527978386450987573071162887/2188093278253357874425049815852*c_\ 0110_4 - 2307162596023372987263091587860/54702331956333946860626245\ 3963, c_0101_3 - 21600652307408866420181980487/175047462260268629954003985268\ 16*c_0110_4^13 + 143094936148305185594420722241/4376186556506715748\ 850099631704*c_0110_4^12 - 16599071259117993828751804962157/1750474\ 6226026862995400398526816*c_0110_4^11 - 82594410086211473097410827614717/17504746226026862995400398526816*c\ _0110_4^10 - 54266837750700577221694000212531/175047462260268629954\ 00398526816*c_0110_4^9 + 337388921835580040578403226695579/17504746\ 226026862995400398526816*c_0110_4^8 + 291346425885189229660591846778015/8752373113013431497700199263408*c\ _0110_4^7 - 87102978565968650149449928325431/1750474622602686299540\ 0398526816*c_0110_4^6 - 314513066433674254930696754672355/875237311\ 3013431497700199263408*c_0110_4^5 - 72788122390605345168704820530853/17504746226026862995400398526816*c\ _0110_4^4 + 200718718221449803846902387183167/175047462260268629954\ 00398526816*c_0110_4^3 - 38732167235045319345908955895427/875237311\ 3013431497700199263408*c_0110_4^2 - 1362582262412284031548699189215/547023319563339468606262453963*c_01\ 10_4 + 616467024414172102995838014521/54702331956333946860626245396\ 3, c_0110_4^14 - 26*c_0110_4^13 + 755*c_0110_4^12 + 4213*c_0110_4^11 + 4231*c_0110_4^10 - 15467*c_0110_4^9 - 36224*c_0110_4^8 - 6283*c_0110_4^7 + 41144*c_0110_4^6 + 23811*c_0110_4^5 - 14675*c_0110_4^4 - 9544*c_0110_4^3 + 2768*c_0110_4^2 + 1024*c_0110_4 - 256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB