aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJay Belanger2005-02-15 19:26:07 +0000
committerJay Belanger2005-02-15 19:26:07 +0000
commit6fc5a7dac1cb8911889aac15693f457fe8b431a7 (patch)
tree57e2325b57ef65704413c86ffe49a8872c439ae1
parentf53e6c20ff22960cd73011af689ba70d955c6757 (diff)
downloademacs-6fc5a7dac1cb8911889aac15693f457fe8b431a7.tar.gz
emacs-6fc5a7dac1cb8911889aac15693f457fe8b431a7.zip
(calc-DistribRules, calc-NegateRules): Add rules.
-rw-r--r--lisp/calc/calc-rules.el10
1 files changed, 10 insertions, 0 deletions
diff --git a/lisp/calc/calc-rules.el b/lisp/calc/calc-rules.el
index 1ccbf3fffac..7a11cfa5012 100644
--- a/lisp/calc/calc-rules.el
+++ b/lisp/calc/calc-rules.el
@@ -153,10 +153,14 @@ tan(select(2 a)) := 2 tan(select(a)) / (1 - tan(a)^2),
153tan(select(n a)) := (tan((n-1) select(a)) + tan(a)) / 153tan(select(n a)) := (tan((n-1) select(a)) + tan(a)) /
154 (1 - tan((n-1) a) tan(a)) 154 (1 - tan((n-1) a) tan(a))
155 :: integer(n) :: n > 2, 155 :: integer(n) :: n > 2,
156cot(select(a + b)) := (cot(select(a)) cot(b) - 1) /
157 (cot(a) + cot(b)),
156sinh(select(a + b)) := sinh(select(a)) cosh(b) + cosh(a) sinh(b), 158sinh(select(a + b)) := sinh(select(a)) cosh(b) + cosh(a) sinh(b),
157cosh(select(a + b)) := cosh(select(a)) cosh(b) + sinh(a) sinh(b), 159cosh(select(a + b)) := cosh(select(a)) cosh(b) + sinh(a) sinh(b),
158tanh(select(a + b)) := (tanh(select(a)) + tanh(b)) / 160tanh(select(a + b)) := (tanh(select(a)) + tanh(b)) /
159 (1 + tanh(a) tanh(b)), 161 (1 + tanh(a) tanh(b)),
162coth(select(a + b)) := (coth(select(a)) coth(b) + 1) /
163 (coth(a) + coth(b)),
160x && select(a || b) := (x && select(a)) || (x && b), 164x && select(a || b) := (x && select(a)) || (x && b),
161select(a || b) && x := (select(a) && x) || (b && x), 165select(a || b) && x := (select(a) && x) || (b && x),
162! select(a && b) := (!a) || (!b), 166! select(a && b) := (!a) || (!b),
@@ -269,12 +273,18 @@ exp(select(x)) := 1 / exp(select(-x)),
269sin(select(x)) := -sin(select(-x)), 273sin(select(x)) := -sin(select(-x)),
270cos(select(x)) := cos(select(-x)), 274cos(select(x)) := cos(select(-x)),
271tan(select(x)) := -tan(select(-x)), 275tan(select(x)) := -tan(select(-x)),
276sec(select(x)) := sec(select(-x)),
277csc(select(x)) := -csc(select(-x)),
278cot(select(x)) := -cot(select(-x)),
272arcsin(select(x)) := -arcsin(select(-x)), 279arcsin(select(x)) := -arcsin(select(-x)),
273arccos(select(x)) := 4 arctan(1) - arccos(select(-x)), 280arccos(select(x)) := 4 arctan(1) - arccos(select(-x)),
274arctan(select(x)) := -arctan(select(-x)), 281arctan(select(x)) := -arctan(select(-x)),
275sinh(select(x)) := -sinh(select(-x)), 282sinh(select(x)) := -sinh(select(-x)),
276cosh(select(x)) := cosh(select(-x)), 283cosh(select(x)) := cosh(select(-x)),
277tanh(select(x)) := -tanh(select(-x)), 284tanh(select(x)) := -tanh(select(-x)),
285sech(select(x)) := sech(select(-x)),
286csch(select(x)) := -csch(select(-x)),
287coth(select(x)) := -coth(select(-x)),
278arcsinh(select(x)) := -arcsinh(select(-x)), 288arcsinh(select(x)) := -arcsinh(select(-x)),
279arctanh(select(x)) := -arctanh(select(-x)), 289arctanh(select(x)) := -arctanh(select(-x)),
280select(x) = a := select(-x) = -a, 290select(x) = a := select(-x) = -a,