maxima-bugs — Reports from the SF bug-tracking system

[Maxima-bugs] [maxima:bugs] #4622 Windows display issue

[Robert D. <rob...@us...>]

- **labels**: display, gtk --> display, gtk, windows, wxmaxima
- **status**: open --> wont-fix
- **Comment**:

Thank you for your interest in Maxima, and thank you for the bug report. I have closed this ticket as "won't fix" since the problem is not in Maxima itself. Please feel free to raise any new issues on the bug tracker or mailing list (https://sourceforge.net/projects/maxima/lists/maxima-discuss).



---

**[bugs:#4622] Windows display issue**

**Status:** wont-fix
**Group:** None
**Labels:** display gtk windows wxmaxima 
**Created:** Tue Oct 14, 2025 06:25 PM UTC by ourfalli
**Last Updated:** Tue Oct 14, 2025 08:01 PM UTC
**Owner:** nobody
**Attachments:**

- [Capture d'écran 2025-10-14 202430.png](https://sourceforge.net/p/maxima/bugs/4622/attachment/Capture%20d%27%C3%A9cran%202025-10-14%20202430.png) (186.1 kB; image/png)


Hello,
I am reporting a simple user issue. The display is erroneous under windows 11.
I submit a screenshot and the bug report from Maxima.
thank you.

Bug report : 
-------------------------------------------------------------
WxMaxima version:             25.04.0_MSW
Using wxWidgets version:      wxWidgets 3.2.8
Maxima version:               5.48.1
Maxima build date:            2025-08-06 20:38:36
Host type:                    x86_64-w64-mingw32
System type:                  Win32 10.0.26100 X86-64
Lisp implementation type:     SBCL
Lisp implementation version:  2.5.7
WxMaxima help dir:            C:\maxima-5.48.1\share/doc/wxmaxima
----------
Maxima's idea of the directory layout is:
maxima-prefix:           C:/maxima-5.48.1
maxima-topdir:           C:/maxima-5.48.1/share/maxima/5.48.1
maxima-imagesdir:        C:/maxima-5.48.1/lib/maxima/5.48.1/binary-sbcl
maxima-sharedir:         C:/maxima-5.48.1/share/maxima/5.48.1/share
maxima-srcdir:           C:/maxima-5.48.1/share/maxima/5.48.1/src
maxima-demodir:          C:/maxima-5.48.1/share/maxima/5.48.1/demo
maxima-testsdir:         C:/maxima-5.48.1/share/maxima/5.48.1/tests
maxima-docdir:           C:/maxima-5.48.1/share/maxima/5.48.1/doc
maxima-infodir:          C:/maxima-5.48.1/share/info
maxima-htmldir:          C:/maxima-5.48.1/share/maxima/5.48.1/doc/html
maxima-plotdir:          C:/maxima-5.48.1/libexec/maxima/5.48.1
maxima-layout-autotools: T
maxima-userdir:          C:/Users/Utilisateur/maxima
maxima-tempdir:          C:/Users/Utilisateur/AppData/Local/Temp
maxima-lang-subdir:      NIL
maxima-objdir:           C:/Users/Utilisateur/maxima/binary/5_48_1/sbcl/2_5_7
NIL

-------------------------------------------------------------


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] Re: #4587 limit of integral expression incorrect, should be 1/e^2, not 0

[vsxbamboo <vsx...@us...>]

I guess it's because it cannot determine the limit of n(x) that it also cannot determine the limit of n(x)/d(x).


---

**[bugs:#4587] limit of integral expression incorrect, should be 1/e^2, not 0**

**Status:** open
**Group:** None
**Created:** Wed Jul 30, 2025 07:56 AM UTC by vsxbamboo
**Last Updated:** Sun Oct 12, 2025 04:31 PM UTC
**Owner:** nobody


```
(%i40)	n(x) := integrate((1-1/t)^t*%e^(%e*t), t, %e, x);
	n(%e+1);
	d(x) := %e^(%e*x);
	limit(n(x)/d(x), x, inf);
(%o37)	n(x):=integrate((1-1/t)^t*%e^(%e*t),t,%e,x)
(%o38)	integrate((1-1/t)^t*%e^(%e*t),t,%e,%e+1)
(%o39)	d(x):=%e^(%e*x)
(%o40)	0
```


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] #4622 Windows display issue

[ourfalli <our...@us...>]

Thank you,
bug reported on GitHub.


---

**[bugs:#4622] Windows display issue**

**Status:** open
**Group:** None
**Labels:** display gtk 
**Created:** Tue Oct 14, 2025 06:25 PM UTC by ourfalli
**Last Updated:** Tue Oct 14, 2025 07:53 PM UTC
**Owner:** nobody
**Attachments:**

- [Capture d'écran 2025-10-14 202430.png](https://sourceforge.net/p/maxima/bugs/4622/attachment/Capture%20d%27%C3%A9cran%202025-10-14%20202430.png) (186.1 kB; image/png)


Hello,
I am reporting a simple user issue. The display is erroneous under windows 11.
I submit a screenshot and the bug report from Maxima.
thank you.

Bug report : 
-------------------------------------------------------------
WxMaxima version:             25.04.0_MSW
Using wxWidgets version:      wxWidgets 3.2.8
Maxima version:               5.48.1
Maxima build date:            2025-08-06 20:38:36
Host type:                    x86_64-w64-mingw32
System type:                  Win32 10.0.26100 X86-64
Lisp implementation type:     SBCL
Lisp implementation version:  2.5.7
WxMaxima help dir:            C:\maxima-5.48.1\share/doc/wxmaxima
----------
Maxima's idea of the directory layout is:
maxima-prefix:           C:/maxima-5.48.1
maxima-topdir:           C:/maxima-5.48.1/share/maxima/5.48.1
maxima-imagesdir:        C:/maxima-5.48.1/lib/maxima/5.48.1/binary-sbcl
maxima-sharedir:         C:/maxima-5.48.1/share/maxima/5.48.1/share
maxima-srcdir:           C:/maxima-5.48.1/share/maxima/5.48.1/src
maxima-demodir:          C:/maxima-5.48.1/share/maxima/5.48.1/demo
maxima-testsdir:         C:/maxima-5.48.1/share/maxima/5.48.1/tests
maxima-docdir:           C:/maxima-5.48.1/share/maxima/5.48.1/doc
maxima-infodir:          C:/maxima-5.48.1/share/info
maxima-htmldir:          C:/maxima-5.48.1/share/maxima/5.48.1/doc/html
maxima-plotdir:          C:/maxima-5.48.1/libexec/maxima/5.48.1
maxima-layout-autotools: T
maxima-userdir:          C:/Users/Utilisateur/maxima
maxima-tempdir:          C:/Users/Utilisateur/AppData/Local/Temp
maxima-lang-subdir:      NIL
maxima-objdir:           C:/Users/Utilisateur/maxima/binary/5_48_1/sbcl/2_5_7
NIL

-------------------------------------------------------------


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] #4622 Windows display issue

[Barton W. <wil...@us...>]

To report a bug to the wxMaxima developers, try

https://github.com/wxMaxima-developers/wxmaxima/issues


---

**[bugs:#4622] Windows display issue**

**Status:** open
**Group:** None
**Labels:** display gtk 
**Created:** Tue Oct 14, 2025 06:25 PM UTC by ourfalli
**Last Updated:** Tue Oct 14, 2025 07:46 PM UTC
**Owner:** nobody
**Attachments:**

- [Capture d'écran 2025-10-14 202430.png](https://sourceforge.net/p/maxima/bugs/4622/attachment/Capture%20d%27%C3%A9cran%202025-10-14%20202430.png) (186.1 kB; image/png)


Hello,
I am reporting a simple user issue. The display is erroneous under windows 11.
I submit a screenshot and the bug report from Maxima.
thank you.

Bug report : 
-------------------------------------------------------------
WxMaxima version:             25.04.0_MSW
Using wxWidgets version:      wxWidgets 3.2.8
Maxima version:               5.48.1
Maxima build date:            2025-08-06 20:38:36
Host type:                    x86_64-w64-mingw32
System type:                  Win32 10.0.26100 X86-64
Lisp implementation type:     SBCL
Lisp implementation version:  2.5.7
WxMaxima help dir:            C:\maxima-5.48.1\share/doc/wxmaxima
----------
Maxima's idea of the directory layout is:
maxima-prefix:           C:/maxima-5.48.1
maxima-topdir:           C:/maxima-5.48.1/share/maxima/5.48.1
maxima-imagesdir:        C:/maxima-5.48.1/lib/maxima/5.48.1/binary-sbcl
maxima-sharedir:         C:/maxima-5.48.1/share/maxima/5.48.1/share
maxima-srcdir:           C:/maxima-5.48.1/share/maxima/5.48.1/src
maxima-demodir:          C:/maxima-5.48.1/share/maxima/5.48.1/demo
maxima-testsdir:         C:/maxima-5.48.1/share/maxima/5.48.1/tests
maxima-docdir:           C:/maxima-5.48.1/share/maxima/5.48.1/doc
maxima-infodir:          C:/maxima-5.48.1/share/info
maxima-htmldir:          C:/maxima-5.48.1/share/maxima/5.48.1/doc/html
maxima-plotdir:          C:/maxima-5.48.1/libexec/maxima/5.48.1
maxima-layout-autotools: T
maxima-userdir:          C:/Users/Utilisateur/maxima
maxima-tempdir:          C:/Users/Utilisateur/AppData/Local/Temp
maxima-lang-subdir:      NIL
maxima-objdir:           C:/Users/Utilisateur/maxima/binary/5_48_1/sbcl/2_5_7
NIL

-------------------------------------------------------------


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] #4622 Windows display issue

[ourfalli <our...@us...>]

I apologise for the confusion. I will report this in the adequate project.
Thank you.


---

**[bugs:#4622] Windows display issue**

**Status:** open
**Group:** None
**Labels:** display gtk 
**Created:** Tue Oct 14, 2025 06:25 PM UTC by ourfalli
**Last Updated:** Tue Oct 14, 2025 07:42 PM UTC
**Owner:** nobody
**Attachments:**

- [Capture d'écran 2025-10-14 202430.png](https://sourceforge.net/p/maxima/bugs/4622/attachment/Capture%20d%27%C3%A9cran%202025-10-14%20202430.png) (186.1 kB; image/png)


Hello,
I am reporting a simple user issue. The display is erroneous under windows 11.
I submit a screenshot and the bug report from Maxima.
thank you.

Bug report : 
-------------------------------------------------------------
WxMaxima version:             25.04.0_MSW
Using wxWidgets version:      wxWidgets 3.2.8
Maxima version:               5.48.1
Maxima build date:            2025-08-06 20:38:36
Host type:                    x86_64-w64-mingw32
System type:                  Win32 10.0.26100 X86-64
Lisp implementation type:     SBCL
Lisp implementation version:  2.5.7
WxMaxima help dir:            C:\maxima-5.48.1\share/doc/wxmaxima
----------
Maxima's idea of the directory layout is:
maxima-prefix:           C:/maxima-5.48.1
maxima-topdir:           C:/maxima-5.48.1/share/maxima/5.48.1
maxima-imagesdir:        C:/maxima-5.48.1/lib/maxima/5.48.1/binary-sbcl
maxima-sharedir:         C:/maxima-5.48.1/share/maxima/5.48.1/share
maxima-srcdir:           C:/maxima-5.48.1/share/maxima/5.48.1/src
maxima-demodir:          C:/maxima-5.48.1/share/maxima/5.48.1/demo
maxima-testsdir:         C:/maxima-5.48.1/share/maxima/5.48.1/tests
maxima-docdir:           C:/maxima-5.48.1/share/maxima/5.48.1/doc
maxima-infodir:          C:/maxima-5.48.1/share/info
maxima-htmldir:          C:/maxima-5.48.1/share/maxima/5.48.1/doc/html
maxima-plotdir:          C:/maxima-5.48.1/libexec/maxima/5.48.1
maxima-layout-autotools: T
maxima-userdir:          C:/Users/Utilisateur/maxima
maxima-tempdir:          C:/Users/Utilisateur/AppData/Local/Temp
maxima-lang-subdir:      NIL
maxima-objdir:           C:/Users/Utilisateur/maxima/binary/5_48_1/sbcl/2_5_7
NIL

-------------------------------------------------------------


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] #4622 Windows display issue

[Jaime E. V. <vi...@us...>]

This is not a Maxima bug report but a Wxmaxima bug report. We here cannot fix Wxmaxima bugs (a separate project).


---

**[bugs:#4622] Windows display issue**

**Status:** open
**Group:** None
**Labels:** display gtk 
**Created:** Tue Oct 14, 2025 06:25 PM UTC by ourfalli
**Last Updated:** Tue Oct 14, 2025 06:25 PM UTC
**Owner:** nobody
**Attachments:**

- [Capture d'écran 2025-10-14 202430.png](https://sourceforge.net/p/maxima/bugs/4622/attachment/Capture%20d%27%C3%A9cran%202025-10-14%20202430.png) (186.1 kB; image/png)


Hello,
I am reporting a simple user issue. The display is erroneous under windows 11.
I submit a screenshot and the bug report from Maxima.
thank you.

Bug report : 
-------------------------------------------------------------
WxMaxima version:             25.04.0_MSW
Using wxWidgets version:      wxWidgets 3.2.8
Maxima version:               5.48.1
Maxima build date:            2025-08-06 20:38:36
Host type:                    x86_64-w64-mingw32
System type:                  Win32 10.0.26100 X86-64
Lisp implementation type:     SBCL
Lisp implementation version:  2.5.7
WxMaxima help dir:            C:\maxima-5.48.1\share/doc/wxmaxima
----------
Maxima's idea of the directory layout is:
maxima-prefix:           C:/maxima-5.48.1
maxima-topdir:           C:/maxima-5.48.1/share/maxima/5.48.1
maxima-imagesdir:        C:/maxima-5.48.1/lib/maxima/5.48.1/binary-sbcl
maxima-sharedir:         C:/maxima-5.48.1/share/maxima/5.48.1/share
maxima-srcdir:           C:/maxima-5.48.1/share/maxima/5.48.1/src
maxima-demodir:          C:/maxima-5.48.1/share/maxima/5.48.1/demo
maxima-testsdir:         C:/maxima-5.48.1/share/maxima/5.48.1/tests
maxima-docdir:           C:/maxima-5.48.1/share/maxima/5.48.1/doc
maxima-infodir:          C:/maxima-5.48.1/share/info
maxima-htmldir:          C:/maxima-5.48.1/share/maxima/5.48.1/doc/html
maxima-plotdir:          C:/maxima-5.48.1/libexec/maxima/5.48.1
maxima-layout-autotools: T
maxima-userdir:          C:/Users/Utilisateur/maxima
maxima-tempdir:          C:/Users/Utilisateur/AppData/Local/Temp
maxima-lang-subdir:      NIL
maxima-objdir:           C:/Users/Utilisateur/maxima/binary/5_48_1/sbcl/2_5_7
NIL

-------------------------------------------------------------


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] #4622 Windows display issue

[ourfalli <our...@us...>]

---

**[bugs:#4622] Windows display issue**

**Status:** open
**Group:** None
**Labels:** display gtk 
**Created:** Tue Oct 14, 2025 06:25 PM UTC by ourfalli
**Last Updated:** Tue Oct 14, 2025 06:25 PM UTC
**Owner:** nobody
**Attachments:**

- [Capture d'écran 2025-10-14 202430.png](https://sourceforge.net/p/maxima/bugs/4622/attachment/Capture%20d%27%C3%A9cran%202025-10-14%20202430.png) (186.1 kB; image/png)


Hello,
I am reporting a simple user issue. The display is erroneous under windows 11.
I submit a screenshot and the bug report from Maxima.
thank you.

Bug report : 
-------------------------------------------------------------
WxMaxima version:             25.04.0_MSW
Using wxWidgets version:      wxWidgets 3.2.8
Maxima version:               5.48.1
Maxima build date:            2025-08-06 20:38:36
Host type:                    x86_64-w64-mingw32
System type:                  Win32 10.0.26100 X86-64
Lisp implementation type:     SBCL
Lisp implementation version:  2.5.7
WxMaxima help dir:            C:\maxima-5.48.1\share/doc/wxmaxima
----------
Maxima's idea of the directory layout is:
maxima-prefix:           C:/maxima-5.48.1
maxima-topdir:           C:/maxima-5.48.1/share/maxima/5.48.1
maxima-imagesdir:        C:/maxima-5.48.1/lib/maxima/5.48.1/binary-sbcl
maxima-sharedir:         C:/maxima-5.48.1/share/maxima/5.48.1/share
maxima-srcdir:           C:/maxima-5.48.1/share/maxima/5.48.1/src
maxima-demodir:          C:/maxima-5.48.1/share/maxima/5.48.1/demo
maxima-testsdir:         C:/maxima-5.48.1/share/maxima/5.48.1/tests
maxima-docdir:           C:/maxima-5.48.1/share/maxima/5.48.1/doc
maxima-infodir:          C:/maxima-5.48.1/share/info
maxima-htmldir:          C:/maxima-5.48.1/share/maxima/5.48.1/doc/html
maxima-plotdir:          C:/maxima-5.48.1/libexec/maxima/5.48.1
maxima-layout-autotools: T
maxima-userdir:          C:/Users/Utilisateur/maxima
maxima-tempdir:          C:/Users/Utilisateur/AppData/Local/Temp
maxima-lang-subdir:      NIL
maxima-objdir:           C:/Users/Utilisateur/maxima/binary/5_48_1/sbcl/2_5_7
NIL

-------------------------------------------------------------


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] #4565 Compilation on Windows using ECL

[Robert D. <rob...@us...>]

Hmm, I'm sorry to hear defsystem isn't working for ECL + Windows. Defsystem is an older system for building Lisp programs and indeed it hasn't been updated in decades to the best of my knowledge. I guess my advice is to try to solve the problems in ASDF, although I know that's easier said than done. 

I have a Windows system I can try it on, I will try to remember to try building with ECL in the near future.


---

**[bugs:#4565] Compilation on Windows using ECL**

**Status:** open
**Group:** None
**Labels:** build windows ecl 
**Created:** Tue Jun 03, 2025 01:59 PM UTC by Tobias
**Last Updated:** Fri Aug 29, 2025 07:48 AM UTC
**Owner:** nobody


I'm trying to compile Maxima on Windows to get it in conda. Current progress can be seen at:

Following the instructions in `install.lisp` using ecl and msvc compilers, I've encountered various issues and I would like to ask for help in overcoming them:
```
> ecl --load maxima-build.lisp --eval "(maxima-compile)" -eval "(quit)"
;;; Loading #P"C:/ProgramData/miniforge3/conda-bld/maxima_1748855421706/work/src/maxima-build.lisp"
;;; Loading #P"C:/ProgramData/miniforge3/conda-bld/maxima_1748855421706/work/src/../lisp-utils/defsystem.lisp"
;;; Loading #P"C:/ProgramData/miniforge3/conda-bld/maxima_1748855421706/work/src/maxima-package.lisp"
;;; Loading #P"C:/ProgramData/miniforge3/conda-bld/maxima_1748855421706/work/src/maxima.system"
An error occurred during initialization:
Reader error in file #<input stream #P"C:/ProgramData/miniforge3/conda-bld/maxima_1748855421706/work/src/maxima.system" 0x2312b90ff00>, position 2024:
Cannot find the external symbol BUILD-FASL in #<"C" package>
```
Fixed by loading cmp before: (require 'cmp)
```
> ecl --load maxima-build.lisp -eval "(require 'cmp)" -eval "(maxima-compile)" -eval "(quit)" 
;;; Loading #P"C:/ProgramData/miniforge3/conda-bld/maxima_1748857057656/work/src/maxima-build.lisp"
;;; Loading #P"C:/ProgramData/miniforge3/conda-bld/maxima_1748857057656/work/src/../lisp-utils/defsystem.lisp"
;;; Loading #P"C:/ProgramData/miniforge3/conda-bld/maxima_1748857057656/work/src/maxima-package.lisp"
;;; Loading #P"C:/ProgramData/miniforge3/conda-bld/maxima_1748857057656/_build_env/cmp.fas"
;;; Loading #P"C:/ProgramData/miniforge3/conda-bld/maxima_1748857057656/work/src/maxima.system"
;;;
;;; Compiling C:/ProgramData/miniforge3/conda-bld/maxima_1748857057656/work/src/maxima-package.lisp.
;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=2
;;;
;;; Finished compiling C:/ProgramData/miniforge3/conda-bld/maxima_1748857057656/work/src/maxima-package.lisp.
;;;
An error occurred during initialization: decoding error on stream
<input stream #P"C:/ProgramData/miniforge3/conda-bld/maxima_1748857057656/work/src/binary-ecl/maxima-package.obj" 0x1a21b80ac80>
(:EXTERNAL-FORMAT (:UTF-8 :LF)):
  the octet sequence (134) cannot be decoded..
```
For some reason, it is trying to `load` the `obj` file, which fails (I can reproduce this error independently by invoking `load("<...>/maxima-package.obj")`). Loading the corresponding `fas` file works without error. 

Workaround:
```
   (require 'asdf)
   (push "./" asdf:*central-registry*)
   (asdf:make-build :maxima :type :fasl)
```
instead of `(maxima-compile)`

This seems to work a bit better but leads to
```
> COMPILE-FILE-ERROR while compiling #<cl-source-file "maxima" "server" "server">.
;;; Cannot find the external symbol +SIGPIPE+ in #<"EXT" package>.
```
Workaround or fix is to change the offending line to: 
```
> #+(and ecl (not win32)) (ext:set-signal-handler EXT:+SIGPIPE+ 'ext:quit)
```
This then brings up the next error:
```
> ;;; Compiling C:/ProgramData/miniforge3/conda-bld/maxima_1748925012035/work/src/factor.lisp.
An e;;; Compiling #<input stream C:/ProgramData/miniforge3/conda-bld/maxima_1748925012035/w.
rror occurred during initialization:
The special form c-inline cannot be used in the interpreter: ((P) (:OBJECT)
                                                              :OBJECT
                                                              "(#0)->symbol.stype &= ~stp_s"
                                                              :SIDE-EFFECTS T
                                                              :ONE-LINER NIL).
;;; Declaring P as NOT SPECIAL
```
My current workaround is to change `maxima::make-unspecial`  in `ecl-port.lisp`  to do nothing. Then at least the compilation seems to work fine for these files.

Which then yields the following error:
```
>;;; Finished compiling C:/ProgramData/miniforge3/conda-bld/maxima_1748880187432/work/src/init-cl.lisp.
;;;
Condition of type: SIMPLE-ERROR
Could not spawn subprocess to run "cl".
Windows library explanation: The parameter is incorrect.
Available restarts:
1. (RETRY) Retry COMPILE-BUNDLE-OP on #<system "maxima">.
2. (ACCEPT) Continue, treating COMPILE-BUNDLE-OP on #<system "maxima"> as having been successful.
3. (RETRY) Retry ASDF operation.
4. (CLEAR-CONFIGURATION-AND-RETRY) Retry ASDF operation after resetting the configuration.
5. (CONTINUE) Ignore initialization errors and continue.
6. (ABORT) Quit ECL unsafely, ignoring all existing threads.
```
No idea what's going wrong here/how to debug/where the error is.



---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] #4621 limit(inf*minf);

[Stavros M. <mac...@us...>]

Correctly returns **minf** on 
Maxima 5.41.0  ECL 16.1.3 (MaximaOnAndroid)


---

**[bugs:#4621] limit(inf*minf);**

**Status:** open
**Group:** None
**Labels:** limit extended real 
**Created:** Tue Oct 14, 2025 11:26 AM UTC by Barton Willis
**Last Updated:** Tue Oct 14, 2025 11:26 AM UTC
**Owner:** nobody


~~~
(%i1)	limit(inf*minf);
Maxima exited...

Restart Maxima with 'Maxima->Restart Maxima'.
~~~
Tracing the CL function `simpinf` shows that it is in an infinite loop.

Maxima 5.48.1 + SBCL


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] #4621 limit(inf*minf);

[Barton W. <wil...@us...>]

---

**[bugs:#4621] limit(inf*minf);**

**Status:** open
**Group:** None
**Labels:** limit extended real 
**Created:** Tue Oct 14, 2025 11:26 AM UTC by Barton Willis
**Last Updated:** Tue Oct 14, 2025 11:26 AM UTC
**Owner:** nobody


~~~
(%i1)	limit(inf*minf);
Maxima exited...

Restart Maxima with 'Maxima->Restart Maxima'.
~~~
Tracing the CL function `simpinf` shows that it is in an infinite loop.

Maxima 5.48.1 + SBCL


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] #4614 atan2 reflection rule

[Barton W. <wil...@us...>]

- **status**: open --> closed
- **Comment**:

Fixed by Commit [eb00d1] master.  Closing this ticket.



---

**[bugs:#4614] atan2 reflection rule**

**Status:** closed
**Group:** None
**Created:** Sun Sep 21, 2025 11:11 AM UTC by Barton Willis
**Last Updated:** Tue Sep 23, 2025 05:49 PM UTC
**Owner:** nobody


Consider:
~~~
(%i1)	block([trigsign : true], atan2(-y,x) + atan2(y,x));
(%o1)	0

(%i2)	 block([trigsign : false], atan2(-y,x) + atan2(y,x));
(%o2)	atan2(y,x)+atan2(-y,x)
~~~
But `atan2(-y,x) + atan2(y,x)) = 0` is not an identity for `(x,y)` on the negative real axis; for example
~~~
(%i3)	atan2(0,-1) + atan2(0,-1);
(%o3)	2*%pi
~~~

The user documentation for `trigsign` says that

>  When trigsign is true, it permits simplification of negative arguments to trigonometric functions. 

I expect that in the context of trig-like functions that simplification would use only identities, for example `-sin(x) = sin(-x)`, not conditionally true identities.  

I think it's OK for `trigsign` to suppress using a reflection rule that is an unconditional identity.





---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] #3795 incorrect integration

[Robert D. <rob...@us...>]

- **status**: open --> closed
- **Comment**:

Closing this ticket as fixed. Git bisect shows it was fixed by commit 4d8e30 which was intended to fix #4257, nice to see this one got fixed too. I added the original problem as a test case in commit 50a7d7c.



---

**[bugs:#3795] incorrect integration**

**Status:** closed
**Group:** None
**Labels:** integrate 
**Created:** Mon Jun 07, 2021 02:24 PM UTC by kcrisman
**Last Updated:** Sun Oct 12, 2025 04:51 PM UTC
**Owner:** nobody


The following integration does not seem to be correct.    Plotting the last entry a-h should give the zero function, but instead is something wavy.
~~~
Maxima 5.42.2 http://maxima.sourceforge.net
using Lisp ECL 16.1.2
Distributed under the GNU Public License. See the file COPYING.
Dedicated to the memory of William Schelter.
The function bug_report() provides bug reporting information.
(%i1) display2d: false;

(%o1) false
(%i2) a: sin((x-y)/sqrt(2))*(x-y);     

(%o2) sin((x-y)/sqrt(2))*(x-y)
(%i3)  g: integrate(a,y);  

(%o3) ((2^(3/2)+2)*sin(y/sqrt(2)-x/sqrt(2))
 +(((-2^(3/2))-2)*(y/sqrt(2)-x/sqrt(2))+((-sqrt(2))-2)*x)
  *cos(y/sqrt(2)-x/sqrt(2)))
 /2
 +sqrt(2)*x*cos(y/sqrt(2)-x/sqrt(2))
(%i4) h: diff(g,y);                             

(%o4) ((-((((-2^(3/2))-2)*(y/sqrt(2)-x/sqrt(2))+((-sqrt(2))-2)*x)
 *sin(y/sqrt(2)-x/sqrt(2)))
 /sqrt(2))
 +((2^(3/2)+2)*cos(y/sqrt(2)-x/sqrt(2)))/sqrt(2)
 +(((-2^(3/2))-2)*cos(y/sqrt(2)-x/sqrt(2)))/sqrt(2))
 /2
 -x*sin(y/sqrt(2)-x/sqrt(2))
(%i5) a-h;

(%o5) (-((-((((-2^(3/2))-2)*(y/sqrt(2)-x/sqrt(2))+((-sqrt(2))-2)*x)
 *sin(y/sqrt(2)-x/sqrt(2)))
 /sqrt(2))
 +((2^(3/2)+2)*cos(y/sqrt(2)-x/sqrt(2)))/sqrt(2)
 +(((-2^(3/2))-2)*cos(y/sqrt(2)-x/sqrt(2)))/sqrt(2))
 /2)
 +x*sin(y/sqrt(2)-x/sqrt(2))+sin((x-y)/sqrt(2))*(x-y)
~~~
See https://trac.sagemath.org/ticket/28750 for downstream.  Here is a correct solution, confirmed by the zero.
~~~
(%i6) b: sqrt(2)*(x - y)*cos(-1/2*sqrt(2)*(x - y)) + 2*sin(-1/2*sqrt(2)*(x - y));

(%o6) sqrt(2)*cos((x-y)/sqrt(2))*(x-y)-2*sin((x-y)/sqrt(2))
(%i8) diff(b,y)-a;

(%o8) 0
~~~


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] Re: #3896 Problem with trigreduce

[Stavros M. <mac...@us...>]

Another workaround is 
~~~~
map('trigreduce,cos(1/2*acos(q))^2*sin(1/2*acos(q))^2)
    => (1-q)*(1+q)/4
~~~~
but of course that doesn't fix the bug.


---

**[bugs:#3896] Problem with trigreduce**

**Status:** open
**Group:** None
**Labels:** trigreduce 
**Created:** Fri Dec 03, 2021 05:49 PM UTC by Dominik Reitzle
**Last Updated:** Sun Oct 12, 2025 09:32 PM UTC
**Owner:** nobody


I stumbled upon the following problem in trigreduce():
~~~
Maxima 5.45.1 https://maxima.sourceforge.io
using Lisp SBCL 1.4.9
Distributed under the GNU Public License. See the file COPYING.
Dedicated to the memory of William Schelter.
The function bug_report() provides bug reporting information.
(%i1) trigreduce(cos(1/2*acos(q))^2*sin(1/2*acos(q))^2);

Maxima encountered a Lisp error:

 The value
   1
 is not of type
   LIST

Automatically continuing.
To enable the Lisp debugger set *debugger-hook* to nil.
(%i2) build_info();
(%o2) 
Maxima version: "5.45.1"
Maxima build date: "2021-11-01 10:49:25"
Host type: "x86_64-pc-linux-gnu"
Lisp implementation type: "SBCL"
Lisp implementation version: "1.4.9"
User dir: "/home/rifleman/.maxima"
Temp dir: "/tmp"
Object dir: "/home/rifleman/.maxima/binary/5_45_1/sbcl/1_4_9"
Frontend: false
~~~

The correct answer should be something like (1-q^2)/4 .


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] Re: #3896 Problem with trigreduce

[Robert D. <rob...@us...>]

Dominik, thanks for the additional example. I've copied it to a separate ticket: https://sourceforge.net/p/maxima/bugs/4620/


---

**[bugs:#3896] Problem with trigreduce**

**Status:** open
**Group:** None
**Labels:** trigreduce 
**Created:** Fri Dec 03, 2021 05:49 PM UTC by Dominik Reitzle
**Last Updated:** Mon Jan 10, 2022 02:32 PM UTC
**Owner:** nobody


I stumbled upon the following problem in trigreduce():
~~~
Maxima 5.45.1 https://maxima.sourceforge.io
using Lisp SBCL 1.4.9
Distributed under the GNU Public License. See the file COPYING.
Dedicated to the memory of William Schelter.
The function bug_report() provides bug reporting information.
(%i1) trigreduce(cos(1/2*acos(q))^2*sin(1/2*acos(q))^2);

Maxima encountered a Lisp error:

 The value
   1
 is not of type
   LIST

Automatically continuing.
To enable the Lisp debugger set *debugger-hook* to nil.
(%i2) build_info();
(%o2) 
Maxima version: "5.45.1"
Maxima build date: "2021-11-01 10:49:25"
Host type: "x86_64-pc-linux-gnu"
Lisp implementation type: "SBCL"
Lisp implementation version: "1.4.9"
User dir: "/home/rifleman/.maxima"
Temp dir: "/tmp"
Object dir: "/home/rifleman/.maxima/binary/5_45_1/sbcl/1_4_9"
Frontend: false
~~~

The correct answer should be something like (1-q^2)/4 .


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] #4620 trigreduce incorrect result with domain = complex

[Robert D. <rob...@us...>]

---

**[bugs:#4620] trigreduce incorrect result with domain = complex**

**Status:** open
**Group:** None
**Labels:** trigreduce 
**Created:** Sun Oct 12, 2025 08:50 PM UTC by Robert Dodier
**Last Updated:** Sun Oct 12, 2025 08:50 PM UTC
**Owner:** nobody


Copied from bug #3896.
```
(%i2) domain:complex $

(%i3) ee: cos(acos(sqrt(x^2 + 1))/2)^5*sin(acos(sqrt(x^2 + 1))/2)^3;
                        2                        2
           5 acos(sqrt(x  + 1))     3 acos(sqrt(x  + 1))
(%o3)   cos (──────────────────) sin (──────────────────)
                     2                        2
(%i4) ee1: trigreduce (ee);
                                2
                     - %i sqrt(x  + 1) - %i
(%o4)                ──────────────────────
                               16
(%i5) ev (ee, x = 1/4);
                      sqrt(17)             sqrt(17)
                 acos(────────)       acos(────────)
               5         4          3         4
(%o5)       cos (──────────────) sin (──────────────)
                       2                    2
(%i6) %, numer;
(%o6)              - 0.0019831800843793175 %i
(%i7) ev (ee1, x = 1/4);
                         sqrt(17) %i
                       - ─────────── - %i
                              4
(%o7)                  ──────────────────
                               16
(%i8) %, numer;
(%o8)               - 0.12692352540027596 %i
```

`build_info` reports:
```
Maxima-version: "5.48.1"
Maxima build date: "2025-08-23 10:40:17"
Host type: "x86_64-pc-linux-gnu"
Lisp implementation type: "SBCL"
Lisp implementation version: "2.5.2"
User dir: "/home/dodier/.maxima"
Temp dir: "/tmp"
Object dir: "/home/dodier/.maxima/binary/5_48_1/sbcl/2_5_2"
Frontend: false
```


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] #3917 limit( (sin(x)+1)/sin(x), x, inf); -> 1 and not und

[Robert D. <rob...@us...>]

- **Group**: None --> has_test_cases
- **Comment**:

Yes, the examples here should definitely be included as test cases. I've marked this ticket with the milestone `has_test_cases`. I know that's little-used, but anyway maybe it will help us keep track of this.



---

**[bugs:#3917] limit( (sin(x)+1)/sin(x), x, inf); -> 1 and not und **

**Status:** open
**Group:** has_test_cases
**Labels:** limit 
**Created:** Sat Jan 15, 2022 07:38 PM UTC by Alex Stefanov
**Last Updated:** Wed Dec 28, 2022 02:08 PM UTC
**Owner:** nobody


~~~
~ $ maxima-sage
;;; Loading #P"/usr/lib/x86_64-linux-gnu/ecl-20.4.24/sb-bsd-sockets.fas"
;;; Loading #P"/usr/lib/x86_64-linux-gnu/ecl-20.4.24/sockets.fas"
Maxima 5.44.0 http://maxima.sourceforge.net
using Lisp ECL 20.4.24
Distributed under the GNU Public License. See the file COPYING.
Dedicated to the memory of William Schelter.
The function bug_report() provides bug reporting information.
(%i1) limit( (sin(x)+1)/sin(x), x, inf);
(%o1)                                  1
(%i2) 
~~~


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] #3795 incorrect integration

[Robert D. <rob...@us...>]

Appears that this bug was fixed somewhere between Maxima 5.47 and 5.48. I will try to pin down the specific commit.


---

**[bugs:#3795] incorrect integration**

**Status:** open
**Group:** None
**Labels:** integrate 
**Created:** Mon Jun 07, 2021 02:24 PM UTC by kcrisman
**Last Updated:** Thu Jun 17, 2021 06:26 AM UTC
**Owner:** nobody


The following integration does not seem to be correct.    Plotting the last entry a-h should give the zero function, but instead is something wavy.
~~~
Maxima 5.42.2 http://maxima.sourceforge.net
using Lisp ECL 16.1.2
Distributed under the GNU Public License. See the file COPYING.
Dedicated to the memory of William Schelter.
The function bug_report() provides bug reporting information.
(%i1) display2d: false;

(%o1) false
(%i2) a: sin((x-y)/sqrt(2))*(x-y);     

(%o2) sin((x-y)/sqrt(2))*(x-y)
(%i3)  g: integrate(a,y);  

(%o3) ((2^(3/2)+2)*sin(y/sqrt(2)-x/sqrt(2))
 +(((-2^(3/2))-2)*(y/sqrt(2)-x/sqrt(2))+((-sqrt(2))-2)*x)
  *cos(y/sqrt(2)-x/sqrt(2)))
 /2
 +sqrt(2)*x*cos(y/sqrt(2)-x/sqrt(2))
(%i4) h: diff(g,y);                             

(%o4) ((-((((-2^(3/2))-2)*(y/sqrt(2)-x/sqrt(2))+((-sqrt(2))-2)*x)
 *sin(y/sqrt(2)-x/sqrt(2)))
 /sqrt(2))
 +((2^(3/2)+2)*cos(y/sqrt(2)-x/sqrt(2)))/sqrt(2)
 +(((-2^(3/2))-2)*cos(y/sqrt(2)-x/sqrt(2)))/sqrt(2))
 /2
 -x*sin(y/sqrt(2)-x/sqrt(2))
(%i5) a-h;

(%o5) (-((-((((-2^(3/2))-2)*(y/sqrt(2)-x/sqrt(2))+((-sqrt(2))-2)*x)
 *sin(y/sqrt(2)-x/sqrt(2)))
 /sqrt(2))
 +((2^(3/2)+2)*cos(y/sqrt(2)-x/sqrt(2)))/sqrt(2)
 +(((-2^(3/2))-2)*cos(y/sqrt(2)-x/sqrt(2)))/sqrt(2))
 /2)
 +x*sin(y/sqrt(2)-x/sqrt(2))+sin((x-y)/sqrt(2))*(x-y)
~~~
See https://trac.sagemath.org/ticket/28750 for downstream.  Here is a correct solution, confirmed by the zero.
~~~
(%i6) b: sqrt(2)*(x - y)*cos(-1/2*sqrt(2)*(x - y)) + 2*sin(-1/2*sqrt(2)*(x - y));

(%o6) sqrt(2)*cos((x-y)/sqrt(2))*(x-y)-2*sin((x-y)/sqrt(2))
(%i8) diff(b,y)-a;

(%o8) 0
~~~


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] Re: #4587 limit of integral expression incorrect, should be 1/e^2, not 0

[Robert D. <rob...@us...>]

Well, the result `%o4` seems OK -- it is not incorrect, right? It's just that `limit` and/or `integrate` was not able to figure out the integral. 

For the record, I see that `integrate` can't figure out the integral (i.e., returns a noun expression) for both `integrate((1-1/t)^t*%e^(%e*t), t, %e, x)` and `integrate((1-1/t)^t*%e^(%e*t), t, %e, inf)`.


---

**[bugs:#4587] limit of integral expression incorrect, should be 1/e^2, not 0**

**Status:** open
**Group:** None
**Created:** Wed Jul 30, 2025 07:56 AM UTC by vsxbamboo
**Last Updated:** Sun Oct 12, 2025 08:30 AM UTC
**Owner:** nobody


```
(%i40)	n(x) := integrate((1-1/t)^t*%e^(%e*t), t, %e, x);
	n(%e+1);
	d(x) := %e^(%e*x);
	limit(n(x)/d(x), x, inf);
(%o37)	n(x):=integrate((1-1/t)^t*%e^(%e*t),t,%e,x)
(%o38)	integrate((1-1/t)^t*%e^(%e*t),t,%e,%e+1)
(%o39)	d(x):=%e^(%e*x)
(%o40)	0
```


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] #4619 limit(inf = inf) causes stack overflow

[Barton W. <wil...@us...>]

The top-level function for the one argument limit is `simpinf`, not `infsimp`.  I'm still puzzling over what kinds of expressions `infsimp` is supposed to handle.  

I notice that  the limit code sends one argument limits through `both-side`. That's unnecessary, I think.  

There are cases where `infsimp` recieves an `mplus` expression, but here it does not. It's possible that there are calls to `infsimp` that should be `simpinf`.   These names are easy for me to confuse.  Possibly only `simpinf` should call `infsimp`. 
~~~
(%i5) limit(a+b+inf);

0> Calling (BOTH-SIDE ((MPLUS SIMP) $INF $A $B) #:G11409 0)
1 Call   infsimp [0]
1 Return infsimp 0
1 Call   simpinf [b + a + inf]
 1 Call   infsimp [inf]
 1 Return infsimp inf
1 Return simpinf inf
1 Call   infsimp [0]
1 Return infsimp 0
1 Call   simpinf [b + a + inf]
 1 Call   infsimp [inf]
 1 Return infsimp inf
1 Return simpinf inf
<0 BOTH-SIDE returned $INF
(%o5)                                 inf
~~~

It seems like the function `infsimp*`, defined in  `compar.lisp` shouldn't be needed. 


---

**[bugs:#4619] limit(inf = inf) causes stack overflow**

**Status:** open
**Group:** None
**Labels:** limit 
**Created:** Thu Oct 09, 2025 06:22 PM UTC by Robert Dodier
**Last Updated:** Fri Oct 10, 2025 11:10 PM UTC
**Owner:** nobody


Looking at bug report #4603, looks like it is triggered by a bug in `limit`. Here is the simplest case I found:
```
(%i1) limit(inf=inf);
INFO: Binding stack guard page unprotected
Binding stack guard page temporarily disabled: proceed with caution

debugger invoked on a SB-KERNEL::BINDING-STACK-EXHAUSTED in thread
#<THREAD tid=4380 "main thread" RUNNING {1001760003}>:
  Binding stack exhausted.
```
This other example also causes a stack overflow: `limit(minf = minf)`.

Bug #4603 is triggered by `limit(foo - inf = -inf)`, where `foo` is a gensym (and the bug is also triggered when `foo` is just `foo`).

Looks like the stack overflow originates in INFSIMP2. I didn't investigate beyond that.

When this bug gets fixed, we should go back to #4603 and verify that bug is also fixed.


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] #4587 limit of integral expression incorrect, should be 1/e^2, not 0

[vsxbamboo <vsx...@us...>]

Further, I found that the calculation of the following expression also seems to be problematic:
(%i4)	n(x) := integrate((1-1/t)^t*%e^(%e*t), t, %e, x);
	limit(n(x), x, inf);
(%o3)	n(x):=integrate((1-1/t)^t*%e^(%e*t),t,%e,x)
(%o4)	integrate((1-1/t)^t*%e^(%e*t),t,%e,inf)


---

**[bugs:#4587] limit of integral expression incorrect, should be 1/e^2, not 0**

**Status:** open
**Group:** None
**Created:** Wed Jul 30, 2025 07:56 AM UTC by vsxbamboo
**Last Updated:** Sun Oct 12, 2025 06:18 AM UTC
**Owner:** nobody


```
(%i40)	n(x) := integrate((1-1/t)^t*%e^(%e*t), t, %e, x);
	n(%e+1);
	d(x) := %e^(%e*x);
	limit(n(x)/d(x), x, inf);
(%o37)	n(x):=integrate((1-1/t)^t*%e^(%e*t),t,%e,x)
(%o38)	integrate((1-1/t)^t*%e^(%e*t),t,%e,%e+1)
(%o39)	d(x):=%e^(%e*x)
(%o40)	0
```


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] #4587 limit of integral expression incorrect, should be 1/e^2, not 0

[Robert D. <rob...@us...>]

Not entirely sure what's going on, but anyway I see
```
(%i26) n(x)/d(x);
                           x
                          ⌠
                   - %e x ⎮     %e t      1 t
(%o26)           %e       ⎮   %e     (1 - ─)  dt
                          ⎮               t
                          ⌡
                           %e
```
and `limit` appears to be looking at each of the terms; it gets 0 for the limit of the first term (correctly), and for the second it gets
```
                      inf
                     ⌠
                     ⎮      %e t      1 t
(%o27)               ⎮    %e     (1 - ─)  dt
                     ⎮                t
                     ⌡
                      %e
```
I speculate the `limit` is thinking that it can just multiply the two limits together, and then it gets 0. `limit` might be only looking to see if the result of the second  is not a `limit` noun expression, and going ahead if it doesn't see that. If those speculations are right, it might be relatively straightforward to get `limit` to return a noun expression. That would not be incorrect, but a little disappointing. 

Getting to the known result is easy via L'Hopital's rule, but I don't know what it would take to nudge `limit` to use it.


---

**[bugs:#4587] limit of integral expression incorrect, should be 1/e^2, not 0**

**Status:** open
**Group:** None
**Created:** Wed Jul 30, 2025 07:56 AM UTC by vsxbamboo
**Last Updated:** Wed Jul 30, 2025 04:15 PM UTC
**Owner:** nobody


```
(%i40)	n(x) := integrate((1-1/t)^t*%e^(%e*t), t, %e, x);
	n(%e+1);
	d(x) := %e^(%e*x);
	limit(n(x)/d(x), x, inf);
(%o37)	n(x):=integrate((1-1/t)^t*%e^(%e*t),t,%e,x)
(%o38)	integrate((1-1/t)^t*%e^(%e*t),t,%e,%e+1)
(%o39)	d(x):=%e^(%e*x)
(%o40)	0
```


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] #4619 limit(inf = inf) causes stack overflow

[Barton W. <wil...@us...>]

I'll continue doing experiments. For my next revision, I'll definitely eliminate the `(or (not (free ..)))` with a call to `amongl`.    So far, my experimental fixes also fixes #4603. 

I'd like to eliminate `expand(e,1,1)`, but it's baked into `simpinf1` and `simpinf2`, but   I'll see what I can do.   Instead of `simpfin2`, I think there should be functions for `mplusp, mtimesp` and `mexptp` expressions.

I've collected all the approximately 59,000 calls to `simpinf` to study them.  

Thanks. 


---

**[bugs:#4619] limit(inf = inf) causes stack overflow**

**Status:** open
**Group:** None
**Labels:** limit 
**Created:** Thu Oct 09, 2025 06:22 PM UTC by Robert Dodier
**Last Updated:** Fri Oct 10, 2025 07:42 PM UTC
**Owner:** nobody


Looking at bug report #4603, looks like it is triggered by a bug in `limit`. Here is the simplest case I found:
```
(%i1) limit(inf=inf);
INFO: Binding stack guard page unprotected
Binding stack guard page temporarily disabled: proceed with caution

debugger invoked on a SB-KERNEL::BINDING-STACK-EXHAUSTED in thread
#<THREAD tid=4380 "main thread" RUNNING {1001760003}>:
  Binding stack exhausted.
```
This other example also causes a stack overflow: `limit(minf = minf)`.

Bug #4603 is triggered by `limit(foo - inf = -inf)`, where `foo` is a gensym (and the bug is also triggered when `foo` is just `foo`).

Looks like the stack overflow originates in INFSIMP2. I didn't investigate beyond that.

When this bug gets fixed, we should go back to #4603 and verify that bug is also fixed.


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] Re: #4619 limit(inf = inf) causes stack overflow

[Stavros M. <mac...@us...>]

Couldn't we replace `(or (not (free...)))` with a call to ``amongl`` and avoid traversing ``e`` 5 times?
Does anyone understand the ``expand(e,1,1)`` clause? Why expand the expresson before testing for the presence of non-finite objects?


---

**[bugs:#4619] limit(inf = inf) causes stack overflow**

**Status:** open
**Group:** None
**Labels:** limit 
**Created:** Thu Oct 09, 2025 06:22 PM UTC by Robert Dodier
**Last Updated:** Fri Oct 10, 2025 07:28 PM UTC
**Owner:** nobody


Looking at bug report #4603, looks like it is triggered by a bug in `limit`. Here is the simplest case I found:
```
(%i1) limit(inf=inf);
INFO: Binding stack guard page unprotected
Binding stack guard page temporarily disabled: proceed with caution

debugger invoked on a SB-KERNEL::BINDING-STACK-EXHAUSTED in thread
#<THREAD tid=4380 "main thread" RUNNING {1001760003}>:
  Binding stack exhausted.
```
This other example also causes a stack overflow: `limit(minf = minf)`.

Bug #4603 is triggered by `limit(foo - inf = -inf)`, where `foo` is a gensym (and the bug is also triggered when `foo` is just `foo`).

Looks like the stack overflow originates in INFSIMP2. I didn't investigate beyond that.

When this bug gets fixed, we should go back to #4603 and verify that bug is also fixed.


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] #4619 limit(inf = inf) causes stack overflow

[Robert D. <rob...@us...>]

OK by me to make the changes suggested. I don't work on the limit code too much but the proposed changes make sense to me.


---

**[bugs:#4619] limit(inf = inf) causes stack overflow**

**Status:** open
**Group:** None
**Labels:** limit 
**Created:** Thu Oct 09, 2025 06:22 PM UTC by Robert Dodier
**Last Updated:** Fri Oct 10, 2025 10:16 AM UTC
**Owner:** nobody


Looking at bug report #4603, looks like it is triggered by a bug in `limit`. Here is the simplest case I found:
```
(%i1) limit(inf=inf);
INFO: Binding stack guard page unprotected
Binding stack guard page temporarily disabled: proceed with caution

debugger invoked on a SB-KERNEL::BINDING-STACK-EXHAUSTED in thread
#<THREAD tid=4380 "main thread" RUNNING {1001760003}>:
  Binding stack exhausted.
```
This other example also causes a stack overflow: `limit(minf = minf)`.

Bug #4603 is triggered by `limit(foo - inf = -inf)`, where `foo` is a gensym (and the bug is also triggered when `foo` is just `foo`).

Looks like the stack overflow originates in INFSIMP2. I didn't investigate beyond that.

When this bug gets fixed, we should go back to #4603 and verify that bug is also fixed.


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[Maxima-bugs] [maxima:bugs] #4619 limit(inf = inf) causes stack overflow

[Barton W. <wil...@us...>]

Maybe not a fix, but the bug vanishes by inserting a trap for when `x` and `e` are syntactically equal at the top of `infsimp2`.   

The argument names to `infsimp2` are misleading, I think. The first argument to `infsimp2` is `expand(e,1,1)`; it is not a limit variable as the name `x` suggests. When `x` and `e` are syntactically equal, the call `(setq x ($limit x))` in `infsimp2` causes an infinite loop.  

A revised function:
~~~
(defun infsimp2 (x e)
   (cond ((alike1 x e) e)
         (t
            (setq x ($limit x))
            (if (isinop x '%limit) e x))))
~~~
This change to `infsimp2` seems harmless, but I'm not sure it it is really getting at the bug.  

Possibly the check `(alike1 x e)` should be moved up to `infsimp` but I didn't try that.

Also, possibly `infsimp` should send all  relational expressions directly to `infsimp2`, not just equal:

~~~
(defun infsimp (e)
  (let ((x ($expand e 1 1)))
    (cond ((or (not (free x '$ind)) (not (free x '$und))
	       (not (free x '$zeroa)) (not (free x '$zerob))
	       (not (free x '$infinity))
	       (mbagp x)
          (mrelationp x)) ;; <=== New
	   (infsimp2 x e))
	  ((and (free x '$inf) (free x '$minf)) x)
	  (t (infsimp1 x e)))))
~~~




---

**[bugs:#4619] limit(inf = inf) causes stack overflow**

**Status:** open
**Group:** None
**Labels:** limit 
**Created:** Thu Oct 09, 2025 06:22 PM UTC by Robert Dodier
**Last Updated:** Thu Oct 09, 2025 06:22 PM UTC
**Owner:** nobody


Looking at bug report #4603, looks like it is triggered by a bug in `limit`. Here is the simplest case I found:
```
(%i1) limit(inf=inf);
INFO: Binding stack guard page unprotected
Binding stack guard page temporarily disabled: proceed with caution

debugger invoked on a SB-KERNEL::BINDING-STACK-EXHAUSTED in thread
#<THREAD tid=4380 "main thread" RUNNING {1001760003}>:
  Binding stack exhausted.
```
This other example also causes a stack overflow: `limit(minf = minf)`.

Bug #4603 is triggered by `limit(foo - inf = -inf)`, where `foo` is a gensym (and the bug is also triggered when `foo` is just `foo`).

Looks like the stack overflow originates in INFSIMP2. I didn't investigate beyond that.

When this bug gets fixed, we should go back to #4603 and verify that bug is also fixed.


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.