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.