On Tue, Sep 11, 2012 at 7:32 AM, Volker Braun <[email protected]> wrote: > I need some classical invariant theory and didn't find the formulae in Sage, > so I'm adding it. My plan is to have a single invariant_theory factory > object in the global namespace: > > sage: R.<x,y,z> = QQ[] > sage: cubic = invariant_theory.ternary_cubic(x^3+y^3+z^3) > sage: cubic.T_invariant() > 1 > > sage: R.<x,y,t> = GF(7)[] > sage: quartic = invariant_theory.binary_quartic(x^4+y^4+t*x^2*y^2, > [x,y]) > sage: quartic.EisensteinD() > 3*t^2 + 1 > sage: quartic.h_covariant() > 2*x^5*y*t^2 - 2*x*y^5*t^2 - x^5*y + x*y^5 > > I'm unsure of where to put the code; Tentatively I've stuffed it into > sage/schemes/invariant_theory.py but I'm open for suggestions. Thoughts?
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.
