[Mathlib-develop] Re: Symbolic calculations

[Alejandro T. <ate...@ho...>]

Hi Mark and Stefan!!

> > Actually I meant finding factors of polynomials
> > i.e. x^2 + 2*x + 1 => (x+1)^2
> >
> > Though I'll check the link out since the the current implementation of
> > numerical factorization is pretty slow.
> Sorry, I've no clue at all. I've never done anything with symbolic
> stuff.

Me too, but I think we can give us hints to a proper sollution, as we have
done before ;-)

Finding the roots of polynomials, I have read something about the
Tartaglia's triangle, Pascal's or Newton's one, but I don't remeber now.

You can see a plenty tutorial about it at
http://www.krysstal.com/binomial.html

But this works only for binomial power of expressions like (x + y)^z where
x,y are integers and z is a natural number.

If we want general root finding, including complex roots, we should search a
bit more.

Regards,
Alejandro.