/usr/share/axiom-20170501/src/algebra/ODPOL.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 | )abbrev domain ODPOL OrderlyDifferentialPolynomial
++ Author: William Sit
++ Date Created: 24 September, 1991
++ Date Last Updated: 7 February, 1992
++ References:Kolchin, E.R. "Differential Algebra and Algebraic Groups"
++ (Academic Press, 1973).
++ Description:
++ \spadtype{OrderlyDifferentialPolynomial} implements
++ an ordinary differential polynomial ring in arbitrary number
++ of differential indeterminates, with coefficients in a
++ ring. The ranking on the differential indeterminate is orderly.
++ This is analogous to the domain \spadtype{Polynomial}.
OrderlyDifferentialPolynomial(R) : SIG == CODE where
R : Ring
S ==> Symbol
V ==> OrderlyDifferentialVariable S
E ==> IndexedExponents(V)
SMP ==> SparseMultivariatePolynomial(R, S)
SIG ==> Join(DifferentialPolynomialCategory(R,S,V,E), RetractableTo SMP)
CODE ==> DifferentialSparseMultivariatePolynomial(R,S,V)
|