Re: integer -> (rational|irrational) -> real inferences commented out in compar.lisp since 2009
Robert Dodier <[email protected]> Mon, 1 Jun 2026 08:10:28 -0700
| Newsgroups | gmane.comp.mathematics.maxima.general |
|---|---|
| Message-ID | <CAAsY_sQ27JizCPTcZseTRM3OfEWPNQoi=tKi6GWx4_Aw02rRiQ@mail.gmail.com> |
On Mon, Jun 1, 2026 at 7:23 AM David Scherfgen via Maxima-discuss <[email protected]> wrote: > With the inferences back in place, only (kindp e '$real) is required. > > Also, these missing inferences currently allow us to declare a symbol both integer and irrational, among others. > > 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. OK by me to restore those inferences if you determine that they're not triggering other bugs. By the way, thanks a lot for all your work lately on limits, simplification, etc. That stuff is both crucial and almost impossibly intricate and obscure. Well done! Thanks a lot, and keep up the good work. Robert _______________________________________________ Maxima-discuss mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/maxima-discuss