From: SourceForge.net <no...@so...> - 2006-08-12 15:02:01
|
Bugs item #1184718, was opened at 2005-04-17 11:07 Message generated for change (Settings changed) made by robert_dodier You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1184718&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 - Simplification Group: None Status: Open Resolution: None Priority: 3 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: AT needs soime basic simplifications Initial Comment: 'at(2,x=0) doesn't simplify. Some basic simplifications should really be in there, as with 'diff.... ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1184718&group_id=4933 |
From: SourceForge.net <no...@so...> - 2010-05-31 23:11:02
|
Bugs item #1184718, was opened at 2005-04-17 19:07 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1184718&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 - Simplification Group: None >Status: Closed >Resolution: Fixed Priority: 3 Private: No Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: AT needs soime basic simplifications Initial Comment: 'at(2,x=0) doesn't simplify. Some basic simplifications should really be in there, as with 'diff.... ---------------------------------------------------------------------- >Comment By: Dieter Kaiser (crategus) Date: 2010-06-01 01:11 Message: In comm2.lisp revision 1.36 a simplifying routine simp-%at has been added to simplify constant expressions. The routine can be extended to handle more cases. Closing this bug report as fixed. Dieter Kaiser ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1184718&group_id=4933 |