/usr/share/axiom-20170501/src/algebra/TRIGCAT.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 | )abbrev category TRIGCAT TrigonometricFunctionCategory
++ Date Last Updated: 14 May 1991
++ Description:
++ Category for the trigonometric functions;
TrigonometricFunctionCategory() : Category == SIG where
SIG ==> with
cos : $ -> $
++ cos(x) returns the cosine of x.
cot : $ -> $
++ cot(x) returns the cotangent of x.
csc : $ -> $
++ csc(x) returns the cosecant of x.
sec : $ -> $
++ sec(x) returns the secant of x.
sin : $ -> $
++ sin(x) returns the sine of x.
tan : $ -> $
++ tan(x) returns the tangent of x.
add
if $ has Ring then
csc x ==
(a := recip(sin x)) case "failed" => error "csc: no reciprocal"
a::$
sec x ==
(a := recip(cos x)) case "failed" => error "sec: no reciprocal"
a::$
tan x == sin x * sec x
cot x == cos x * csc x
|