[Maxima-bugs] [ maxima-Bugs-643254 ] orderlessp([rat(x)], [rat(x)])

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

Bugs item #643254, was opened at 2002-11-24 16:11
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=643254&group_id=4933

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Barton Willis (willisb)
Assigned to: Nobody/Anonymous (nobody)
Summary: orderlessp([rat(x)], [rat(x)])

Initial Comment:
The orderlessp function often halts with a
(non-descriptive) error message if one or more of its
arguments are lists or matrices  containing CRE
expressions.  The Maxima  documentation for orderlessp
doesn't mention this limitation.

If you need to order expressions that might involve
lists or matrices containing CRE expressions, apply
totaldisrep 
to each argument of the ordering predicate.  Here's an
example

Maxima 5.5 Tue Dec 5 16:55:33 2000 (with enhancements
by W. Schelter).
Licensed under the GNU Public License (see file COPYING)

(C4) xorderlessp(x,y) := orderlessp(totaldisrep(x),
totaldisrep(y));
(D4) xorderlessp(x, y) := ORDERLESSP(TOTALDISREP(x),
TOTALDISREP(y))

/*   xorderlessp works okay on lists with CRE elements */

(C5) xorderlessp([rat(x)],[rat(x)]);
(D5) 				 FALSE
(C6) orderlessp([rat(x)], [rat(x)]);

Error: 1 is not of type LIST.
Fast links are on: do (si::use-fast-links nil) for
debugging
Error signalled by MACSYMA-TOP-LEVEL.
Broken at MACSYMA-TOP-LEVEL.  Type :H for Help.
MAXIMA>>

Either the documentation should warn the user
not to use orderlessp or ordergreatp on
lists or matrices that contain CRE elements,
or these functions should apply totaldisrep
to each argument.



Barton


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

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