[Axiom-developer] [RationalInterpolation]

[billpage]

Changes 
http://page.axiom-developer.org/zope/mathaction/RationalInterpolation/diff
--

--removed:
-

--removed:
-)abbrev package RINTERPA RationalInterpolationAlgorithms
-++ Description:
-++ This package exports rational interpolation algorithms
-RationalInterpolationAlgorithms(F, P): Cat == Body   where
-    F: IntegralDomain 
-    P: UnivariatePolynomialCategory(F)
-    Cat == with
-        RationalInterpolation: (List F, List F, NonNegativeInteger,
-                                NonNegativeInteger) 
-                               -> Fraction P
-        +++ We assume that the elements of the first list are all distinct.
-        +++ If they are not, division by zero might occur.
-
-    Body == add
-        RationalInterpolation(xlist, ylist, m, k) ==
-            #xlist ^= #ylist =>
-                error "Different number of points and values."
-            #xlist ^= m+k+1 =>
-                error "wrong number of points"
-[18 more lines...]

--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden