I think this is a great idea. Volker's invariants are maps from the space of binary forms over some ring R into the coefficient ring, for example the discriminant will always be one. So I would have thought to put them into the polynomials code (note that is_homogeneous() is defined in rings/polynomial/multi_polynomial_libsingular.pyx).
Volker, will you also include what I call seminvariants? John On 11 September 2012 12:55, Volker Braun <[email protected]> wrote: > By "classical invariant theory", I mean invariant under the SL(n,C) action > and not just under a discrete subgroup. I believe the group theory stuff > handles only the finite group case, right? > > On Tuesday, September 11, 2012 12:40:01 PM UTC+1, David Joyner wrote: >> >> There are some invariant theory commands that Simon King and I added into >> one of the group theory modules. Maybe you are doing something different? > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > Visit this group at http://groups.google.com/group/sage-devel?hl=en. > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel?hl=en.
