[om] Reference vs. Referent: solution to an old problem

[Paul Libbrecht]

Sir Richard,


I think your cynic here... of course such generic things as "eval" or "simplify" or... are too short general. 

But, also, of course, that "operators" CD would have to mention the domains which, in your example would not be supported, period.

Such a CD could NEVER rely on the on-purpose-simplistically-designed language a Computer algebra system can eat. This is a shell language that has a lot of contexts in and this context is precisely the delicate task of such a thing !!

Paul



On Saturday, December 9, 2000, at 12:27 AM, Richard Fateman wrote:

>  
> Any time two CAS differ in their capabilities, you will have to choose for 
> the standard the least capable.  Otherwise you must distinguish between them, 
> and once you do that, you have no standard. 
>  
> Imagine a CAS that only knows about polynomials.  How do you standardize 
> its response to a question that requires rational, algebraic, logarithmic, 
> exponential, trigonometric, etc. functions. 
--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems