Re: display bug, was: Maxima rtestint failures with GCL 2.6.14

Raymond Toy <[email protected]> Tue, 9 Apr 2024 12:14:29 -0700
Newsgroups gmane.lisp.gcl.devel
Message-ID <[email protected]>
On 4/9/24 10:40 AM, Robert Dodier wrote:

> On Mon, Apr 8, 2024 at 8:36 AM Robert Dodier<[email protected]>  wrote:
>
>> Running tests in rtestint:
>> ********************** Problem 56 ***************
>> Input:
>> cos(x)
>> integrate(------, x, minf, inf)
>> 2
>> x  + 1
>>
>>
>> Result:
>> - 1    2
>> %e    (%e  + 1) %pi
>> -------------------
>> 2
>>
>> This differed from the expected result:
>> - 1
>> %e    %pi
> Incidentally that looks like a display bug, which is shown by all
> Lisps; should be displayed as a ratio %pi/%e. Guessing that flags in
> the car of %e^-1 are interfering with NFORMAT or DISPLA itself.

Interesting. But there must be something else going on:

|(%i1) %pi/%e; Evaluation took 0.0000 seconds (0.0200 elapsed) using 
4.102 KB. - 1 (%o1) %e %pi (%i2) :lisp $%o1 ((MTIMES SIMP) ((MEXPT SIMP) 
$%E -1) $%PI) (%i2) %pi/%gamma; Evaluation took 0.0000 seconds (0.0000 
elapsed) using 3.906 KB. %pi (%o2) ────── %gamma (%i3) :lisp $%o2 
((MTIMES SIMP) ((MEXPT SIMP) $%GAMMA -1) $%PI) |

So |%pi/%e| and |%pi/%gamma| have the same flags. I guess that means 
|nformat| or |displa| has some kind of special case for |%e^-1|.

​