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

[Maxima-bugs] [maxima:bugs] #3041 limit(inf*(zeroa+inf)) => und, should be inf

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

The function  `toplevel-$limit` calls `($expand exp 1 0)`  before sending the limit to the main limit code.  Changing the the call to `($expand exp 0 0)` (for pure simplification) results in several testsuite failures, some of them serious.  Previously, I've attempted, but  failed to fix these bugs. 

As a workaround,  I'm experimenting with calling `($expand exp 0 0)` for expressions that are free of the limit variable and  otherwise call `($expand exp 1 0)`.

There is a source code comment about all this




---

**[bugs:#3041] limit(inf*(zeroa+inf)) => und, should be inf**

**Status:** open
**Group:** None
**Labels:** limit 
**Created:** Sun Oct 25, 2015 07:30 PM UTC by Stavros Macrakis
**Last Updated:** Sun Oct 25, 2015 07:31 PM UTC
**Owner:** nobody


limit(inf(zeroa+inf)) => und, should be inf

single-arg limit should be true regardless of how the various parts reach the limits, i.e., in this case it is equivalent to the *multiple* limit:

      limit (a->inf, b->0+, c->inf) a*(b+c)
      
it looks like instead it is expanding to 

     inf * zeroa + infinf => und + inf => und


---

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] #4632 gentran file management functions mishandle streams

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

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

Fixed by commit [ d9dcda4 ].



---

**[bugs:#4632] gentran file management functions mishandle streams**

**Status:** closed
**Group:** None
**Labels:** gentran share packages 
**Created:** Sat Nov 08, 2025 06:40 AM UTC by Robert Dodier
**Last Updated:** Sat Nov 08, 2025 06:40 AM UTC
**Owner:** nobody


`gentran` has functions to handle a list of output files; `gentranin`, `gentranout`, etc. Looks like those functions assume  their arguments are always file names, and not streams. `rtest_gentran.mac` has a helper function which tries apply one or the other of those functions to a string output stream, so `batch("rtest_gentran.mac")` provokes a Lisp error.


---

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] #4632 gentran file management functions mishandle streams

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

---

**[bugs:#4632] gentran file management functions mishandle streams**

**Status:** open
**Group:** None
**Labels:** gentran share packages 
**Created:** Sat Nov 08, 2025 06:40 AM UTC by Robert Dodier
**Last Updated:** Sat Nov 08, 2025 06:40 AM UTC
**Owner:** nobody


`gentran` has functions to handle a list of output files; `gentranin`, `gentranout`, etc. Looks like those functions assume  their arguments are always file names, and not streams. `rtest_gentran.mac` has a helper function which tries apply one or the other of those functions to a string output stream, so `batch("rtest_gentran.mac")` provokes a Lisp error.


---

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] #4631 Lisp error in gentran with gentranlang = c (attempting symbol operation on non-symbol)

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

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

Fixed by commit [ 6b7c453 ].



---

**[bugs:#4631] Lisp error in gentran with gentranlang = c (attempting symbol operation on non-symbol)**

**Status:** closed
**Group:** None
**Labels:** share packages gentran 
**Created:** Thu Nov 06, 2025 06:04 AM UTC by Robert Dodier
**Last Updated:** Thu Nov 06, 2025 06:05 AM UTC
**Owner:** nobody


Followup to bug #4625. Trying the example originally shown there provokes a Lisp error -- SYMBOL-PLIST is being called on a non-symbol.  The bit about "t0 undeclared variable" is just an advisory; it's not an error.
```
(%i1) load (gentran) $
(%i2) gentranlang:c $
(%i3) var:-((sqrt(m_piM^4+W^8*cost^2-W^8+4*P0^2*W^6)+((cost^2-1)*m_nuc^2+W^2*cost^2-W^2)*m_piM^4+sqrt(m_piM^2+P0^2)*(4*W^2*m_nuc*m_piM^2-4*W^2*m_nuc^3+4*W^4*m_nuc)+((2-2*cost^2)*m_nuc^4-4*W^2*cost^2*m_nuc^2-2*W^4*cost^2-2*W^4)*m_piM^2+(cost^2-1)*m_nuc^6+(W^2-W^2*cost^2)*m_nuc^4+(W^4-W^4*cost^2)*m_nuc^2+W^6*cost^2-W^6)/((cost^2-1)*m_piM^4+((2-2*cost^2)*m_nuc^2-2*W^2*cost^2-2*W^2)*m_piM^2+(cost^2-1)*m_nuc^4+(2*W^2-2*W^2*cost^2)*m_nuc^2+W^4*cost^2-W^4)) $

(%i4) gentran (eval (var));
gentran: t0 undeclared variable

debugger invoked on a TYPE-ERROR @B800C26BD7 in thread
#<THREAD tid=32336 "main thread" RUNNING {1001760003}>:
  The value
    (SETQ T0 (MINUS (PLUS # # # # # # # # #)))
  is not of type
    SYMBOL
  when binding SYMBOL

Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
  0: [MACSYMA-QUIT] Maxima top-level
  1: [CONTINUE    ] Ignore runtime option --eval "(cl-user::run)".
  2: [ABORT       ] Skip rest of --eval and --load options.
  3:                Skip to toplevel READ/EVAL/PRINT loop.
  4: [EXIT        ] Exit SBCL (calling #'EXIT, killing the process).

(SYMBOL-PLIST (SETQ T0 (MINUS (PLUS (EXPT (PLUS # # # #) (QUOTIENT 1.0d0 2.0d0)) (TIMES (PLUS # # #) (EXPT |m_piM| 4.0d0)) (TIMES (EXPT # #) (PLUS # # #)) (TIMES (PLUS # # # #) (EXPT |m_piM| 2.0d0)) (TIMES (PLUS # -1) (EXPT M_NUC 6.0d0)) (TIMES (PLUS # #) (EXPT M_NUC 4.0d0)) (TIMES (PLUS # #) (EXPT M_NUC 2.0d0)) (TIMES (EXPT |w| 6.0d0) (EXPT COST 2.0d0)) (MINUS (EXPT |w| 6.0d0)))))) [external]
0] 
```
I think the problem is that gentran has created a new assignment statement (to assign a partial result to the made-up variable `t0`) and appended it to the list of expressions to be returned, and there is one level of nested too many. E.g. putting `(list foo)` onto the return list instead of just `foo`, something like that. Not 100% sure.


---

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] #4603 Control stack regression with abs_integrate / 5.48.0

