/usr/share/axiom-20170501/src/algebra/PINTERP.spad is in axiom-source 20170501-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 | )abbrev package PINTERP PolynomialInterpolation
++ Description:
++ This package exports interpolation algorithms
PolynomialInterpolation(xx, F) : SIG == CODE where
xx : Symbol
F : Field
UP ==> UnivariatePolynomial
SUP ==> SparseUnivariatePolynomial
SIG ==> with
interpolate : (UP(xx,F), List F, List F) -> UP(xx,F)
++ interpolate(u,lf,lg) \undocumented
interpolate : (List F, List F) -> SUP F
++ interpolate(lf,lg) \undocumented
CODE ==> add
PIA ==> PolynomialInterpolationAlgorithms
interpolate(qx, lx, ly) ==
px := LagrangeInterpolation(lx, ly)$PIA(F, UP(xx, F))
elt(px, qx)
interpolate(lx, ly) ==
LagrangeInterpolation(lx, ly)$PIA(F, SUP F)
|