[Maxima-bugs] [ maxima-Bugs-1079508 ] freeof doesn't know about local variables in blocks

[SourceForge.net <no...@so...>]

Bugs item #1079508, was opened at 2004-12-05 12:03
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1079508&group_id=4933

Category: Lisp Core
Group: None
Status: Open
Resolution: None
Priority: 3
Submitted By: Robert Dodier (robert_dodier)
Assigned to: Nobody/Anonymous (nobody)
Summary: freeof doesn't know about local variables in blocks

Initial Comment:
Local variables in blocks ought to be considered dummy
variables  by freeof, but they're not.  (freeof does
consider summation index and integration variable in a
definite integral as dummy variables.)

freeof (y, block ([y], y))  =>  false

Probably this would be pretty easy to fix.  (defun
freeof ...) near line 375 of src/nrat4.lisp handles
%integrate, %limit, etc as special cases -- looks like
that is where we can look for "block" (actually,
(mprog) I guess) and handle it separately.  From
inspecting some examples it looks like 
cdadr of the "block" construct is the list of local
variables. Then we can memq each argument of freeof.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1079508&group_id=4933