[Michael O. <mjo...@us...>]

Thank you both!


---

**[bugs:#4603] Control stack regression with abs_integrate / 5.48.0**

**Status:** closed
**Group:** None
**Labels:** abs_integrate defint limit 
**Created:** Thu Aug 28, 2025 01:46 PM UTC by Michael Orlitzky
**Last Updated:** Thu Nov 06, 2025 05:25 PM UTC
**Owner:** nobody


https://sourceforge.net/p/maxima/bugs/3144/

This works in 5.47.0:

```
Maxima 5.47.0 https://maxima.sourceforge.io
using Lisp ECL 24.5.10
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) integrate(sin(k*x)/x*erf(x^2),x,0,inf);
                            inf
                           /                  2
                           [    sin(k x) erf(x )
(%o1)                      I    ---------------- dx
                           ]           x
                           /
                            0
(%i2)  load(abs_integrate);  
(%o2) /usr/share/maxima/5.47.0/share/contrib/integration/abs_integrate.mac
(%i3) integrate(sin(k*x)/x*erf(x^2),x,0,inf);
                            inf
                           /                  2
                           [    sin(k x) erf(x )
(%o3)                      I    ---------------- dx
                           ]           x
                           /
                            0
```

But has regressed in 5.48.1:

```
Maxima 5.48.1 https://maxima.sourceforge.io
using Lisp ECL 24.5.10
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) integrate(sin(k*x)/x*erf(x^2),x,0,inf);
                            inf
                           ⌠                  2
                           ⎮    sin(k x) erf(x )
(%o1)                      ⎮    ──────────────── dx
                           ⎮           x
                           ⌡
                            0
(%i2) load(abs_integrate);
(%o2) /usr/share/maxima/5.48.1/share/contrib/integration/abs_integrate.mac
(%i3) integrate(sin(k*x)/x*erf(x^2),x,0,inf);

Maxima encountered a Lisp error:

 BINDING-STACK overflow at size 10240. Stack can probably be resized.
Proceed with caution.

Automatically continuing.
To enable the Lisp debugger set *debugger-hook* to 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] #4603 Control stack regression with abs_integrate / 5.48.0

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

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

Fixed by Commit [0c11d9] master.  The result is an integrate nounform, but it nolonger gives a stack overflow. 

Append test to `rtest_abs_integrate`.  Closing this ticket.  Thanks to Robert who identified the reason for this bug.



---

**[bugs:#4603] Control stack regression with abs_integrate / 5.48.0**

**Status:** closed
**Group:** None
**Labels:** abs_integrate defint limit 
**Created:** Thu Aug 28, 2025 01:46 PM UTC by Michael Orlitzky
**Last Updated:** Thu Oct 09, 2025 06:23 PM UTC
**Owner:** nobody


https://sourceforge.net/p/maxima/bugs/3144/

This works in 5.47.0:

```
Maxima 5.47.0 https://maxima.sourceforge.io
using Lisp ECL 24.5.10
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) integrate(sin(k*x)/x*erf(x^2),x,0,inf);
                            inf
                           /                  2
                           [    sin(k x) erf(x )
(%o1)                      I    ---------------- dx
                           ]           x
                           /
                            0
(%i2)  load(abs_integrate);  
(%o2) /usr/share/maxima/5.47.0/share/contrib/integration/abs_integrate.mac
(%i3) integrate(sin(k*x)/x*erf(x^2),x,0,inf);
                            inf
                           /                  2
                           [    sin(k x) erf(x )
(%o3)                      I    ---------------- dx
                           ]           x
                           /
                            0
