[Maxima-bugs] [ maxima-Bugs-767556 ] Distributing operations over =

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

Bugs item #767556, was opened at 2003-07-08 01:00
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=767556&group_id=4933

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Stavros Macrakis (macrakis)
Assigned to: Nobody/Anonymous (nobody)
Summary: Distributing operations over =

Initial Comment:
x * (a=b) => x*a = x*b
x + (a=b) => x+a = x+b
(a=b)^2 => a^2 = b^2

so why do we have

x . (a=b) => x . (a=b) (??)
    rather than  x . a = x . b

(a=b)^^2 => (a=b)^^2 (??)

etc.

I do understand why we have

   f(a=b) => f(a=b) rather than f(a)=f(b)

... because in general f may be an operation on 
equations.  Some operations nonetheless do distribute 
over "=", notably

   diff, taylor, limit, 
   cabs, rectform, realpart, imagpart, etc.
   integrate is particularly clever, adding an
        integration constant

though mathematical functions such as sin, log, etc. do 
not.



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

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