From: fateman@cs.berkeley.edu   
      
   On 7/24/2016 7:33 PM, oldk1331@gmail.com wrote:   
   > In Axiom/FriCAS, you will get a compile time error.  I think all   
   > those systems you listed give run time error?   
   >   
   Thanks for info on Axiom/FriCAS.   
      
      
   1.  It seems to me that you cannot always give a compile time error...   
   Given an expression:   max(sqrt(X), Y).   
      
   Does Axiom refuse to compile a program including this expression   
   unless it can be proved (by type inference) that X>=0?   
      
      
   2.  If Axiom/Fricas gives an error message that includes the   
   (nicely detailed) component shown below, that's good.   
   If it includes too much "irrelevant part" then that's not   
   so good.   
   Could you construct a minimal example of a program that has this error   
   and then show the WHOLE error message?  Perhaps this would be informative.   
      
   RJF   
      
      
   > The error message is (editing out irrelevant part):   
   >   
   >    There are 1 exposed and 2 unexposed library operations named max   
   >       having 2 argument(s) but none was determined to be applicable.   
   >   ......   
   >    Cannot find a definition or applicable library operation named max   
   >       with argument type(s)   
   >                               Complex(Integer)   
   >                                PositiveInteger   
   >   
   > The "1 exposed library operations named max"  comes from   
   > Category OrderedSet.  Complex Integer is not a OrderedSet.   
   > So the compiler will give you this compile time error.   
   >   
   > Matlab's approach is wrong, should not use the name "max" for   
   > comparing absolute value.  Following Matlab's approach, will   
   > it return true for equal?(1,sqrt(-1))?   
   >   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)