From: SourceForge.net <no...@so...> - 2009-09-16 09:27:55
|
Bugs item #2859856, was opened at 2009-09-16 04:27 Message generated for change (Tracker Item Submitted) made by willisbl You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2859856&group_id=4933 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: csign(log(x)) --> pnz Initial Comment: On the negative real axis, log(x) isn't pnz, so shouldn't csign(log(x)) --> complex? ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2859856&group_id=4933 |
From: SourceForge.net <no...@so...> - 2010-02-01 09:33:15
|
Bugs item #2859856, was opened at 2009-09-16 05:27 Message generated for change (Comment added) made by dgildea You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2859856&group_id=4933 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None >Status: Closed >Resolution: Fixed Priority: 5 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: csign(log(x)) --> pnz Initial Comment: On the negative real axis, log(x) isn't pnz, so shouldn't csign(log(x)) --> complex? ---------------------------------------------------------------------- >Comment By: Dan Gildea (dgildea) Date: 2010-02-01 04:33 Message: Fixed in compar.lisp rev 1.66. (%i3) csign(log(x)); (%o3) complex (%i4) assume(x>0); (%o4) [x > 0] (%i5) csign(log(x)); (%o5) pnz (%i6) assume(x>=1); (%o6) [x >= 1] (%i7) csign(log(x)); (%o7) pz (%i8) assume(x>1); (%o8) [x > 1] (%i9) csign(log(x)); (%o9) pos (%i10) ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2859856&group_id=4933 |