inserting quoted headers with "simp" literally may be a mistake.
Ideally there should be only one copy of the list (XXX simp) in the
whole system, and that copy should be found by (get 'XXX 'msimpind)
for example, (get 'mplus 'msimpind).
and the CAR of every mplus should point to it.
In the case of a rational number, there is no msimpind. I don't know why.
On the other hand, I just checked with the commercial Macsyma, and they
seem to have flushed the whole msimpind idea.
My suggestion (I have occasionally implemented this in some
experiments) is to use common lisp rational numbers for maxima rational
numbers.
It is easy to do with a few patches, but the question remains as to
whether all places have been fixed. Note that (div 1 2) could be easily
fixed to return the common lisp rational number 1/2 . finding all
occurrences of '((rat simp) 1 2) would be more difficult.
RJf
Raymond Toy wrote:
> Dieter Kaiser wrote:
>
>> Update of /cvsroot/maxima/maxima/src
>> In directory 23jxhf1.ch3.sourceforge.com:/tmp/cvs-serv19322/src
>>
>> Modified Files:
>> gamma.lisp
>> Log Message:
>> Setting the simp flag more carefully in rational constants. Replacing expressions like (div 1 2) with a simplified rational constant.
>>
>> No problems with the testsuite.
>>
>>