/usr/share/axiom-20170501/src/algebra/ESCONT1.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 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 | )abbrev package ESCONT1 ExpertSystemContinuityPackage1
++ Author: Brian Dupee
++ Date Created: May 1994
++ Date Last Updated: June 1995
++ Description:
++ ExpertSystemContinuityPackage1 exports a function to check range inclusion
ExpertSystemContinuityPackage1(A,B) : SIG == CODE where
A: DoubleFloat
B: DoubleFloat
DF ==> DoubleFloat
EF2 ==> ExpressionFunctions2
FI ==> Fraction Integer
EFI ==> Expression Fraction Integer
PFI ==> Polynomial Fraction Integer
LDF ==> List DoubleFloat
EDF ==> Expression DoubleFloat
VEDF ==> Vector Expression DoubleFloat
SDF ==> Stream DoubleFloat
SS ==> Stream String
EEDF ==> Equation Expression DoubleFloat
LEDF ==> List Expression DoubleFloat
KEDF ==> Kernel Expression DoubleFloat
LKEDF ==> List Kernel Expression DoubleFloat
PDF ==> Polynomial DoubleFloat
FPDF ==> Fraction Polynomial DoubleFloat
OCDF ==> OrderedCompletion DoubleFloat
SOCDF ==> Segment OrderedCompletion DoubleFloat
NIA ==> Record(var:Symbol,fn:EDF,range:SOCDF,abserr:DF,relerr:DF)
UP ==> UnivariatePolynomial
BO ==> BasicOperator
RS ==> Record(zeros: SDF,ones: SDF,singularities: SDF)
SIG ==> with
in? : DF -> Boolean
++ in?(p) tests whether point p is internal to the range [\spad{A..B}]
CODE ==> add
in?(p:DF):Boolean ==
a:Boolean := (p < B)$DF
b:Boolean := (A < p)$DF
(a and b)@Boolean
|