[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-math] (no subject)
From: |
Fabio S. |
Subject: |
[Axiom-math] (no subject) |
Date: |
Thu, 23 Oct 2014 13:45:19 +0200 (CEST) |
User-agent: |
Alpine 2.10 (DEB 1266 2009-07-14) |
Consider the following polynomial
G := (y-(a*u+b*v))*(y-(a*v+b*u))
It is symmetric both in (a,b) and (u,v). I would like to espress it as a
polynomial in Z[s,t,u,v,y]
where s=a+b and t=ab are the symmetric elementary funcitions on a and b
Is it possible in axiom?
In other words, I am looking for a command which having G as input,
returns
y^2 - s*(u+v)*y + (s^2-2*t)u*v + t*(u^2+v^2)
Thanks
Fabio
- [Axiom-math] (no subject),
Fabio S. <=