```

But has regressed in 5.48.1:

```
Maxima 5.48.1 https://maxima.sourceforge.io
using Lisp ECL 24.5.10
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) integrate(sin(k*x)/x*erf(x^2),x,0,inf);
                            inf
                           ⌠                  2
                           ⎮    sin(k x) erf(x )
(%o1)                      ⎮    ──────────────── dx
                           ⎮           x
                           ⌡
                            0
(%i2) load(abs_integrate);
(%o2) /usr/share/maxima/5.48.1/share/contrib/integration/abs_integrate.mac
(%i3) integrate(sin(k*x)/x*erf(x^2),x,0,inf);

Maxima encountered a Lisp error:

 BINDING-STACK overflow at size 10240. Stack can probably be resized.
Proceed with caution.

Automatically continuing.
To enable the Lisp debugger set *debugger-hook* to 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] #4619 limit(inf = inf) causes stack overflow

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

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

Fixed by Commit [0c11d9] master. Closing this ticket.



---

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

**Status:** closed
**Group:** None
**Labels:** limit 
**Created:** Thu Oct 09, 2025 06:22 PM UTC by Robert Dodier
**Last Updated:** Thu Nov 06, 2025 03:52 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

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

The function `toplevel-$limit` does a check  (using the predicate limunknown) for a limit expression that should return a limit nounform.  I think this check should be moved to down to the function `limit`.  That's because the limit code sometimes calls `limit` without going through `toplevel-$limit`--when that happens limits such as `limit(inf=inf)` confuse the code.

Additionally, I think I'll alter `limunknow` to pass the limit variable instead of using the special. 

Just this change, not a modification of `infsimp` is all that is needed for a fix to this bug. It also fixes bug #4603.

The suggestion to change `(or (not (free...)))` with a call to among is good--maybe I'll do that too, but not as a part of this bug fix.




---

**[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:** Sun Oct 12, 2025 02:30 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] #4631 Lisp error in gentran with gentranlang = c (attempting symbol operation on non-symbol)

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

- Description has changed:

Diff:

~~~~

