Diofant

The version adds the new representation for elements of the [AlgebraicField](https://diofant.readthedocs.io/en/v0.10.0/modules/domains.html#diofant.domains.AlgebraicField) domain, which enables exact roots isolation (by the Collins-Krandick algorithm, which was trivially extended to support real algebraic fields and their gaussian extensions) in case of polynomials with algebraic coefficients:
python
In [1]: RootOf(x**5 - sqrt(2)*x + I, 4)
Out[1]:
⎛ 5 ___ ⎞
RootOf⎝x - ╲╱ 2 ⋅x + ⅈ, 4⎠

In [2]: _.evalf()

[](https://doi.org/10.5281/zenodo.1183537)

See [release notes](https://diofant.readthedocs.io/en/latest/release/notes-0.9.html).

[Diofant-0.9.0.tar.gz](https://github.com/diofant/diofant/files/1751502/Diofant-0.9.0.tar.gz)
[diofant-docs-html-0.9.0.zip](https://github.com/diofant/diofant/files/1751568/diofant-docs-html-0.9.0.zip)
[diofant-docs-0.9.0.pdf](https://github.com/diofant/diofant/files/1751532/diofant-docs-0.9.0.pdf)

[](https://doi.org/10.5281/zenodo.165163)

This is the first public release of Diofant. See [release notes](https://diofant.readthedocs.io/en/latest/release/notes-0.8.html).

[Diofant-0.8.0.tar.gz](https://github.com/diofant/diofant/files/576007/Diofant-0.8.0.tar.gz)
[diofant-docs-html-0.8.0.zip](https://github.com/diofant/diofant/files/575730/diofant-docs-html-0.8.0.zip)
[diofant-docs-0.8.0.pdf](https://github.com/diofant/diofant/files/575732/diofant-docs-0.8.0.pdf)