NAG Library Routine Document
e01raf (dim1_ratnl)
1
Purpose
e01raf produces, from a set of function values and corresponding abscissae, the coefficients of an interpolating rational function expressed in continued fraction form.
2
Specification
Fortran Interface
Integer, Intent (In)  ::  n  Integer, Intent (Inout)  ::  ifail  Integer, Intent (Out)  ::  m, iw(n)  Real (Kind=nag_wp), Intent (In)  ::  x(n), f(n)  Real (Kind=nag_wp), Intent (Out)  ::  a(n), u(n) 

C Header Interface
#include nagmk26.h
void 
e01raf_ (const Integer *n, const double x[], const double f[], Integer *m, double a[], double u[], Integer iw[], Integer *ifail) 

3
Description
e01raf produces the parameters of a rational function
$R\left(x\right)$ which assumes prescribed values
${f}_{i}$ at prescribed values
${x}_{i}$ of the independent variable
$x$, for
$\mathit{i}=1,2,\dots ,n$. More specifically,
e01raf determines the parameters
${a}_{j}$, for
$\mathit{j}=1,2,\dots ,m$ and
${u}_{j}$, for
$\mathit{j}=1,2,\dots ,m1$, in the continued fraction
where
and
such that
$R\left({x}_{i}\right)={f}_{i}$, for
$\mathit{i}=1,2,\dots ,n$. The value of
$m$ in
(1) is determined by the routine; normally
$m=n$. The values of
${u}_{j}$ form a reordered subset of the values of
${x}_{i}$ and their ordering is designed to ensure that a representation of the form
(1) is determined whenever one exists.
The subsequent evaluation of
(1) for given values of
$x$ can be carried out using
e01rbf.
The computational method employed in
e01raf is the modification of the Thacher–Tukey algorithm described in
Graves–Morris and Hopkins (1981).
4
References
Graves–Morris P R and Hopkins T R (1981) Reliable rational interpolation Numer. Math. 36 111–128
5
Arguments
 1: $\mathbf{n}$ – IntegerInput

On entry: $n$, the number of data points.
Constraint:
${\mathbf{n}}>0$.
 2: $\mathbf{x}\left({\mathbf{n}}\right)$ – Real (Kind=nag_wp) arrayInput

On entry: ${\mathbf{x}}\left(\mathit{i}\right)$ must be set to the value of the $\mathit{i}$th data abscissa, ${x}_{\mathit{i}}$, for $\mathit{i}=1,2,\dots ,n$.
Constraint:
the ${\mathbf{x}}\left(i\right)$ must be distinct.
 3: $\mathbf{f}\left({\mathbf{n}}\right)$ – Real (Kind=nag_wp) arrayInput

On entry: ${\mathbf{f}}\left(\mathit{i}\right)$ must be set to the value of the data ordinate, ${f}_{\mathit{i}}$, corresponding to ${x}_{\mathit{i}}$, for $\mathit{i}=1,2,\dots ,n$.
 4: $\mathbf{m}$ – IntegerOutput

On exit: $m$, the number of terms in the continued fraction representation of $R\left(x\right)$.
 5: $\mathbf{a}\left({\mathbf{n}}\right)$ – Real (Kind=nag_wp) arrayOutput

On exit:
${\mathbf{a}}\left(\mathit{j}\right)$ contains the value of the parameter
${a}_{\mathit{j}}$ in
$R\left(x\right)$, for
$\mathit{j}=1,2,\dots ,m$. The remaining elements of
a, if any, are set to zero.
 6: $\mathbf{u}\left({\mathbf{n}}\right)$ – Real (Kind=nag_wp) arrayOutput

On exit:
${\mathbf{u}}\left(\mathit{j}\right)$ contains the value of the parameter
${u}_{\mathit{j}}$ in
$R\left(x\right)$, for
$\mathit{j}=1,2,\dots ,m1$. The
${u}_{j}$ are a permuted subset of the elements of
x. The remaining
$nm+1$ locations contain a permutation of the remaining
${x}_{i}$, which can be ignored.
 7: $\mathbf{iw}\left({\mathbf{n}}\right)$ – Integer arrayWorkspace

 8: $\mathbf{ifail}$ – IntegerInput/Output

