Ograničenost tačnosti računa ograničava tačnost dobijenog rezultata, koliko god ti iteracija primenio.
Ako bi da radiš, mogu ti reći algoritam kojim dobijaš rezultat u garantovanom opsegu. Dakle, moguće je napisati program sa sledećim svojstvima:
1. Sve ulazne veličine su celi brojevi i kompleksni brojevi sa racionalnim realnim i imaginarnim delom.
2. Izlazne veličine su celi brojevi ili kompleksni brojevi dati preko intervala kome pripada realni ili imaginarni deo. Pripadanje realnog, odnosno imaginarnog dela rezultujućem intervalu je garantovano.
3. Program može prikazati rezultate u bilo kojoj željenoj tačnosti, to jest intervali kojima pripadaju realni, odnosno imaginarni deo izlazne veličine mogu biti uski onoliko koliko korisnik to traži.
4. Na ulazu se zadaju stepen polinoma i njegovi koeficijenti kao kompleksni brojevi.
5. Na izlazu se dobijaju sve različite kompleksne nule polinoma, pri čemu program za svaku ispisuje i njenu višestrukost, a ako je potrebno, neke nule može prikazati u većoj tačnosti da bi se razlikovale unutar te tačnosti. Drugim rečima, svi izlazni kompleksni zatvoreni pravougaonici su disjunktni.
6. Za pravu {x+iy : Ax+By=C} u kompleksnoj ravni, sa datim racionalnim koeficijentima A,B i C, (pri čemu ne može biti A=B=0) se može pouzdano utvrditi koje joj nule pripadaju, ako ima takvih. Posebno, može se dobiti tačan broj svih realnih nula polinoma sa
kompleksnim koeficijentima.
Eto, to je ostvarivo.
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.