pade επιστρέφει ένα ρητό κλάσμα P/Q τέτοιο ώστε
degree(P)<p και P/Q=f (mod xn+1 ) ή P/Q=f (mod N ).
Στην πρώτη περίπτωση, σημαίνει ότι P/Q και f έχουν το ίδιο ανάπτυγμα
Taylor στο 0 μέχρι την τάξη n.
Είσοδος :
ή :
^6,3)Έξοδος :
^2+24*x+60)/(-x^3+9*x^2-36*x+60)Για να επαληθεύσετε εισάγετε :
^2+24*x+60)/(-x^3+9*x^2-36*x+60))Έξοδος :
^2+1/6*x^3+1/24*x^4+1/120*x^5+x^6*order_size(x)
το οποίο είναι το ανάπτυγμα 5-ης τάξης της
exp(x) στο x=0.
Είσοδος :
^15+x+1)/(x^12+1),x,12,3)ή :
^15+x+1)/(x^12+1),x,x^13,3)Έξοδος :
Είσοδος :
^15+x+1)/(x^12+1),x,14,4)ή :
^15+x+1)/(x^12+1),x,x^15,4)Έξοδος :
^3-1)/(-x^11+x^10-x^9+x^8-x^7+x^6-x^5+x^4- x^3-x^2+x-1)Για να επαληθεύσετε εισάγετε :
Έξοδος :
^12-x^13+2x^15+x^16*order_size(x)έπειτα εισάγετε :
^15+x+1)/(x^12+1),x=0,15)Έξοδος :
^12-x^13+x^15+x^16*order_size(x)Αυτές οι 2 παραστάσεις έχουν το ίδιο ανάπτυγμα 14ης τάξης στο x=0.