שינויים

תהי פונקציה מהצורה <math>f(x)=\frac{p(x)}{q(x)}</math> כאשר p,q פולינומים. נתאר אלגוריתם לחישוב <math>\int f(x)dx</math> כאשר נקודת הכשל האפשרית היחידה באלגוריתם היא חוסר היכולת לפרק את הפולינום q לגורמים אי פריקים.

'''פרט למצב זה האלגוריתם יביא בהכרח לפתרון הבעייה.עובדה'''. כל פולינום אפשר לפרק מעל הממשיים לגורמים ממעלה 1 ו-2 (עובדה זו נובעת מכך ששדה המספרים הממשיים הוא [http://he.wikipedia.org/wiki/%D7%A9%D7%93%D7%94_%D7%A1%D7%92%D7%95%D7%A8_%D7%9E%D7%9E%D7%A9%D7%99%D7%AA שדה סגור ממשית]. איננו מטפלים כאן בבעיה האלגוריתמית של פירוק פולינום לגורמים.