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 <vbrau...@gmail.com <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 > > sage-...@googlegroups.com<javascript:>. > > > To unsubscribe from this group, send email to > > sage-devel+...@googlegroups.com <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-combinat-devel" group. To view this discussion on the web visit https://groups.google.com/d/msg/sage-combinat-devel/-/RN1FfSvz5GAJ. To post to this group, send email to sage-combinat-devel@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.
