From: Richard Kreckel Date: Sun, 29 Oct 2000 18:15:51 +0000 (+0000) Subject: - inifcns_trans.cpp: Added rules for atan(+/-1). X-Git-Tag: release_0-7-0~19 X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=commitdiff_plain;h=819406cb5dd7531091d1add7f38a2daf327d4f27 - inifcns_trans.cpp: Added rules for atan(+/-1). --- diff --git a/ginac/inifcns_trans.cpp b/ginac/inifcns_trans.cpp index 734c0ecb..a66be178 100644 --- a/ginac/inifcns_trans.cpp +++ b/ginac/inifcns_trans.cpp @@ -583,13 +583,19 @@ static ex atan_eval(const ex & x) // atan(0) -> 0 if (x.is_equal(_ex0())) return _ex0(); + // atan(1) -> Pi/4 + if (x.is_equal(_ex1())) + return _ex1_4()*Pi; + // atan(-1) -> -Pi/4 + if (x.is_equal(_ex_1())) + return _ex_1_4()*Pi; // atan(float) -> float if (!x.info(info_flags::crational)) return atan_evalf(x); } return atan(x).hold(); -} +} static ex atan_deriv(const ex & x, unsigned deriv_param) {