I've just read this mathematical puzzle :
If α, β, γ are the roots of the cubical polynomial x³ + 5x - 2, what is the value of α⁴+β⁴+γ⁴?
apparently it is a direct application of the Newton-Girard identities .
do we have them in mathcomp?
I don't think so.
Last updated: Feb 08 2023 at 08:02 UTC