On entry:
ifail must be set to
$0$,
$1\text{ or}1$. If you are unfamiliar with this argument you should refer to
Section 3.4 in How to Use the NAG Library and its Documentation for details.
For environments where it might be inappropriate to halt program execution when an error is detected, the value
$1\text{ or}1$ is recommended. If the output of error messages is undesirable, then the value
$1$ is recommended. Otherwise, if you are not familiar with this argument, the recommended value is
$0$.
When the value $\mathbf{1}\text{ or}\mathbf{1}$ is used it is essential to test the value of ifail on exit.
On exit:
${\mathbf{ifail}}={\mathbf{0}}$ unless the routine detects an error or a warning has been flagged (see
Section 6).
6
Error Indicators and Warnings
If on entry
${\mathbf{ifail}}=0$ or
$1$, explanatory error messages are output on the current error message unit (as defined by
x04aaf).
Errors or warnings detected by the routine:
 ${\mathbf{ifail}}=1$

On entry,  ${\mathbf{n}}\le 0$. 
 ${\mathbf{ifail}}=2$

At least one pair of the values ${\mathbf{x}}\left(i\right)$ are equal (or so nearly so that a subsequent division will inevitably cause overflow).
 ${\mathbf{ifail}}=3$

A continued fraction of the required form does not exist.
 ${\mathbf{ifail}}=99$
An unexpected error has been triggered by this routine. Please
contact
NAG.
See
Section 3.9 in How to Use the NAG Library and its Documentation for further information.
 ${\mathbf{ifail}}=399$
Your licence key may have expired or may not have been installed correctly.
See
Section 3.8 in How to Use the NAG Library and its Documentation for further information.
 ${\mathbf{ifail}}=999$
Dynamic memory allocation failed.
See
Section 3.7 in How to Use the NAG Library and its Documentation for further information.
7
Accuracy
Usually, it is not the accuracy of the coefficients produced by this routine which is of prime interest, but rather the accuracy of the value of
$R\left(x\right)$ that is produced by the associated routine
e01rbf when subsequently it evaluates the continued fraction
(1) for a given value of
$x$. This final accuracy will depend mainly on the nature of the interpolation being performed. If interpolation of a ‘wellbehaved smooth’ function is attempted (and provided the data adequately represents the function), high accuracy will normally ensue, but, if the function is not so ‘smooth’ or extrapolation is being attempted, high accuracy is much less likely. Indeed, in extreme cases, results can be highly inaccurate.
There is no builtin test of accuracy but several courses are open to you to prevent the production or the acceptance of inaccurate results.
1. 
If the origin of a variable is well outside the range of its data values, the origin should be shifted to correct this; and, if the new data values are still excessively large or small, scaling to make the largest value of the order of unity is recommended. Thus, normalization to the range $1.0$ to $+1.0$ is ideal. This applies particularly to the independent variable; for the dependent variable, the removal of leading figures which are common to all the data values will usually suffice. 
2. 
To check the effect of rounding errors engendered in the routines themselves, e01raf should be reentered with ${x}_{1}$ interchanged with ${x}_{i}$ and ${f}_{1}$ with ${f}_{i}$, $\left(i\ne 1\right)$. This will produce a completely different vector $a$ and a reordered vector $u$, but any change in the value of $R\left(x\right)$ subsequently produced by e01rbf will be due solely to rounding error. 
3. 
Even if the data consist of calculated values of a formal mathematical function, it is only in exceptional circumstances that bounds for the interpolation error (the difference between the true value of the function underlying the data and the value which would be produced by the two routines if exact arithmetic were used) can be derived that are sufficiently precise to be of practical use. Consequently, you are recommended to rely on comparison checks: if extra data points are available, the calculation may be repeated with one or more data pairs added or exchanged, or alternatively, one of the original data pairs may be omitted. If the algorithms are being used for extrapolation, the calculations should be performed repeatedly with the $2,3,\dots \text{}$ nearest points until, hopefully, successive values of $R\left(x\right)$ for the given $x$ agree to the required accuracy. 
8
Parallelism and Performance
e01raf is not threaded in any implementation.
The time taken by e01raf is approximately proportional to ${n}^{2}$.
The continued fraction
(1) when expanded produces a rational function in
$x$, the degree of whose numerator is either equal to or exceeds by unity that of the denominator. Only if this rather special form of interpolatory rational function is needed explicitly, would this routine be used without subsequent entry (or entries) to
e01rbf.
10
Example
This example reads in the abscissae and ordinates of $5$ data points and prints the arguments ${a}_{j}$ and ${u}_{j}$ of a rational function which interpolates them.
10.1
Program Text
Program Text (e01rafe.f90)
10.2
Program Data
Program Data (e01rafe.d)
10.3
Program Results
Program Results (e01rafe.r)