Re: integer -> (rational|irrational) -> real inferences commented out in compar.lisp since 2009

On 6/1/26 7:20 AM, David Scherfgen via Maxima-discuss wrote:

> Dear all,
>
> If you look at the file compar.lisp, near the very bottom, there's this:
>
> ; Cutting out inferences for integer, rational, real, complex (DK 
> 10/2009).
> ;  (kind $integer $rational)
> ;  (par ($rational $irrational) $real)
> ;  (par ($real $imaginary) $complex)
>
>
> Does anyone know why the correct inferences were commented out in 
> 2009? Should we add them back in? Unless it's somehow broken, I'd say 
> yes. It would make code at other places simpler and possibly fix some 
> bugs that we didn't even know about.

The commit message says

|Related bug report: Buf ID: 2811926 - integrate(exp(-x^(%i)),x,0,1); => 
Is %i an integer? |

I forget how to map the old numbers to the new. (Is there a wiki 
developer page that records this info? If so, I need to make a bookmark 
for it.)

​

_______________________________________________
Maxima-discuss mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/maxima-discuss