#15817: Bug in computation of moliens series
-------------------------+-------------------------------------------------
       Reporter:         |        Owner:
  nborie                 |       Status:  needs_review
           Type:         |    Milestone:  sage-6.4
  defect                 |   Resolution:
       Priority:         |    Merged in:
  critical               |    Reviewers:
      Component:  group  |  Work issues:
  theory                 |       Commit:
       Keywords:         |  6149bbdc55692816d9df2308d0c02d2028f3a37f
  moliens series         |     Stopgaps:
        Authors:         |
  Frédéric Chapoton      |
Report Upstream:  N/A    |
         Branch:         |
  u/chapoton/15817       |
   Dependencies:         |
-------------------------+-------------------------------------------------

Comment (by nborie):

 Hello,

 I am terribly sorry but I REALLY NEED more sage days to review that. For
 the math review, I am OK with the fix but my computer is in a state
 (severals gcc version in concurrence...) in which I do not manage to build
 sage from source. I manage to upgrade a Sage 6.2.beta7 to Sage 6.3 but a
 git trac checkout 15817 make this upgrade broken... I need to visit
 Florent and Nicolas to get help with git and sage (or perhaps I need to
 reinstall a clear Linux system...). Sorry.

 Here is 3 typical tests (quotient of Moliens series by the Hilbert series
 of the ring of symmetric polynomials) which I engage myself to be true
 math results :

 {{{
 sage: load("invariants.py")
 sage: G = PermutationGroup([[(1,2,3)], [(5,6)]])
 sage: secondary_enumeration_polynomial(G)
 q^14 + 2*q^13 + 4*q^12 + 7*q^11 + 10*q^10 + 13*q^9 + 15*q^8 + 16*q^7 +
 15*q^6 + 13*q^5 + 10*q^4 + 7*q^3 + 4*q^2 + 2*q + 1
 sage: G = PermutationGroup([[(1,2,3)], [(2,3,4)], [(5,6)]])
 sage: secondary_enumeration_polynomial(G)
 q^14 + q^13 + 2*q^12 + 2*q^11 + 3*q^10 + 2*q^9 + 3*q^8 + 2*q^7 + 3*q^6 +
 2*q^5 + 3*q^4 + 2*q^3 + 2*q^2 + q + 1
 sage: G = PermutationGroup([[(5,)]])
 sage: secondary_enumeration_polynomial(G)
 q^10 + 4*q^9 + 9*q^8 + 15*q^7 + 20*q^6 + 22*q^5 + 20*q^4 + 15*q^3 + 9*q^2
 + 4*q + 1
 }}}

 I will stay around but if someone can REALLY try the branch on a working
 sage install, it will be better.

--
Ticket URL: <http://trac.sagemath.org/ticket/15817#comment:9>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to