[Maxima-bugs] [ maxima-Bugs-920181 ] EV ratdisreps: documentation

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

Bugs item #920181, was opened at 2004-03-20 12:25
Message generated for change (Settings changed) made by robert_dodier
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=920181&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: Documentation
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Stavros Macrakis (macrakis)
Assigned to: Nobody/Anonymous (nobody)
Summary: EV ratdisreps: documentation

Initial Comment:
EV ratdisreps any CRE subexpressions in its input, 
including in atoms (and re-RATs the result).  The precise 
statement of when it ratdisreps is (as usual with EV) 
hard to express without talking about the implementation.

This should be documented.  

Examples:

  ex: rat(%i)^2$
  ev(ex) => -1     /R/
  ev([ex]) => [-1]
  ev(''(rat(%i)^2)) => -1    /R/   (two single-quotes)

but

  ev(rat(%i)^2) => %i^2  /R/

Now here's an interesting case:

  expr: '( factor(x^2-1) )$   /R/

  ev(expr) => x^2-1     /R/
       Ha Ha!  It noticed that the input was in CRE form, 
so it Rat'ed the output... compare:

  ratfac:true$
  ev(expr) => (x-1)*(x+1)  /R/


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

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