[Maxima-bugs] [ maxima-Bugs-1644590 ] is equal and kron_delta are inconsistent

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

Bugs item #1644590, was opened at 2007-01-25 10:38
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=1644590&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
Group: Includes proposed fix
Status: Open
Resolution: None
Priority: 4
Private: No
Submitted By: Barton Willis (willisbl)
Assigned to: Barton Willis (willisbl)
Summary: is equal and kron_delta are inconsistent

Initial Comment:
Consider:

(%i1) is(equal([x],[%i]));
(%o1) false
(%i2) kron_delta([x],[%i]);
(%o2) kron_delta([%i],[x])

kron_delta should simply use the meqp code;
something like

(defun simp-kron_delta (x y z)
(twoargcheck x)
(setq y (mapcar #'(lambda (s) (simplifya s z)) (margs x)))
(let ((p (nth 0 y)) (q (nth 1 y)) (sgn))
(let ((sgn (meqp p q)))
(cond ((eq sgn t) 1)
((eq sgn nil) 0)
(t `(($kron_delta simp) ,p ,q))))))






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

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