construct two differential rational canonical forms of a rational function
rational function of x
Let F be a rational function of x over a field K of characteristic 0. The RationalCanonicalForm[i](F,x) calling sequence constructs the ith differential rational canonical forms for F, i=1,2.
If the RationalCanonicalForm command is called without an index, the first differential rational canonical form is constructed.
The output is a sequence of 2 elements R,V, called RationalCanonicalForm(F), where R,V are rational functions over K such that
If the third optional argument, which is the name 'polyform', is given, the output is a sequence of 4 elements a,b,c,d, where a,b,c,d are polynomials over K, b,c,d monic such that R=ab, V=cd.
The use of RationalCanonicalForm is for testing similarity of two given hyperexponential functions. For RationalCanonicalForm, the polynomials b,c,d are also pairwise relatively prime. RationalCanonicalForm is used in a reduction algorithm for hyperexponential functions.
Geddes, Keith; Le, Ha; and Li, Ziming. "Differential rational canonical forms and a reduction algorithm for hyperexponential functions." Proceedings of ISSAC 2004. ACM Press, (2004): 183-190.
Download Help Document
What kind of issue would you like to report? (Optional)