#15817: Bug in computation of moliens series
----------------------------------+------------------------
       Reporter:  nborie          |        Owner:
           Type:  defect          |       Status:  new
       Priority:  critical        |    Milestone:  sage-6.4
      Component:  group theory    |   Resolution:
       Keywords:  moliens series  |    Merged in:
        Authors:                  |    Reviewers:
Report Upstream:  N/A             |  Work issues:
         Branch:                  |       Commit:
   Dependencies:                  |     Stopgaps:
----------------------------------+------------------------

Comment (by nborie):

 Thanks you for this pointer, that's probably a nice first point to
 investigate.

 I also admit on my side that I am not on the way to fix that. Also, this
 ticket is not a defect on my point of view (Yeah, I wrongly opened it...)
 since :
 * One can re-status this ticket to enhancement since one can want to add
 the Moliens series for non transitive group. That would constitute a new
 enhancement.
 * The documentation (when you write it before opening ticket, as I should
 do!!!!!!!) tells clearly :
 {{{
 Returns the Molien series of a transitive permutation group.
 }}}
 So, the only things one can do to prevent dummy user to open ticket is to
 add a check that make the call explicitly crashing. I worngly opened this
 ticket since that works :
 {{{
 sage: G = PermutationGroup([[(1,2)],[(3,4)]])
 sage: G.molien_series()
 1/(-x^5 + x^4 + 2*x^3 - 2*x^2 - x + 1)
 }}}
 Perhaps a check making that would be fine :
 {{{
 sage: G = PermutationGroup([[(1,2)],[(3,4)]])
 sage: G.molien_series()
 Traceback :
 ...
 Valuerror : G = (bla bla bla) must be a transitive group. (please
 implement me if you can for the general case ...)
 }}}

--
Ticket URL: <http://trac.sagemath.org/ticket/15817#comment:6>
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