hiro/arb
1
0
Fork 0
mirror of https://github.com/vale981/arb synced 2025-03-05 17:31:38 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

poly_roots example program: make real roots exactly real

Browse source
This commit is contained in:
Fredrik Johansson 2016-11-21 11:40:50 +01:00
parent dfc7965898
commit 8567d197d3
1 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
examples/poly_roots.c
View file

@ -47,8 +47,15 @@ poly_roots(const fmpz_poly_t poly,
flint_printf("%wd isolated roots | ", isolated);
TIMEIT_ONCE_STOP
if (isolated == deg && check_accuracy(roots, deg, target_prec))
if (isolated == deg && check_accuracy(roots, deg, target_prec) &&
acb_poly_validate_real_roots(roots, cpoly, prec))
{
for (i = 0; i < deg; i++)
{
if (arb_contains_zero(acb_imagref(roots + i)))
arb_zero(acb_imagref(roots + i));
}
flint_printf("done!\n");
break;
}