diff options
| author | Jay Belanger | 2005-02-15 19:26:07 +0000 |
|---|---|---|
| committer | Jay Belanger | 2005-02-15 19:26:07 +0000 |
| commit | 6fc5a7dac1cb8911889aac15693f457fe8b431a7 (patch) | |
| tree | 57e2325b57ef65704413c86ffe49a8872c439ae1 | |
| parent | f53e6c20ff22960cd73011af689ba70d955c6757 (diff) | |
| download | emacs-6fc5a7dac1cb8911889aac15693f457fe8b431a7.tar.gz emacs-6fc5a7dac1cb8911889aac15693f457fe8b431a7.zip | |
(calc-DistribRules, calc-NegateRules): Add rules.
| -rw-r--r-- | lisp/calc/calc-rules.el | 10 |
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), | |||
| 153 | tan(select(n a)) := (tan((n-1) select(a)) + tan(a)) / | 153 | tan(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, |
| 156 | cot(select(a + b)) := (cot(select(a)) cot(b) - 1) / | ||
| 157 | (cot(a) + cot(b)), | ||
| 156 | sinh(select(a + b)) := sinh(select(a)) cosh(b) + cosh(a) sinh(b), | 158 | sinh(select(a + b)) := sinh(select(a)) cosh(b) + cosh(a) sinh(b), |
| 157 | cosh(select(a + b)) := cosh(select(a)) cosh(b) + sinh(a) sinh(b), | 159 | cosh(select(a + b)) := cosh(select(a)) cosh(b) + sinh(a) sinh(b), |
| 158 | tanh(select(a + b)) := (tanh(select(a)) + tanh(b)) / | 160 | tanh(select(a + b)) := (tanh(select(a)) + tanh(b)) / |
| 159 | (1 + tanh(a) tanh(b)), | 161 | (1 + tanh(a) tanh(b)), |
| 162 | coth(select(a + b)) := (coth(select(a)) coth(b) + 1) / | ||
| 163 | (coth(a) + coth(b)), | ||
| 160 | x && select(a || b) := (x && select(a)) || (x && b), | 164 | x && select(a || b) := (x && select(a)) || (x && b), |
| 161 | select(a || b) && x := (select(a) && x) || (b && x), | 165 | select(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)), | |||
| 269 | sin(select(x)) := -sin(select(-x)), | 273 | sin(select(x)) := -sin(select(-x)), |
| 270 | cos(select(x)) := cos(select(-x)), | 274 | cos(select(x)) := cos(select(-x)), |
| 271 | tan(select(x)) := -tan(select(-x)), | 275 | tan(select(x)) := -tan(select(-x)), |
| 276 | sec(select(x)) := sec(select(-x)), | ||
| 277 | csc(select(x)) := -csc(select(-x)), | ||
| 278 | cot(select(x)) := -cot(select(-x)), | ||
| 272 | arcsin(select(x)) := -arcsin(select(-x)), | 279 | arcsin(select(x)) := -arcsin(select(-x)), |
| 273 | arccos(select(x)) := 4 arctan(1) - arccos(select(-x)), | 280 | arccos(select(x)) := 4 arctan(1) - arccos(select(-x)), |
| 274 | arctan(select(x)) := -arctan(select(-x)), | 281 | arctan(select(x)) := -arctan(select(-x)), |
| 275 | sinh(select(x)) := -sinh(select(-x)), | 282 | sinh(select(x)) := -sinh(select(-x)), |
| 276 | cosh(select(x)) := cosh(select(-x)), | 283 | cosh(select(x)) := cosh(select(-x)), |
| 277 | tanh(select(x)) := -tanh(select(-x)), | 284 | tanh(select(x)) := -tanh(select(-x)), |
| 285 | sech(select(x)) := sech(select(-x)), | ||
| 286 | csch(select(x)) := -csch(select(-x)), | ||
| 287 | coth(select(x)) := -coth(select(-x)), | ||
| 278 | arcsinh(select(x)) := -arcsinh(select(-x)), | 288 | arcsinh(select(x)) := -arcsinh(select(-x)), |
| 279 | arctanh(select(x)) := -arctanh(select(-x)), | 289 | arctanh(select(x)) := -arctanh(select(-x)), |
| 280 | select(x) = a := select(-x) = -a, | 290 | select(x) = a := select(-x) = -a, |