/usr/share/axiom-20170501/src/algebra/ATRIG.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 | )abbrev category ATRIG ArcTrigonometricFunctionCategory
++ Date Last Updated: 14 May 1991
++ Description:
++ Category for the inverse trigonometric functions;
ArcTrigonometricFunctionCategory() : Category == SIG where
SIG ==> with
acos : $ -> $
++ acos(x) returns the arc-cosine of x.
acot : $ -> $
++ acot(x) returns the arc-cotangent of x.
acsc : $ -> $
++ acsc(x) returns the arc-cosecant of x.
asec : $ -> $
++ asec(x) returns the arc-secant of x.
asin : $ -> $
++ asin(x) returns the arc-sine of x.
atan : $ -> $
++ atan(x) returns the arc-tangent of x.
add
if $ has Ring then
asec(x) ==
(a := recip x) case "failed" => error "asec: no reciprocal"
acos(a::$)
acsc(x) ==
(a := recip x) case "failed" => error "acsc: no reciprocal"
asin(a::$)
|