On Tuesday, 11 September 2012 20:03:43 UTC+8, John Cremona wrote: > > 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? >
Yes, it's great, but I would rather like to see it packaged as invariants of a representation of SL(2,C), not as invariants of a binary form. I CC this to sage-combinat, where they might have better ideas about where this should fit... (and they actually might have some stuff in this direction already) > John > > On 11 September 2012 12:55, Volker Braun <[email protected] <javascript:>> > 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]<javascript:>. > > > To unsubscribe from this group, send email to > > [email protected] <javascript:>. > > 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.
