Adding new object types WAS: Operations on inf

>>>>> "Barton" == Barton Willis <willisb at unk.edu> writes:

    Barton> maxima-bounces at math.utexas.edu wrote on 03/09/2007 08:56:32 AM:
    >> I'm guessing that Barton was thinking of something more CLOS-like. 

    Barton> Yes. I don't know the status of CLOS in GCL. Even without CLOS, I think it 

GCL uses PCL, which is also used in CMUCL and SBCL, although I suspect
there is quite a bit of divergence.   But I also suspect any use of
CLOS in maxima is probably the most common cases, so we won't be
hitting any corner cases or implementation issues in PCL.

    Barton> should be possible to alter simplus to do allow something like

    Barton> (setf (get 'big-oh 'add-function) 'add-big-oh)
    Barton> (defun add-big-oh (a b)  ;; a is a big-oh object and b is anything

Perhaps.  But looking at simplus and simptimes shows that there are
loops inside the code.  Don't know if they could be reasonably
duplicated with your idea.  It would be nice if they could.

But your idea would probably work for new types.

Ray