Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

This has been crossed referenced here as well in case a software developer understands this language.

I am using Macaulay2 and does anyone know how to read the following?

Example 1:

-- [gb]{1}(6)mmmmmm{2}(2)mm{3}(2)mm{4}(1)o{5}(1)m{6}(2)oo

-- number of (nonminimal) gb elements = 11

-- number of monomials = 59

-- ncalls = 1

-- nloop = 24

-- nsaved = 0

Example 2:

-- [gb]{1}(6)mmmmmm{2}(3)mmm{3}(2)mm{4}(4)mmmo{5}(6)mooooo{6}(4)oooo{7}(1)o

-- number of (nonminimal) gb elements = 15

-- number of monomials = 94

-- ncalls = 11

-- nloop = 190

-- nsaved = 0

I do not understand the chain of m's and o's and the curly bracket with a number in it, for example, {2}, and the round bracket (2). Here is what the chain of those symbols is supposed to mean, but I am not a computer programmer so it is somewhat difficult to interpret the above information.

For example: do I read this $$ [gb]\{1\}(6)\mbox{mmmmmm}\{2\}(3)\mbox{mmm}\{3\}(2)\mbox{mm}\{4\}(4)\mbox{mmmo}\{5\}(6)\mbox{mooooo}\{6\}(4)\mbox{oooo}\{7\}(1)\mbox{o} $$ from left to right, or should we interpret each set $$\{1\}(6)\mbox{mmmmmm}$$ or $$(6) \mbox{mmmmmm} \{2\}$$ separately?

Thanks for your time.

share|improve this question

1 Answer 1

up vote 0 down vote accepted

Actually I figured it out. Consider Example 1:

$$ \mbox{[gb]{1}(6)mmmmmm{2}(2)mm{3}(2)mm{4}(1)o{5}(1)m{6}(2)oo}. $$

$\mbox{{1}(6)mmmmmm}\;$ means you started out with 6 polynomials of degree 1 and you have to keep all 6 of them in the Groebner basis (gb).

$\mbox{{2}(2)mm}\;$ means you have 2 polynomials of degree 2 in your gb and you have to keep both polynomials in gb because of the two m's because they do not reduce to zero.

$\mbox{{3}(2)mm}\;$ means you have 2 polynomials of degree 3 and you have to keep both of them in your gb.

$\mbox{{4}(1)o}\;$ means you have 1 polynomial of degree 4 but o means it reduced to zero so you can get rid of it from your gb.

$\mbox{{5}(1)m}\;$ means you have 1 polynomial of degree 5 but you have to keep it in your gb.

$\mbox{{6}(2)oo}\;$ means you ahve 2 polynomials of degree 6 in your gb but they both reduce to zero so you can get rid of them.

Thus, we have $6+ 2+ 2+ 0+1+0 = 11$ $=$ total number of generators in gb. The reason why we are throwing away some of the polynomials is because Macaulay2 automatically produces a minimal Groebner basis. So it throws out extraneous basis elements.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.