/usr/share/axiom-20170501/src/algebra/PTRANFN.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 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 | )abbrev category PTRANFN PartialTranscendentalFunctions
++ Author: Clifton J. Williamson
++ Date Created: 12 February 1990
++ Date Last Updated: 14 February 1990
++ Description:
++ A package which provides partial transcendental
++ functions, for example, functions which return an answer or "failed"
++ This is the description of any package which provides partial
++ functions on a domain belonging to TranscendentalFunctionCategory.
PartialTranscendentalFunctions(K) : Category == SIG where
K : TranscendentalFunctionCategory
NNI ==> NonNegativeInteger
SIG ==> with
--% Exponentials and Logarithms
nthRootIfCan : (K,NNI) -> Union(K,"failed")
++ nthRootIfCan(z,n) returns the nth root of z if possible,
++ and "failed" otherwise.
expIfCan : K -> Union(K,"failed")
++ expIfCan(z) returns exp(z) if possible, and "failed" otherwise.
logIfCan : K -> Union(K,"failed")
++ logIfCan(z) returns log(z) if possible, and "failed" otherwise.
--% TrigonometricFunctionCategory
sinIfCan : K -> Union(K,"failed")
++ sinIfCan(z) returns sin(z) if possible, and "failed" otherwise.
cosIfCan : K -> Union(K,"failed")
++ cosIfCan(z) returns cos(z) if possible, and "failed" otherwise.
tanIfCan : K -> Union(K,"failed")
++ tanIfCan(z) returns tan(z) if possible, and "failed" otherwise.
cotIfCan : K -> Union(K,"failed")
++ cotIfCan(z) returns cot(z) if possible, and "failed" otherwise.
secIfCan : K -> Union(K,"failed")
++ secIfCan(z) returns sec(z) if possible, and "failed" otherwise.
cscIfCan : K -> Union(K,"failed")
++ cscIfCan(z) returns csc(z) if possible, and "failed" otherwise.
--% ArcTrigonometricFunctionCategory
asinIfCan : K -> Union(K,"failed")
++ asinIfCan(z) returns asin(z) if possible, and "failed" otherwise.
acosIfCan : K -> Union(K,"failed")
++ acosIfCan(z) returns acos(z) if possible, and "failed" otherwise.
atanIfCan : K -> Union(K,"failed")
++ atanIfCan(z) returns atan(z) if possible, and "failed" otherwise.
acotIfCan : K -> Union(K,"failed")
++ acotIfCan(z) returns acot(z) if possible, and "failed" otherwise.
asecIfCan : K -> Union(K,"failed")
++ asecIfCan(z) returns asec(z) if possible, and "failed" otherwise.
acscIfCan : K -> Union(K,"failed")
++ acscIfCan(z) returns acsc(z) if possible, and "failed" otherwise.
--% HyperbolicFunctionCategory
sinhIfCan : K -> Union(K,"failed")
++ sinhIfCan(z) returns sinh(z) if possible, and "failed" otherwise.
coshIfCan : K -> Union(K,"failed")
++ coshIfCan(z) returns cosh(z) if possible, and "failed" otherwise.
tanhIfCan : K -> Union(K,"failed")
++ tanhIfCan(z) returns tanh(z) if possible, and "failed" otherwise.
cothIfCan : K -> Union(K,"failed")
++ cothIfCan(z) returns coth(z) if possible, and "failed" otherwise.
sechIfCan : K -> Union(K,"failed")
++ sechIfCan(z) returns sech(z) if possible, and "failed" otherwise.
cschIfCan : K -> Union(K,"failed")
++ cschIfCan(z) returns csch(z) if possible, and "failed" otherwise.
--% ArcHyperbolicFunctionCategory
asinhIfCan : K -> Union(K,"failed")
++ asinhIfCan(z) returns asinh(z) if possible, and "failed" otherwise.
acoshIfCan : K -> Union(K,"failed")
++ acoshIfCan(z) returns acosh(z) if possible, and "failed" otherwise.
atanhIfCan : K -> Union(K,"failed")
++ atanhIfCan(z) returns atanh(z) if possible, and "failed" otherwise.
acothIfCan : K -> Union(K,"failed")
++ acothIfCan(z) returns acoth(z) if possible, and "failed" otherwise.
asechIfCan : K -> Union(K,"failed")
++ asechIfCan(z) returns asech(z) if possible, and "failed" otherwise.
acschIfCan : K -> Union(K,"failed")
++ acschIfCan(z) returns acsch(z) if possible, and "failed" otherwise.
|