Magma V2.19-8 Tue Aug 20 2013 16:16:55 on localhost [Seed = 1696922042] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1174 geometric_solution 5.04665694 oriented_manifold CS_known 0.0000000000000004 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 2.688069464149 1.140573750616 0 1 1 0 0132 3201 2310 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.573461923562 0.116630350118 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.133617436470 0.719080877968 5 2 6 5 0132 0132 0132 1023 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 -1 0 1 -1 0 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.260671386365 0.507473276768 6 5 5 2 1023 3201 2310 0132 0 0 0 0 0 0 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 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.260671386365 0.507473276768 3 4 4 3 0132 3201 2310 1023 0 0 0 0 0 0 1 -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 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 1.199113835333 1.559159722015 6 4 6 3 2031 1023 1302 0132 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 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.774620780329 1.002428747787 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : 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' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : 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' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], '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' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 168489571964766405647736369258926361/430219159703181787977216235372\ 93760*c_0101_5^13 - 4549658660285223264063055847174091/268886974814\ 4886174857601471080860*c_0101_5^12 - 307516563309006873152194035886734761/107554789925795446994304058843\ 23440*c_0101_5^11 + 508454202646500957122311500393724027/5377739496\ 289772349715202942161720*c_0101_5^10 - 13226976042125893714287573396364389899/4302191597031817879772162353\ 7293760*c_0101_5^9 + 6071810310089288887244891028284636721/21510957\ 985159089398860811768646880*c_0101_5^8 - 6571643721889133452332770337890045431/86043831940636357595443247074\ 58752*c_0101_5^7 - 76216793926948731107593455277818514389/430219159\ 70318178797721623537293760*c_0101_5^6 - 31372744060345667107393418442451861059/4302191597031817879772162353\ 7293760*c_0101_5^5 - 57454224058148670498361408710383240221/1075547\ 8992579544699430405884323440*c_0101_5^4 + 10516118523273812466865564066662932991/1075547899257954469943040588\ 4323440*c_0101_5^3 + 4281217386740098618175421628581688263/26888697\ 48144886174857601471080860*c_0101_5^2 + 7000721795359210217111449087187252167/26888697481448861748576014710\ 80860*c_0101_5 + 696764667779149902655908698890148528/6722174370362\ 21543714400367770215, c_0011_0 - 1, c_0011_2 + 157727637939778661714175068085/12616397645254597887894904263\ 136*c_0101_5^13 - 12366085681738724571200819817/1577049705656824735\ 986863032892*c_0101_5^12 - 35449025993457033558598307856/3942624264\ 14206183996715758223*c_0101_5^11 + 505188323556879735728797046461/1577049705656824735986863032892*c_01\ 01_5^10 - 13140540022496198076768721209487/126163976452545978878949\ 04263136*c_0101_5^9 + 6869653691975364814185267225089/6308198822627\ 298943947452131568*c_0101_5^8 - 33128173530689410709156203918035/12\ 616397645254597887894904263136*c_0101_5^7 - 64930909892310871276801741068257/12616397645254597887894904263136*c\ _0101_5^6 - 18078542484796064026395181540891/1261639764525459788789\ 4904263136*c_0101_5^5 - 13113680315593817485525965975013/7885248528\ 28412367993431516446*c_0101_5^4 + 2259435908648651561615723495186/3\ 94262426414206183996715758223*c_0101_5^3 + 2796474632161472394996054632045/788524852828412367993431516446*c_01\ 01_5^2 + 3003660963689017085966219923909/39426242641420618399671575\ 8223*c_0101_5 + 508524238903649349841473102454/39426242641420618399\ 6715758223, c_0011_4 - 17330655621007081957149272763/126163976452545978878949042631\ 36*c_0101_5^13 + 6591061782891018877217551971/630819882262729894394\ 7452131568*c_0101_5^12 + 32628549352485672762869568965/315409941131\ 3649471973726065784*c_0101_5^11 - 58636589644158806091030872951/157\ 7049705656824735986863032892*c_0101_5^10 + 1461520678349165599734648657825/12616397645254597887894904263136*c_\ 0101_5^9 - 184002501366094765497786671425/1577049705656824735986863\ 032892*c_0101_5^8 + 3039581660062667954063856651037/126163976452545\ 97887894904263136*c_0101_5^7 + 7564607324673512655019901623029/1261\ 6397645254597887894904263136*c_0101_5^6 - 769823852635224980674506504237/12616397645254597887894904263136*c_0\ 101_5^5 + 10045385520551902598291672760533/630819882262729894394745\ 2131568*c_0101_5^4 - 3223667834545449931738928195419/31540994113136\ 49471973726065784*c_0101_5^3 - 424998018054098962581955386714/39426\ 2426414206183996715758223*c_0101_5^2 - 541540565779258433955531575203/788524852828412367993431516446*c_010\ 1_5 + 4515820170021529584314008645/394262426414206183996715758223, c_0101_0 - 12399907945406190177498740685/630819882262729894394745213156\ 8*c_0101_5^13 - 6279671628544815496316782095/6308198822627298943947\ 452131568*c_0101_5^12 + 6635880661184688369538947500/39426242641420\ 6183996715758223*c_0101_5^11 - 13723402026046350979374065936/394262\ 426414206183996715758223*c_0101_5^10 + 609407381000042810509147949063/6308198822627298943947452131568*c_01\ 01_5^9 + 288810327756390371352408928531/630819882262729894394745213\ 1568*c_0101_5^8 + 792058862296637532998114572221/630819882262729894\ 3947452131568*c_0101_5^7 + 4245975629524882394804437797929/31540994\ 11313649471973726065784*c_0101_5^6 + 2930267250905507510112335813919/3154099411313649471973726065784*c_0\ 101_5^5 + 14212398751429003211685220482441/630819882262729894394745\ 2131568*c_0101_5^4 + 1427501314527900978547440872453/78852485282841\ 2367993431516446*c_0101_5^3 - 1362657016691422584115410322264/39426\ 2426414206183996715758223*c_0101_5^2 - 1321225853913339284176840100559/788524852828412367993431516446*c_01\ 01_5 - 425091182658532120756986682966/39426242641420618399671575822\ 3, c_0101_1 - 84108464139061565158462292349/630819882262729894394745213156\ 8*c_0101_5^13 + 60707207130435688717697480961/630819882262729894394\ 7452131568*c_0101_5^12 + 294841964759221332857730342551/31540994113\ 13649471973726065784*c_0101_5^11 - 274171773570457025391280103855/788524852828412367993431516446*c_010\ 1_5^10 + 7283843464557400532809579279815/63081988226272989439474521\ 31568*c_0101_5^9 - 8389493239915770161378865247437/6308198822627298\ 943947452131568*c_0101_5^8 + 19513623809650725105861328263923/63081\ 98822627298943947452131568*c_0101_5^7 + 15833277761798436560378819439499/3154099411313649471973726065784*c_\ 0101_5^6 + 1938759548014685364964326680023/157704970565682473598686\ 3032892*c_0101_5^5 + 115222446404941130030499981166171/630819882262\ 7298943947452131568*c_0101_5^4 - 27402787220255781112564057344625/3\ 154099411313649471973726065784*c_0101_5^3 - 1283811802396666833863062753523/788524852828412367993431516446*c_01\ 01_5^2 - 6612691179021933177407818300195/78852485282841236799343151\ 6446*c_0101_5 - 523628202411605427696385927323/39426242641420618399\ 6715758223, c_0101_3 + 8583163336180295176060549269/6308198822627298943947452131568\ *c_0101_5^13 - 11076960605921597488632751341/6308198822627298943947\ 452131568*c_0101_5^12 - 14789999373585765579192633405/1577049705656\ 824735986863032892*c_0101_5^11 + 65484428940428524044391911495/1577\ 049705656824735986863032892*c_0101_5^10 - 855934369967051260758546837959/6308198822627298943947452131568*c_01\ 01_5^9 + 1196444150003255749397759113201/63081988226272989439474521\ 31568*c_0101_5^8 - 2199986421195889822463260396977/6308198822627298\ 943947452131568*c_0101_5^7 - 1274427039408440577801843971473/315409\ 9411313649471973726065784*c_0101_5^6 + 973566466657253203888237081777/3154099411313649471973726065784*c_01\ 01_5^5 - 10589162319104377055749228086805/6308198822627298943947452\ 131568*c_0101_5^4 + 692744496826303503297849138189/3942624264142061\ 83996715758223*c_0101_5^3 + 540536498934842052005756542925/15770497\ 05656824735986863032892*c_0101_5^2 + 140094435114709700753725049756/394262426414206183996715758223*c_010\ 1_5 - 89630359485588621267332650757/394262426414206183996715758223, c_0101_5^14 - 2/3*c_0101_5^13 - 64/9*c_0101_5^12 + 232/9*c_0101_5^11 - 763/9*c_0101_5^10 + 836/9*c_0101_5^9 - 1979/9*c_0101_5^8 - 3571/9*c_0101_5^7 - 913/9*c_0101_5^6 - 12158/9*c_0101_5^5 + 5104/9*c_0101_5^4 + 688/3*c_0101_5^3 + 5792/9*c_0101_5^2 + 1024/9*c_0101_5 - 64/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB