From: SourceForge.net <noreply@so...>  20061118 16:16:47

Bugs item #1504146, was opened at 20060610 14:59 Message generated for change (Comment added) made by nobody You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1504146&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: Lisp Core  Assume Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: taylor asks pn? when expr is zero Initial Comment: taylor( asin( ( cos(x+a)^2 + sin(x)^21 ) / a), a, 0, 2) asks whether sin(x)^2+cos(x)^21 is positive or negative, where of course it is identically zero.  Comment By: Nobody/Anonymous (nobody) Date: 20061118 08:16 Message: Logged In: NO Also, the graph (2d!) of sin(x)^2+cos(x)^2 is not a straight line! S.Sangwal sangwal77 AT yahoo.com  Comment By: Stavros Macrakis (macrakis) Date: 20060611 11:47 Message: Logged In: YES user_id=588346 It would be OK if taylor/asksign asked if the expression was pnz, because the user could answer z (there will always be some cases that asksign can't handle, after all). The problem is that taylor/asksign is asking if it is pn, not giving the user the possibility of answering z.  Comment By: Robert Dodier (robert_dodier) Date: 20060611 11:30 Message: Logged In: YES user_id=501686 I don't think the bug is in taylor; reassigning the category to "Lisp Core  Assume". Feel free to change the category again. asksign (sin(x)^2+cos(x)^21); => Is sin(x)^2+cos(x)^21 pnz ? is(equal(sin(x)^2+cos(x)^21,0)); => Maxima was unable to evaluate the predicate I don't know how hard asksign and/or is and/or mevalp should try to simplify. trigsimp(sin(x)^2+cos(x)^21); => 0 but trigsimp isn't applied automatically.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1504146&group_id=4933 