--- old
+++ new
@@ -27,4 +27,4 @@
 (SYMBOL-PLIST (SETQ T0 (MINUS (PLUS (EXPT (PLUS # # # #) (QUOTIENT 1.0d0 2.0d0)) (TIMES (PLUS # # #) (EXPT |m_piM| 4.0d0)) (TIMES (EXPT # #) (PLUS # # #)) (TIMES (PLUS # # # #) (EXPT |m_piM| 2.0d0)) (TIMES (PLUS # -1) (EXPT M_NUC 6.0d0)) (TIMES (PLUS # #) (EXPT M_NUC 4.0d0)) (TIMES (PLUS # #) (EXPT M_NUC 2.0d0)) (TIMES (EXPT |w| 6.0d0) (EXPT COST 2.0d0)) (MINUS (EXPT |w| 6.0d0)))))) [external]
 0] 
 ```
-I think the problem is that gentran has created a new assignment statement and appended it to the list of expressions to be returned, and there is one level of nested too many. E.g. putting `(list foo)` onto the return list instead of just `foo`, something like that. Not 100% sure.
+I think the problem is that gentran has created a new assignment statement (to assign a partial result to the made-up variable `t0`) and appended it to the list of expressions to be returned, and there is one level of nested too many. E.g. putting `(list foo)` onto the return list instead of just `foo`, something like that. Not 100% sure.

~~~~




---

**[bugs:#4631] Lisp error in gentran with gentranlang = c (attempting symbol operation on non-symbol)**

**Status:** open
**Group:** None
**Labels:** share packages gentran 
**Created:** Thu Nov 06, 2025 06:04 AM UTC by Robert Dodier
**Last Updated:** Thu Nov 06, 2025 06:04 AM UTC
**Owner:** nobody


Followup to bug #4625. Trying the example originally shown there provokes a Lisp error -- SYMBOL-PLIST is being called on a non-symbol.  The bit about "t0 undeclared variable" is just an advisory; it's not an error.
```
(%i1) load (gentran) $
(%i2) gentranlang:c $
(%i3) var:-((sqrt(m_piM^4+W^8*cost^2-W^8+4*P0^2*W^6)+((cost^2-1)*m_nuc^2+W^2*cost^2-W^2)*m_piM^4+sqrt(m_piM^2+P0^2)*(4*W^2*m_nuc*m_piM^2-4*W^2*m_nuc^3+4*W^4*m_nuc)+((2-2*cost^2)*m_nuc^4-4*W^2*cost^2*m_nuc^2-2*W^4*cost^2-2*W^4)*m_piM^2+(cost^2-1)*m_nuc^6+(W^2-W^2*cost^2)*m_nuc^4+(W^4-W^4*cost^2)*m_nuc^2+W^6*cost^2-W^6)/((cost^2-1)*m_piM^4+((2-2*cost^2)*m_nuc^2-2*W^2*cost^2-2*W^2)*m_piM^2+(cost^2-1)*m_nuc^4+(2*W^2-2*W^2*cost^2)*m_nuc^2+W^4*cost^2-W^4)) $

(%i4) gentran (eval (var));
gentran: t0 undeclared variable

debugger invoked on a TYPE-ERROR @B800C26BD7 in thread
#<THREAD tid=32336 "main thread" RUNNING {1001760003}>:
  The value
    (SETQ T0 (MINUS (PLUS # # # # # # # # #)))
  is not of type
    SYMBOL
  when binding SYMBOL

Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
  0: [MACSYMA-QUIT] Maxima top-level
  1: [CONTINUE    ] Ignore runtime option --eval "(cl-user::run)".
  2: [ABORT       ] Skip rest of --eval and --load options.
  3:                Skip to toplevel READ/EVAL/PRINT loop.
  4: [EXIT        ] Exit SBCL (calling #'EXIT, killing the process).

(SYMBOL-PLIST (SETQ T0 (MINUS (PLUS (EXPT (PLUS # # # #) (QUOTIENT 1.0d0 2.0d0)) (TIMES (PLUS # # #) (EXPT |m_piM| 4.0d0)) (TIMES (EXPT # #) (PLUS # # #)) (TIMES (PLUS # # # #) (EXPT |m_piM| 2.0d0)) (TIMES (PLUS # -1) (EXPT M_NUC 6.0d0)) (TIMES (PLUS # #) (EXPT M_NUC 4.0d0)) (TIMES (PLUS # #) (EXPT M_NUC 2.0d0)) (TIMES (EXPT |w| 6.0d0) (EXPT COST 2.0d0)) (MINUS (EXPT |w| 6.0d0)))))) [external]
0] 
```
I think the problem is that gentran has created a new assignment statement (to assign a partial result to the made-up variable `t0`) and appended it to the list of expressions to be returned, and there is one level of nested too many. E.g. putting `(list foo)` onto the return list instead of just `foo`, something like that. Not 100% sure.


---

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] #4631 Lisp error in gentran with gentranlang = c (attempting symbol operation on non-symbol)

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

---

**[bugs:#4631] Lisp error in gentran with gentranlang = c (attempting symbol operation on non-symbol)**

**Status:** open
**Group:** None
**Labels:** share packages gentran 
**Created:** Thu Nov 06, 2025 06:04 AM UTC by Robert Dodier
**Last Updated:** Thu Nov 06, 2025 06:04 AM UTC
**Owner:** nobody


Followup to bug #4625. Trying the example originally shown there provokes a Lisp error -- SYMBOL-PLIST is being called on a non-symbol.  The bit about "t0 undeclared variable" is just an advisory; it's not an error.
```
(%i1) load (gentran) $
(%i2) gentranlang:c $
(%i3) var:-((sqrt(m_piM^4+W^8*cost^2-W^8+4*P0^2*W^6)+((cost^2-1)*m_nuc^2+W^2*cost^2-W^2)*m_piM^4+sqrt(m_piM^2+P0^2)*(4*W^2*m_nuc*m_piM^2-4*W^2*m_nuc^3+4*W^4*m_nuc)+((2-2*cost^2)*m_nuc^4-4*W^2*cost^2*m_nuc^2-2*W^4*cost^2-2*W^4)*m_piM^2+(cost^2-1)*m_nuc^6+(W^2-W^2*cost^2)*m_nuc^4+(W^4-W^4*cost^2)*m_nuc^2+W^6*cost^2-W^6)/((cost^2-1)*m_piM^4+((2-2*cost^2)*m_nuc^2-2*W^2*cost^2-2*W^2)*m_piM^2+(cost^2-1)*m_nuc^4+(2*W^2-2*W^2*cost^2)*m_nuc^2+W^4*cost^2-W^4)) $

(%i4) gentran (eval (var));
gentran: t0 undeclared variable

debugger invoked on a TYPE-ERROR @B800C26BD7 in thread
#<THREAD tid=32336 "main thread" RUNNING {1001760003}>:
  The value
    (SETQ T0 (MINUS (PLUS # # # # # # # # #)))
  is not of type
    SYMBOL
  when binding SYMBOL

Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
  0: [MACSYMA-QUIT] Maxima top-level
  1: [CONTINUE    ] Ignore runtime option --eval "(cl-user::run)".
  2: [ABORT       ] Skip rest of --eval and --load options.
  3:                Skip to toplevel READ/EVAL/PRINT loop.
  4: [EXIT        ] Exit SBCL (calling #'EXIT, killing the process).

(SYMBOL-PLIST (SETQ T0 (MINUS (PLUS (EXPT (PLUS # # # #) (QUOTIENT 1.0d0 2.0d0)) (TIMES (PLUS # # #) (EXPT |m_piM| 4.0d0)) (TIMES (EXPT # #) (PLUS # # #)) (TIMES (PLUS # # # #) (EXPT |m_piM| 2.0d0)) (TIMES (PLUS # -1) (EXPT M_NUC 6.0d0)) (TIMES (PLUS # #) (EXPT M_NUC 4.0d0)) (TIMES (PLUS # #) (EXPT M_NUC 2.0d0)) (TIMES (EXPT |w| 6.0d0) (EXPT COST 2.0d0)) (MINUS (EXPT |w| 6.0d0)))))) [external]
0] 
```
I think the problem is that gentran has created a new assignment statement and appended it to the list of expressions to be returned, and there is one level of nested too many. E.g. putting `(list foo)` onto the return list instead of just `foo`, something like that. Not 100% sure.


---

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] #4625 Lisp error in gentran with gentranlang = c

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

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

The error from MTELL is fixed by commit [ 71c0c33 ], although gentran immediately runs into a different bug. I'll open a separate ticket for that.



---

**[bugs:#4625] Lisp error in gentran with gentranlang = c**

**Status:** closed
**Group:** None
**Labels:** share packages gentran 
**Created:** Tue Oct 21, 2025 05:18 PM UTC by Robert Dodier
**Last Updated:** Tue Oct 21, 2025 05:18 PM UTC
**Owner:** nobody


`gentran` produces output without an error when the output language is the default (Fortran, I guess), but runs into a Lisp error when `gentranlang: c`.
```
(%i1) load (gentran) $

(%i2) var:-((sqrt(m_piM^4+W^8*cost^2-W^8+4*P0^2*W^6)+((cost^2-1)*m_nuc^2+W^2*cost^2-W^2)*m_piM^4+sqrt(m_piM^2+P0^2)*(4*W^2*m_nuc*m_piM^2-4*W^2*m_nuc^3+4*W^4*m_nuc)+((2-2*cost^2)*m_nuc^4-4*W^2*cost^2*m_nuc^2-2*W^4*cost^2-2*W^4)*m_piM^2+(cost^2-1)*m_nuc^6+(W^2-W^2*cost^2)*m_nuc^4+(W^4-W^4*cost^2)*m_nuc^2+W^6*cost^2-W^6)/((cost^2-1)*m_piM^4+((2-2*cost^2)*m_nuc^2-2*W^2*cost^2-2*W^2)*m_piM^2+(cost^2-1)*m_nuc^4+(2*W^2-2*W^2*cost^2)*m_nuc^2+W^4*cost^2-W^4)) $

(%i3) gentran (eval (var));
-((m_piM**4+W**8*cost**2-W**8+4*P0**2*W**6)**(1.0/2.0)+((cost**2-1
     . )*m_nuc**2+W**2*cost**2-W**2)*m_piM**4+(m_piM**2+P0**2)**(1.0/2.0
     . )*(4*W**2*m_nuc*m_piM**2-4*W**2*m_nuc**3+4*W**4*m_nuc)+((-2*cost
     . **2+2)*m_nuc**4-4*W**2*cost**2*m_nuc**2-2*W**4*cost**2-2*W**4)*
     . m_piM**2+(cost**2-1)*m_nuc**6+(-W**2*cost**2+W**2)*m_nuc**4+(-W**
     . 4*cost**2+W**4)*m_nuc**2+W**6*cost**2-W**6)/((cost**2-1)*m_piM**4
     . +((-2*cost**2+2)*m_nuc**2-2*W**2*cost**2-2*W**2)*m_piM**2+(cost**
     . 2-1)*m_nuc**4+(-2*W**2*cost**2+2*W**2)*m_nuc**2+W**4*cost**2-W**4
     . )(%o3)                                                               true
(%i4) gentranlang: c $

(%i5) gentran (eval (var));

Maxima encountered a Lisp error:

 LEFTOVER-MFORMAT-ARGS?: extra mformat args (NIL T0 undeclared variable NIL)
```

Looks like gentran is trying to print some message about an undeclared variable; I don't know anything more about it.

Reported to the mailing list 2025-10-21: "Cannot convert expression into C code. Bug in allgentran?"


---

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] #4630 expand not idempotent (simplus)

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

Correction:  This fix isn't in the `do-over` scheme, but it has something to do with  handling of rational powers of integers (in the function `surd-convert`).   Maybe the culprit is in `simpexpt` but the `altsimp` code works around the bug.

Also, running the testsuite triggers the `do-over` scheme about seven times. 


---

**[bugs:#4630] expand not idempotent (simplus)**

**Status:** open
**Group:** None
**Labels:** Lisp Core - Simplification simplus 
**Created:** Tue Nov 04, 2025 07:57 PM UTC by Stavros Macrakis
**Last Updated:** Tue Nov 04, 2025 09:50 PM UTC
**Owner:** nobody


<pre>
vv: ((1/sqrt(2)-2^(1/3))/2^(1/3)-%i/2^(5/6))*(-(%i/2^(5/6))-(2^(1/3)+1/sqrt(2))/2^(1/3))$
expand(vv) =>
2^(1/6)*%i+1/2^(5/6)-1/2^(2/3)-1/2^(5/6)+1
expand(%) =>
2^(1/6)*%i-1/2^(2/3)+1
</pre>

Maxima 5.48.1 SBCL 2.5.7 MacOS 15.7.1 Intel



---

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] #4630 expand not idempotent (simplus)

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

- **labels**: Lisp Core - Simplification, expand, orderlessp --> Lisp Core - Simplification, simplus
- **summary**: expand not idempotent (orderlessp?) --> expand not idempotent (simplus)



---

**[bugs:#4630] expand not idempotent (simplus)**

**Status:** open
**Group:** None
**Labels:** Lisp Core - Simplification simplus 
**Created:** Tue Nov 04, 2025 07:57 PM UTC by Stavros Macrakis
**Last Updated:** Tue Nov 04, 2025 09:50 PM UTC
**Owner:** nobody


<pre>
vv: ((1/sqrt(2)-2^(1/3))/2^(1/3)-%i/2^(5/6))*(-(%i/2^(5/6))-(2^(1/3)+1/sqrt(2))/2^(1/3))$
expand(vv) =>
2^(1/6)*%i+1/2^(5/6)-1/2^(2/3)-1/2^(5/6)+1
expand(%) =>
2^(1/6)*%i-1/2^(2/3)+1
</pre>

Maxima 5.48.1 SBCL 2.5.7 MacOS 15.7.1 Intel



---

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: #4630 expand not idempotent (orderlessp?)

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

Thanks for the quick reply! I see that **contrib/altsimp** has very different code for **simplus** than **src/simp** does. Has it been promoted to the default **simplus** now? Or are there known problems with it? Or are we afraid that there are unknown problems with it?


---

**[bugs:#4630] expand not idempotent (orderlessp?)**

**Status:** open
**Group:** None
**Labels:** Lisp Core - Simplification expand orderlessp 
**Created:** Tue Nov 04, 2025 07:57 PM UTC by Stavros Macrakis
**Last Updated:** Tue Nov 04, 2025 09:32 PM UTC
**Owner:** nobody


<pre>
vv: ((1/sqrt(2)-2^(1/3))/2^(1/3)-%i/2^(5/6))*(-(%i/2^(5/6))-(2^(1/3)+1/sqrt(2))/2^(1/3))$
expand(vv) =>
2^(1/6)*%i+1/2^(5/6)-1/2^(2/3)-1/2^(5/6)+1
expand(%) =>
2^(1/6)*%i-1/2^(2/3)+1
</pre>

Maxima 5.48.1 SBCL 2.5.7 MacOS 15.7.1 Intel



---

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] #4630 expand not idempotent (orderlessp?)

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

This is an ancient bug in  `simplus`, not in orderlessp. The code in `altsimp` fixes this bug:

~~~
(%i3) load("altsimp")$

(%i4) vv: ((1/sqrt(2)-2^(1/3))/2^(1/3)-%i/2^(5/6))*(-(%i/2^(5/6))-(2^(1/3)+1/sqrt(2))/2^(1/3))$

(%i5) expand(vv);

(%o5) 2^(1/6)*%i-1/2^(2/3)+1
(%i6) expand(vv);

(%o6) 2^(1/6)*%i-1/2^(2/3)+1
~~~

The fix in `altsimp` is in the `do-over` scheme--see the explanation starting at line 329 in share/contrib/altsimp/altsimp.lisp.   

Last I tried,l the Maxima testsuite does not trigger the `do-over` scheme.


---

**[bugs:#4630] expand not idempotent (orderlessp?)**

**Status:** open
**Group:** None
**Labels:** Lisp Core - Simplification expand orderlessp 
**Created:** Tue Nov 04, 2025 07:57 PM UTC by Stavros Macrakis
**Last Updated:** Tue Nov 04, 2025 07:58 PM UTC
**Owner:** nobody


<pre>
vv: ((1/sqrt(2)-2^(1/3))/2^(1/3)-%i/2^(5/6))*(-(%i/2^(5/6))-(2^(1/3)+1/sqrt(2))/2^(1/3))$
expand(vv) =>
2^(1/6)*%i+1/2^(5/6)-1/2^(2/3)-1/2^(5/6)+1
expand(%) =>
2^(1/6)*%i-1/2^(2/3)+1
</pre>

Maxima 5.48.1 SBCL 2.5.7 MacOS 15.7.1 Intel



---

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] #4630 expand not idempotent (orderlessp?)

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

- Description has changed:

Diff:

~~~~

--- old
+++ new
@@ -5,3 +5,5 @@
 expand(%) =>
 2^(1/6)*%i-1/2^(2/3)+1
 </pre>
+
+Maxima 5.48.1 SBCL 2.5.7 MacOS 15.7.1 Intel

~~~~




---

**[bugs:#4630] expand not idempotent (orderlessp?)**

**Status:** open
**Group:** None
**Labels:** Lisp Core - Simplification expand orderlessp 
**Created:** Tue Nov 04, 2025 07:57 PM UTC by Stavros Macrakis
**Last Updated:** Tue Nov 04, 2025 07:57 PM UTC
**Owner:** nobody


<pre>
vv: ((1/sqrt(2)-2^(1/3))/2^(1/3)-%i/2^(5/6))*(-(%i/2^(5/6))-(2^(1/3)+1/sqrt(2))/2^(1/3))$
expand(vv) =>
2^(1/6)*%i+1/2^(5/6)-1/2^(2/3)-1/2^(5/6)+1
expand(%) =>
2^(1/6)*%i-1/2^(2/3)+1
</pre>

Maxima 5.48.1 SBCL 2.5.7 MacOS 15.7.1 Intel



---

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] #4630 expand not idempotent (orderlessp?)

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

---

**[bugs:#4630] expand not idempotent (orderlessp?)**

**Status:** open
**Group:** None
**Labels:** Lisp Core - Simplification expand orderlessp 
**Created:** Tue Nov 04, 2025 07:57 PM UTC by Stavros Macrakis
**Last Updated:** Tue Nov 04, 2025 07:57 PM UTC
**Owner:** nobody


<pre>
vv: ((1/sqrt(2)-2^(1/3))/2^(1/3)-%i/2^(5/6))*(-(%i/2^(5/6))-(2^(1/3)+1/sqrt(2))/2^(1/3))$
expand(vv) =>
2^(1/6)*%i+1/2^(5/6)-1/2^(2/3)-1/2^(5/6)+1
expand(%) =>
2^(1/6)*%i-1/2^(2/3)+1
</pre>



---

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] #4629 box expression missing simp flags & expand applied to boxed objects

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

---

**[bugs:#4629] box expression missing simp flags & expand applied to boxed objects**

**Status:** open
**Group:** None
**Created:** Tue Nov 04, 2025 12:45 PM UTC by Barton Willis
**Last Updated:** Tue Nov 04, 2025 12:45 PM UTC
**Owner:** nobody


The user documentation doesn't say what `expand` is supposed to do to a boxed expression, but I'm pretty sure that we don't want `expand` to strip a boxed expression of some of its `simp` flags:

~~~
(%i25) xxx : box(x/2)$

(%i26) ?print([xxx,expand(xxx)]);

((MLIST SIMP) ((MBOX) ((MTIMES SIMP) ((RAT SIMP) 1 2) $X))
                                        ((MBOX) ((MTIMES) ((RAT) 1 2) $X)))
~~~
In the expanded expression, `rat` lost its  `simp` flag. Additionally,  the `mbox` operators are missing a `simp` flag.

For a labeled box, all is well:
~~~
(%i32) xxx : box(x/2,0)$

(%i33) ?print([xxx,expand(xxx)]);

((MLIST SIMP) ((MLABOX SIMP) ((MTIMES SIMP) ((RAT SIMP) 1 2) $X) 0)
                                        ((MLABOX SIMP) ((MTIMES SIMP) ((RAT SIMP) 1 2) $X) 0))
(%o33) [box(x/2,0),box(x/2,0)]
~~~

This was done with a recent Maxima build. With Maxima 5.48.1, I think all is well:

~~~
(%i1)	xxx : box(x/2);
(xxx)	box(x/2)
(%i2)	?print(%);
((MBOX SIMP) ((MTIMES SIMP) ((RAT SIMP) 1 2) $X)) 

(%o2)	box(x/2)
(%i3)	expand(xxx);
(%o3)	box(x/2)
(%i4)	?print(%);
((MBOX SIMP) ((MTIMES SIMP) ((RAT SIMP) 1 2) $X)) 

(%o4)	box(x/2)
~~~




---

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] #4276 expintegral_ei incorrect behavior at infinity

[Dan G. <dg...@us...>]

- **status**: open --> closed
- **assigned_to**: Dan Gildea
- **Comment**:

Fixed by [76f95cbc5c96ea55c888160279305b4e41d37e4d]



---

**[bugs:#4276] expintegral_ei incorrect behavior at infinity**

**Status:** closed
**Group:** None
**Labels:** taylor expintegral_ei limit 
**Created:** Thu Mar 21, 2024 09:08 PM UTC by opfromthestart
**Last Updated:** Mon Mar 25, 2024 07:52 PM UTC
**Owner:** Dan Gildea


Some behavior of expintegral_ei is not correct 
```
(%i25) limit(((expintegral_ei(x)/%e^x)*x-1)*x,x,inf);
(%o25)                               minf
```

Bu this limit is known to be 1 (eg `https://www.wolframalpha.com/input?i=limit+x+to+infinity+%28%28Ei%28x%29%2Fe%5Ex%29*x-1%29*x`).

```
(%i29) taylor(expintegral_ei(x)*%e^-x,x,inf,10);

taylor: encountered an unfamiliar singularity in:
expintegral_ei(x)
 -- an error. To debug this try: debugmode(true);
```
But this Laurent series can be found (`https://www.wolframalpha.com/input?i=Ei%28x%29e%5E-x+series+at+infinity`).
```
Maxima version: "5.45.1"
Maxima build date: "2021-12-06 23:50:08"
Host type: "x86_64-pc-linux-gnu"
Lisp implementation type: "GNU Common Lisp (GCL)"
Lisp implementation version: "GCL 2.6.12"
User dir: "/home/opfromthestart/.maxima"
Temp dir: "/tmp"
Object dir: "/home/opfromthestart/.maxima/binary/5_45_1/gcl/GCL_2_6_12"
Frontend: false
```
I also have tried it on 5.47.0 and I get the same errors.


---

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

[Dan G. <dg...@us...>]

- **status**: open --> closed
- **assigned_to**: Dan Gildea



---

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

**Status:** closed
**Group:** None
**Created:** Wed Jul 30, 2025 07:56 AM UTC by vsxbamboo
**Last Updated:** Mon Nov 03, 2025 04:37 PM UTC
**Owner:** Dan Gildea


```
(%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

[Dan G. <dg...@us...>]

Fixed by [e345492aaf713cfc36a4d18f543ea97cb9df351e]


---

**[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 Oct 15, 2025 01:29 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] #4594 Maxima-5.48.1 Breaks Draw3d With Surface_Hide=True

[F R. <fru...@us...>]

I filed a bug report with Gnuplot and indeed it was a Gnuplot error.  The issue is now fixed.

However, you may want to review the Gnuplot report as it may have some relevance on how Maxima generates its draw3d() scripts:

https://sourceforge.net/p/gnuplot/bugs/2836/




---

**[bugs:#4594] Maxima-5.48.1 Breaks Draw3d With Surface_Hide=True**

**Status:** wont-fix
**Group:** None
**Labels:** draw3d gnuplot 
**Created:** Wed Aug 13, 2025 02:53 PM UTC by F Russell
**Last Updated:** Thu Oct 09, 2025 07:54 PM UTC
**Owner:** nobody
**Attachments:**

- [maxout8523.gnuplot](https://sourceforge.net/p/maxima/bugs/4594/attachment/maxout8523.gnuplot) (1.0 kB; application/x-gnuplot)


After upgrading to maxima-5.48.1 all of my draw3d graphics that contain the "surface_hide=true" option now broken.  Only the axes are shown.  The surface is not drawn.

The example command is:

load(draw)$
draw3d(xrange=[-2,2], yrange=[-2,2], surface_hide=true, explicit(x^2-y^2, x, -1, 1, y, -1, 1))$

I have traced the problem to the "set pm3d at s depthorder explicit" line in the maxoutXXX.gnuplot file.  This file is passed to gnuplot and the plot fails without error but no surface is shown.

If I comment https://sourceforge.net/p/maxima/bugs/4297/out the above mentioned line the surface plot will succeed.

This was supposed to have been fixed with this report:

https://sourceforge.net/p/maxima/bugs/4297/

However, the problem persists with draw3d.

I am using maxima-5.48.1 and gnuplot-6.0.3.



---

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] #4628 %solve(abs(sin(x))=1, x) misses solutions

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

- **labels**:  --> %solve
- **assigned_to**: Barton Willis



---

**[bugs:#4628] %solve(abs(sin(x))=1,x) misses solutions**

**Status:** open
**Group:** None
**Labels:** %solve 
**Created:** Sat Nov 01, 2025 08:50 PM UTC by Stavros Macrakis
**Last Updated:** Sat Nov 01, 2025 08:50 PM UTC
**Owner:** Barton Willis


<pre>
%solve(abs(sin(x))=1,x) =>
   %union([x = 2*%pi*%z3405-%i*log(sqrt(2)-1)],
                     [x = 2*%pi*%z3454-%i*log(sqrt(2)+1)])
</pre>
This is missing all the real solutions (namely %pi*(%z+1/2)) as well as many other complex solutions.


---

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] #4628 %solve(abs(sin(x))=1, x) misses solutions

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

---

**[bugs:#4628] %solve(abs(sin(x))=1,x) misses solutions**

**Status:** open
**Group:** None
**Created:** Sat Nov 01, 2025 08:50 PM UTC by Stavros Macrakis
**Last Updated:** Sat Nov 01, 2025 08:50 PM UTC
**Owner:** nobody


<pre>
%solve(abs(sin(x))=1,x) =>
   %union([x = 2*%pi*%z3405-%i*log(sqrt(2)-1)],
                     [x = 2*%pi*%z3454-%i*log(sqrt(2)+1)])
</pre>
This is missing all the real solutions (namely %pi*(%z+1/2)) as well as many other complex solutions.


---

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] #4627 box(inf) causes infinite recursion in limit and integrate

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

- Description has changed:

Diff:

~~~~

--- old
+++ new
@@ -11,3 +11,5 @@
 integrate(x,x,0,box(inf)) =>
     ERROR binding stack exhausted
 ~~~~
+
+Maxima 5.48.1 on SBCL 2.5.7 MacOS Intel

~~~~




---

**[bugs:#4627] box(inf) causes infinite recursion in limit and integrate**

**Status:** open
**Group:** None
**Labels:** Lisp Core inf limit integrate 
**Created:** Thu Oct 30, 2025 04:08 PM UTC by Stavros Macrakis
**Last Updated:** Thu Oct 30, 2025 07:59 PM UTC
**Owner:** nobody


Unproblematic:
~~~~
limit(x,x,box(3)) => noun form
integrate(x,x,0,box(3))
      => box(3)^2/2
~~~~
Problem:
~~~~
limit(x,x,box(inf)) => 
    ERROR binding stack exhausted
integrate(x,x,0,box(inf)) =>
    ERROR binding stack exhausted
~~~~

Maxima 5.48.1 on SBCL 2.5.7 MacOS Intel


---

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.