On Tuesday, September 11, 2012 1:03:43 PM UTC+1, John Cremona wrote:

> Volker, will you also include what I call seminvariants? 


Whats a semi-invariant to you? The leading term of a covariant?

sage: R.<a0, a1, a2, a3, a4, x0, x1> = QQ[]
sage: quadric = 
invariant_theory.binary_quartic(a0*x1^4+4*a1*x0*x1^3+6*a2*x0^2*x1^2+4*a3*x0^3*x1+a4*x0^4,
 
x0, x1)
sage: quadric.g_covariant().lt()
a3^2*x0^4

I don't think they should be methods of polynomials; Is x a linear 
homogeneous or quadratic inhomogeneous term?

-- 
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.


Reply via email to