[Maxima-bugs] [ maxima-Bugs-1612489 ] quoted nested nary expressions flattened incompletely

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

Bugs item #1612489, was opened at 2006-12-09 23:50
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=1612489&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: 5
Private: No
Submitted By: Robert Dodier (robert_dodier)
Assigned to: Nobody/Anonymous (nobody)
Summary: quoted nested nary expressions flattened incompletely

Initial Comment:
Quoted (unevaluated) nested nary expressions are flattened incompletely. Evaluated nested nary expressions appear to be flattened completely.

Completely flattened:

nary ("aa");
declare ("aa", nary);
a aa (b aa (c aa (d aa (e aa (f aa g)))));
 => a aa b aa c aa d aa e aa f aa g

Incompletely flattened:

'(a aa (b aa (c aa (d aa (e aa (f aa g))))));
 => a aa b aa (c aa d aa (e aa f aa g))

When the operator has the properties OPERS and $NARY, then NARY1 is called to flatten.

Plus, times, and nctimes (maybe others) aren't affected by this because flattening for those operators is handled by their simplification functions, not NARY1.

It would be nice to use this mechanism (OPERS + $NARY + NARY1) to flatten MAND and MOR. (This will become more of an issue when unevaluated boolean expressions are in use.)

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

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