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

[Maxima-bugs] [maxima:bugs] Re: #4814 Default GCD algorithm can't handle algebraic

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

I agree that almost all of our users don't care and shouldn't care. There might be 0.1% of our users who care a lot because they know which algorithm is fastest or least likely to have a bug on their special huge case.

Maybe we should have ``gcd:default`` mean "do what you think is best". That probably means ``algebraic:true`` as well. That way ``gcd(x^2-1,x-sqrt(2)) => x+sqrt(2)``, which I think is what most users expect.



---

**[bugs:#4814] Default GCD algorithm can't handle algebraic**

**Status:** closed
**Group:** None
**Labels:** gcd algebraic 
**Created:** Sun Jul 12, 2026 11:56 AM UTC by David Scherfgen
**Last Updated:** Sun Jul 12, 2026 03:08 PM UTC
**Owner:** nobody


>From the manual:

> To take the gcd when an algebraic is present, e.g., `gcd (x^2 - 2*sqrt(2)* x + 2, x - sqrt(2))`, the option variable `algebraic` must be `true` and `gcd` must not be `ez`.

This example doesn't work with the default `gcd` value of `spmod`:

~~~
(%i1) gcd (x^2 - 2*sqrt(2)* x + 2, x - sqrt(2)), algebraic;
(%o1)                             x - sqrt(2)
~~~

We should probably automatically select a different algorithm when algebraics are present.


---

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: #4814 Default GCD algorithm can't handle algebraic

[David S. <tom...@us...>]

By the way, the manual doesn't even have its own entry for the `gcd` option variable. I'd argue that the average user doesn't know what the different algorithms mean, and actually shouldn't have to know or care.


---

**[bugs:#4814] Default GCD algorithm can't handle algebraic**

**Status:** closed
**Group:** None
**Labels:** gcd algebraic 
**Created:** Sun Jul 12, 2026 11:56 AM UTC by David Scherfgen
**Last Updated:** Sun Jul 12, 2026 03:08 PM UTC
**Owner:** nobody


>From the manual:

> To take the gcd when an algebraic is present, e.g., `gcd (x^2 - 2*sqrt(2)* x + 2, x - sqrt(2))`, the option variable `algebraic` must be `true` and `gcd` must not be `ez`.

This example doesn't work with the default `gcd` value of `spmod`:

~~~
(%i1) gcd (x^2 - 2*sqrt(2)* x + 2, x - sqrt(2)), algebraic;
(%o1)                             x - sqrt(2)
~~~

We should probably automatically select a different algorithm when algebraics are present.


---

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: #4814 Default GCD algorithm can't handle algebraic

[David S. <tom...@us...>]

By the way, the manual doesn't even have its own entry for the `gcd` option variable. I'd argue that the average user doesn't know what the different algorithms mean, and actually shouldn't have to know or care.


---

**[bugs:#4814] Default GCD algorithm can't handle algebraic**

**Status:** closed
**Group:** None
**Labels:** gcd algebraic 
**Created:** Sun Jul 12, 2026 11:56 AM UTC by David Scherfgen
**Last Updated:** Sun Jul 12, 2026 03:06 PM UTC
**Owner:** nobody


>From the manual:

> To take the gcd when an algebraic is present, e.g., `gcd (x^2 - 2*sqrt(2)* x + 2, x - sqrt(2))`, the option variable `algebraic` must be `true` and `gcd` must not be `ez`.

This example doesn't work with the default `gcd` value of `spmod`:

~~~
(%i1) gcd (x^2 - 2*sqrt(2)* x + 2, x - sqrt(2)), algebraic;
(%o1)                             x - sqrt(2)
~~~

We should probably automatically select a different algorithm when algebraics are present.


---

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: #4814 Default GCD algorithm can't handle algebraic

[David S. <tom...@us...>]

Totally fair point - silent fallbacks definitely make it harder to trace exactly which algorithm is doing the job under the hood.

I actually considered signaling an error, but decided against it for the following reason: Because `'$spmod` is Maxima's default `$gcd` setting, throwing an error would suddenly break standard user inputs. Anyone simply calling `gcd` on polynomials with `sqrt` or `%i` would get a hard error unless they knew to manually switch the algorithm to `'$subres`.

Maybe print a warning message? I'm just afraid that it would flood the console, because lots of GCDs are taken all the time.


---

**[bugs:#4814] Default GCD algorithm can't handle algebraic**

**Status:** closed
**Group:** None
**Labels:** gcd algebraic 
**Created:** Sun Jul 12, 2026 11:56 AM UTC by David Scherfgen
**Last Updated:** Sun Jul 12, 2026 02:59 PM UTC
**Owner:** nobody


>From the manual:

> To take the gcd when an algebraic is present, e.g., `gcd (x^2 - 2*sqrt(2)* x + 2, x - sqrt(2))`, the option variable `algebraic` must be `true` and `gcd` must not be `ez`.

This example doesn't work with the default `gcd` value of `spmod`:

~~~
(%i1) gcd (x^2 - 2*sqrt(2)* x + 2, x - sqrt(2)), algebraic;
(%o1)                             x - sqrt(2)
~~~

We should probably automatically select a different algorithm when algebraics are present.


---

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] #4814 Default GCD algorithm can't handle algebraic

[Raymond T. <rt...@us...>]

This should probably be documented in the manual?    Although you've already fixed this, maybe it should have just signaled an error if spmod can't handle it instead?   Magically changing the gcd algorithm for this case mkes it difficult to know what happened if you have spmod but some other algorithm was actually used.  

Note:  I didn't look at the changes you actually made.


---

**[bugs:#4814] Default GCD algorithm can't handle algebraic**

**Status:** closed
**Group:** None
**Labels:** gcd algebraic 
**Created:** Sun Jul 12, 2026 11:56 AM UTC by David Scherfgen
**Last Updated:** Sun Jul 12, 2026 12:42 PM UTC
**Owner:** nobody


>From the manual:

> To take the gcd when an algebraic is present, e.g., `gcd (x^2 - 2*sqrt(2)* x + 2, x - sqrt(2))`, the option variable `algebraic` must be `true` and `gcd` must not be `ez`.

This example doesn't work with the default `gcd` value of `spmod`:

~~~
(%i1) gcd (x^2 - 2*sqrt(2)* x + 2, x - sqrt(2)), algebraic;
(%o1)                             x - sqrt(2)
~~~

We should probably automatically select a different algorithm when algebraics are present.


---

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] #4815 Matrix ordered incorrectly in sums and products

[David S. <tom...@us...>]

- **labels**: simplus, matrix --> simplus, matrix, simptimes
- **summary**: Matrix ordered incorrectly in sum --> Matrix ordered incorrectly in sums and products
- Description has changed:

Diff:

~~~~

--- old
+++ new
@@ -9,3 +9,13 @@
 ~~~
 
 The correct output for `(%o3)` is `v + matrix([2])`.
+
+The exact same bug exists for products:
+
+~~~
+(%i4) expr : v * matrix([1]);
+(%o4) v * matrix([1])
+
+(%i5) expr * matrix([1]);
+(%o5) v * matrix([1]) * matrix([1])
+~~~

~~~~




---

**[bugs:#4815] Matrix ordered incorrectly in sums and products**

**Status:** open
**Group:** None
**Labels:** simplus matrix simptimes 
**Created:** Sun Jul 12, 2026 01:00 PM UTC by David Scherfgen
**Last Updated:** Sun Jul 12, 2026 01:00 PM UTC
**Owner:** nobody


~~~
(%i1) declare(v, nonscalar)$

(%i2) expr : v + matrix([1]);
(%o2) v + matrix([1])

(%i3) expr + matrix([1]);
(%o3) v + matrix([1]) + matrix([1])
~~~

The correct output for `(%o3)` is `v + matrix([2])`.

The exact same bug exists for products:

~~~
(%i4) expr : v * matrix([1]);
(%o4) v * matrix([1])

(%i5) expr * matrix([1]);
(%o5) v * matrix([1]) * matrix([1])
~~~


---

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] #4815 Matrix ordered incorrectly in sum

[David S. <tom...@us...>]

---

**[bugs:#4815] Matrix ordered incorrectly in sum**

**Status:** open
**Group:** None
**Labels:** simplus matrix 
**Created:** Sun Jul 12, 2026 01:00 PM UTC by David Scherfgen
**Last Updated:** Sun Jul 12, 2026 01:00 PM UTC
**Owner:** nobody


~~~
(%i1) declare(v, nonscalar)$

(%i2) expr : v + matrix([1]);
(%o2) v + matrix([1])

(%i3) expr + matrix([1]);
(%o3) v + matrix([1]) + matrix([1])
~~~

The correct output for `(%o3)` is `v + matrix([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] #4814 Default GCD algorithm can't handle algebraic

[David S. <tom...@us...>]

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

Fixed by commit	[948338].



---

**[bugs:#4814] Default GCD algorithm can't handle algebraic**

**Status:** closed
**Group:** None
**Labels:** gcd algebraic 
**Created:** Sun Jul 12, 2026 11:56 AM UTC by David Scherfgen
**Last Updated:** Sun Jul 12, 2026 11:56 AM UTC
**Owner:** nobody


>From the manual:

> To take the gcd when an algebraic is present, e.g., `gcd (x^2 - 2*sqrt(2)* x + 2, x - sqrt(2))`, the option variable `algebraic` must be `true` and `gcd` must not be `ez`.

This example doesn't work with the default `gcd` value of `spmod`:

~~~
(%i1) gcd (x^2 - 2*sqrt(2)* x + 2, x - sqrt(2)), algebraic;
(%o1)                             x - sqrt(2)
~~~

We should probably automatically select a different algorithm when algebraics are present.


---

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] #4169 spmod bug when algebraic is true

[David S. <tom...@us...>]

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

Fixed by commit	[948338].



---

**[bugs:#4169] spmod bug when algebraic is true**

**Status:** closed
**Group:** None
**Labels:** gcd spmod algebraic 
**Created:** Wed Aug 02, 2023 12:33 PM UTC by Barton Willis
**Last Updated:** Wed Aug 02, 2023 12:36 PM UTC
**Owner:** nobody


Here is a bug that manifests when `gcd = spmod` and `algebraic = true.` Define `p` and  `dp`

~~~
(%i1)	p : gfactor(-((z-1)*(2*z-%i-2)^2));
(%o1)	-(z-1)*(2*z-%i-2)^2

(%i2)	dp : gfactor(diff(p,z));
(dp)	-(2*z-%i-2)*(6*z-%i-6)
~~~

Both are OK
~~~
(%i3)	block([gcd : subres, algebraic : false], gcd(p,dp));
(%o3)	2*z-%i-2

(%i4)	block([gcd : subres, algebraic : true], gcd(p,dp));
(%o4)	2*z-%i-2
~~~

Wrong for `gcd = spmod` and `algebraic = true`
~~~
(%i5)	block([gcd : spmod, algebraic : true], gcd(p,dp));
(%o5)	1
~~~

But OK for `gcd = spmod` and `algebraic = false`
~~~
(%i6)	block([gcd : spmod, algebraic : false], gcd(p,dp));
(%o6)	2*z-%i-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] #4814 Default GCD algorithm can't handle algebraic

[David S. <tom...@us...>]

---

**[bugs:#4814] Default GCD algorithm can't handle algebraic**

**Status:** open
**Group:** None
**Labels:** gcd algebraic 
**Created:** Sun Jul 12, 2026 11:56 AM UTC by David Scherfgen
**Last Updated:** Sun Jul 12, 2026 11:56 AM UTC
**Owner:** nobody


>From the manual:

> To take the gcd when an algebraic is present, e.g., `gcd (x^2 - 2*sqrt(2)* x + 2, x - sqrt(2))`, the option variable `algebraic` must be `true` and `gcd` must not be `ez`.

This example doesn't work with the default `gcd` value of `spmod`:

~~~
(%i1) gcd (x^2 - 2*sqrt(2)* x + 2, x - sqrt(2)), algebraic;
(%o1)                             x - sqrt(2)
~~~

We should probably automatically select a different algorithm when algebraics are present.


---

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] #4170 Loading decfp breaks raddenest

[David S. <tom...@us...>]

Minimal example:

~~~
(%i1) load(decfp)$
(%i2) rat(1.11b1); /* never returns */
~~~


---

**[bugs:#4170] Loading decfp breaks raddenest**

**Status:** open
**Group:** None
**Labels:** testsuite decfp raddenest 
**Created:** Mon Aug 07, 2023 10:42 PM UTC by Raymond Toy
**Last Updated:** Fri Sep 15, 2023 02:40 PM UTC
**Owner:** nobody


As mentioned by David Billinghurst on the [mailing
list](https://sourceforge.net/p/maxima/mailman/maxima-discuss/thread/72a43bab-ba4f-6132-ca1c-5c7681775d65%40gmail.com/#msg37880399), loading decfp causes raddenest to misbehave.  This can also be seen when running the share test suite.  Running the rtest_raddenest testsuite by itself doesn't have this problem.

We need to figure out how and why loading decfp breaks raddenest. Until then, we can workaround this issue by moving the decfp test to the end of the share tests.



---

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] #4116 decfp breaks bigfloats in 5.46 MacOS/5.45 Windows

[David S. <tom...@us...>]

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

Closing this ticket, as it works correctly in current Maxima.



---

**[bugs:#4116] decfp breaks bigfloats in 5.46 MacOS/5.45 Windows**

**Status:** closed
**Group:** None
**Labels:** decfp 
**Created:** Thu Mar 09, 2023 06:31 PM UTC by Stavros Macrakis
**Last Updated:** Sat Mar 11, 2023 07:17 PM UTC
**Owner:** nobody


Is decfp supposed to work in 5.46 SBCL MacOS and 5.45 SBCL 2.0.0 Windows?
Where is the doc?

~~~~
Maxima 5.46.0 https://maxima.sourceforge.io
using Lisp SBCL 2.3.0
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) load(decfp);

redefining bigfloat %ATAN to also work for decimal bigfloat
redefining bigfloat %LOG to also work for decimal bigfloat
(%i2) 2.3b0+1;
(%o2)                                3.3b0
(%i3) 2.3b0+3.4b0;
redefining bigfloat %TAN to also work for decimal bigfloat
redefining bigfloat %COS to also work for decimal bigfloat
redefining bigfloat %SIN to also work for decimal bigfloat(%o1) 
 /usr/local/Cellar/maxima/5.46.0_8/share/maxima/5.46.0/share/numeric/decfp.lisp
(%o3)                                5.7b0
(%i4) 2.3b0*3.4b0;

Maxima encountered a Lisp error:

 The value
   DECIMAL
 is not of type
   NUMBER

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] #4075 factor(..., p^2) => internal error

[David S. <tom...@us...>]

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

Fixed by commit [caa920].



---

**[bugs:#4075] factor\(...,p^2\) => internal error**

**Status:** closed
**Group:** None
**Labels:** factor 
**Created:** Tue Jan 10, 2023 06:31 PM UTC by Stavros Macrakis
**Last Updated:** Tue Jan 10, 2023 06:31 PM UTC
**Owner:** nobody


~~~~
factor(x^2-2,p^2);
INFO: Binding stack guard page unprotected
Binding stack guard page temporarily disabled: proceed with caution
Maxima encountered a Lisp error: Binding stack exhausted.
~~~~
 ``factor`` needs to check that the minimal polynomial is non-trivial


---

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] #4765 gfactor not idempotent

[David S. <tom...@us...>]

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

Fixed by commit [27db8e].



---

**[bugs:#4765] gfactor not idempotent**

**Status:** closed
**Group:** None
**Labels:** gfactor factor 
**Created:** Wed Jun 10, 2026 03:33 PM UTC by Stavros Macrakis
**Last Updated:** Fri Jun 12, 2026 11:09 AM UTC
**Owner:** nobody


~~~
gfactor((%i+1)^(-1/2)) =>
   ((1-%i)*sqrt(%i+1))/2
gfactor(%) =>
   -(((%i-1)*sqrt(%i+1))/2)
gfactor(%) =>
   -(((%i-1)*sqrt(%i+1))/2)   <<< stable
~~~
This is arguably outside the domain of `gfactor`, so this is a very low priority bug.
I hope priority=2 means that it is extra-low priority, not extra-high priority!


---

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] #4811 why display overwrites the dt in y2(x)*integrate( .., , t, 0, x) with y1 or is it expected to ?

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

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

The wxMaxima developers have fixed this bug:  see https://github.com/wxMaxima-developers/wxmaxima/issues/2111.  Closing this ticket



---

**[bugs:#4811] why display overwrites the dt in y2\(x\)\*integrate\( ..,,t,0,x\) with y1 or is it expected to ?**

**Status:** closed
**Group:** None
**Created:** Tue Jul 07, 2026 12:40 PM UTC by dan hayes
**Last Updated:** Fri Jul 10, 2026 06:00 PM UTC
**Owner:** nobody


build_info()  or bug_report()
WxMaxima version:             26.01.0_MSW
Using wxWidgets version:      wxWidgets 3.2.9
Maxima version:               5.49.0
Maxima build date:            2026-01-02 21:27:51
Host type:                    x86_64-w64-mingw32
System type:                  Win32 10.0.19041 X86-64
Lisp implementation type:     SBCL
Lisp implementation version:  2.6.0

"branch_5_44_base_231_g5c411f69f",timestamp="2021-01-12 23:51:42",host="x86_64-w64-mingw32",lisp_name="SBCL",lisp_version="2.0.0",maxima_userdir="C:/Users/zmth1/maxima",maxima_tempdir="C:/Users/zmth1/AppData/Local/Temp",maxima_objdir="C:/Users/zmth1/maxima/binary/branch_5_44_base_231_g5c411f69f/sbcl/2_0_0",maxima_frontend="wxMaxima",maxima_frontend_version="20.12.2-DevelopmentSnapshot_MSW_OpenMP201511+Locks")

[kill(y1,p,x,x0,t,y2),"y2"=y2:integrate(exp(-integrate(p(s),s,x0,t))/y1(t)^2,t,x0,x)*y1(x),"    dy2/dx"=dy2dx:diff(y2,x),"  d^2y2/dx^2"=diff(y2,x,2)];
Why the display overwrites the dt with y1 or i mean they are written on top of each other.
Does it display the same overwriting on your computer display ?  I don't want the grind output format.
Is there another way to do it using print... or whatever ?


---

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: #4811 why display overwrites the dt in y2(x)*integrate( .., , t, 0, x) with y1 or is it expected to ?

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

This is the Maxima bug list.
As I mentioned before, this is not the right place to ask questions about WxMaxima.
I don't know anything about wxMaxima, including what files it uses.
I have no idea what the typo "parf" means.
You can get base Maxima to format expressions as TeX for "fancy" output, which you can then use however you want.
~~~
tex('integrate(f(t),t,0,qq)*y) =>
     $$\left(\int_{0}^{{\it qq}}{f\left(t\right)\;dt}\right)\,y$$
~~~



---

**[bugs:#4811] why display overwrites the dt in y2\(x\)\*integrate\( ..,,t,0,x\) with y1 or is it expected to ?**

**Status:** open
**Group:** None
**Created:** Tue Jul 07, 2026 12:40 PM UTC by dan hayes
**Last Updated:** Fri Jul 10, 2026 04:06 PM UTC
**Owner:** nobody


build_info()  or bug_report()
WxMaxima version:             26.01.0_MSW
Using wxWidgets version:      wxWidgets 3.2.9
Maxima version:               5.49.0
Maxima build date:            2026-01-02 21:27:51
Host type:                    x86_64-w64-mingw32
System type:                  Win32 10.0.19041 X86-64
Lisp implementation type:     SBCL
Lisp implementation version:  2.6.0

"branch_5_44_base_231_g5c411f69f",timestamp="2021-01-12 23:51:42",host="x86_64-w64-mingw32",lisp_name="SBCL",lisp_version="2.0.0",maxima_userdir="C:/Users/zmth1/maxima",maxima_tempdir="C:/Users/zmth1/AppData/Local/Temp",maxima_objdir="C:/Users/zmth1/maxima/binary/branch_5_44_base_231_g5c411f69f/sbcl/2_0_0",maxima_frontend="wxMaxima",maxima_frontend_version="20.12.2-DevelopmentSnapshot_MSW_OpenMP201511+Locks")

[kill(y1,p,x,x0,t,y2),"y2"=y2:integrate(exp(-integrate(p(s),s,x0,t))/y1(t)^2,t,x0,x)*y1(x),"    dy2/dx"=dy2dx:diff(y2,x),"  d^2y2/dx^2"=diff(y2,x,2)];
Why the display overwrites the dt with y1 or i mean they are written on top of each other.
Does it display the same overwriting on your computer display ?  I don't want the grind output format.
Is there another way to do it using print... or whatever ?


---

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] #4811 why display overwrites the dt in y2(x)*integrate( .., , t, 0, x) with y1 or is it expected to ?

[dan h. <zm...@us...>]

ok now i see .wxmx has another parf like wxmaxima. A long time ago  as i recall can
make a plain .wxm file or something like that without  the wxmaxima part. Is that possible 
or am i mistaken and/or cannot get any fancy output without also the wxmaxima part ?


---

**[bugs:#4811] why display overwrites the dt in y2\(x\)\*integrate\( ..,,t,0,x\) with y1 or is it expected to ?**

**Status:** open
**Group:** None
**Created:** Tue Jul 07, 2026 12:40 PM UTC by dan hayes
**Last Updated:** Wed Jul 08, 2026 03:32 PM UTC
**Owner:** nobody


build_info()  or bug_report()
WxMaxima version:             26.01.0_MSW
Using wxWidgets version:      wxWidgets 3.2.9
Maxima version:               5.49.0
Maxima build date:            2026-01-02 21:27:51
Host type:                    x86_64-w64-mingw32
System type:                  Win32 10.0.19041 X86-64
Lisp implementation type:     SBCL
Lisp implementation version:  2.6.0

"branch_5_44_base_231_g5c411f69f",timestamp="2021-01-12 23:51:42",host="x86_64-w64-mingw32",lisp_name="SBCL",lisp_version="2.0.0",maxima_userdir="C:/Users/zmth1/maxima",maxima_tempdir="C:/Users/zmth1/AppData/Local/Temp",maxima_objdir="C:/Users/zmth1/maxima/binary/branch_5_44_base_231_g5c411f69f/sbcl/2_0_0",maxima_frontend="wxMaxima",maxima_frontend_version="20.12.2-DevelopmentSnapshot_MSW_OpenMP201511+Locks")

[kill(y1,p,x,x0,t,y2),"y2"=y2:integrate(exp(-integrate(p(s),s,x0,t))/y1(t)^2,t,x0,x)*y1(x),"    dy2/dx"=dy2dx:diff(y2,x),"  d^2y2/dx^2"=diff(y2,x,2)];
Why the display overwrites the dt with y1 or i mean they are written on top of each other.
Does it display the same overwriting on your computer display ?  I don't want the grind output format.
Is there another way to do it using print... or whatever ?


---

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: #4811 why display overwrites the dt in y2(x)*integrate( .., , t, 0, x) with y1 or is it expected to ?

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

wxMaxima is a separate project from Maxima, and is not "essentially part of the same". 

WxMaxima uses Maxima as its computational core, but is a different codebase (in C++) hosted on a different git repo (github, not sourceforce, as I already pointed out) and has different maintainers.

There are other front ends for Maxima, each of which has its own codebase and own maintainers, some of whom may contribute to Maxima as well. For example, GNU TeXmacs, Maxima-Jupyter, Xmaxima, Imaxima, SageMath, etc.


---

**[bugs:#4811] why display overwrites the dt in y2\(x\)\*integrate\( ..,,t,0,x\) with y1 or is it expected to ?**

**Status:** open
**Group:** None
**Created:** Tue Jul 07, 2026 12:40 PM UTC by dan hayes
**Last Updated:** Wed Jul 08, 2026 09:56 AM UTC
**Owner:** nobody


build_info()  or bug_report()
WxMaxima version:             26.01.0_MSW
Using wxWidgets version:      wxWidgets 3.2.9
Maxima version:               5.49.0
Maxima build date:            2026-01-02 21:27:51
Host type:                    x86_64-w64-mingw32
System type:                  Win32 10.0.19041 X86-64
Lisp implementation type:     SBCL
Lisp implementation version:  2.6.0

"branch_5_44_base_231_g5c411f69f",timestamp="2021-01-12 23:51:42",host="x86_64-w64-mingw32",lisp_name="SBCL",lisp_version="2.0.0",maxima_userdir="C:/Users/zmth1/maxima",maxima_tempdir="C:/Users/zmth1/AppData/Local/Temp",maxima_objdir="C:/Users/zmth1/maxima/binary/branch_5_44_base_231_g5c411f69f/sbcl/2_0_0",maxima_frontend="wxMaxima",maxima_frontend_version="20.12.2-DevelopmentSnapshot_MSW_OpenMP201511+Locks")

[kill(y1,p,x,x0,t,y2),"y2"=y2:integrate(exp(-integrate(p(s),s,x0,t))/y1(t)^2,t,x0,x)*y1(x),"    dy2/dx"=dy2dx:diff(y2,x),"  d^2y2/dx^2"=diff(y2,x,2)];
Why the display overwrites the dt with y1 or i mean they are written on top of each other.
Does it display the same overwriting on your computer display ?  I don't want the grind output format.
Is there another way to do it using print... or whatever ?


---

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] #4811 why display overwrites the dt in y2(x)*integrate( .., , t, 0, x) with y1 or is it expected to ?

[dan h. <zm...@us...>]

but ok what you wrote may also be same display problem. Don't know why u say wxmaxima problem. i would assume maxima and wxmaxima are essentially part of the same and either problems with one or the other reported here in the same forum


---

**[bugs:#4811] why display overwrites the dt in y2\(x\)\*integrate\( ..,,t,0,x\) with y1 or is it expected to ?**

**Status:** open
**Group:** None
**Created:** Tue Jul 07, 2026 12:40 PM UTC by dan hayes
**Last Updated:** Wed Jul 08, 2026 09:51 AM UTC
**Owner:** nobody


build_info()  or bug_report()
WxMaxima version:             26.01.0_MSW
Using wxWidgets version:      wxWidgets 3.2.9
Maxima version:               5.49.0
Maxima build date:            2026-01-02 21:27:51
Host type:                    x86_64-w64-mingw32
System type:                  Win32 10.0.19041 X86-64
Lisp implementation type:     SBCL
Lisp implementation version:  2.6.0

"branch_5_44_base_231_g5c411f69f",timestamp="2021-01-12 23:51:42",host="x86_64-w64-mingw32",lisp_name="SBCL",lisp_version="2.0.0",maxima_userdir="C:/Users/zmth1/maxima",maxima_tempdir="C:/Users/zmth1/AppData/Local/Temp",maxima_objdir="C:/Users/zmth1/maxima/binary/branch_5_44_base_231_g5c411f69f/sbcl/2_0_0",maxima_frontend="wxMaxima",maxima_frontend_version="20.12.2-DevelopmentSnapshot_MSW_OpenMP201511+Locks")

[kill(y1,p,x,x0,t,y2),"y2"=y2:integrate(exp(-integrate(p(s),s,x0,t))/y1(t)^2,t,x0,x)*y1(x),"    dy2/dx"=dy2dx:diff(y2,x),"  d^2y2/dx^2"=diff(y2,x,2)];
Why the display overwrites the dt with y1 or i mean they are written on top of each other.
Does it display the same overwriting on your computer display ?  I don't want the grind output format.
Is there another way to do it using print... or whatever ?


---

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] #4811 why display overwrites the dt in y2(x)*integrate( .., , t, 0, x) with y1 or is it expected to ?

[dan h. <zm...@us...>]

NO you have not guessed what i am talking about.  But a minimal example is instead
integrate(f(t),t,0,qq)*y;
where f(t) is unknown along with t and qq and y. I mean they have not been defined or bound . As you see y overwrites dt in the output display. NOw do you still say it is wxmaxima problem ?


---

**[bugs:#4811] why display overwrites the dt in y2\(x\)\*integrate\( ..,,t,0,x\) with y1 or is it expected to ?**

**Status:** open
**Group:** None
**Created:** Tue Jul 07, 2026 12:40 PM UTC by dan hayes
**Last Updated:** Tue Jul 07, 2026 09:57 PM UTC
**Owner:** nobody


build_info()  or bug_report()
WxMaxima version:             26.01.0_MSW
Using wxWidgets version:      wxWidgets 3.2.9
Maxima version:               5.49.0
Maxima build date:            2026-01-02 21:27:51
Host type:                    x86_64-w64-mingw32
System type:                  Win32 10.0.19041 X86-64
Lisp implementation type:     SBCL
Lisp implementation version:  2.6.0

"branch_5_44_base_231_g5c411f69f",timestamp="2021-01-12 23:51:42",host="x86_64-w64-mingw32",lisp_name="SBCL",lisp_version="2.0.0",maxima_userdir="C:/Users/zmth1/maxima",maxima_tempdir="C:/Users/zmth1/AppData/Local/Temp",maxima_objdir="C:/Users/zmth1/maxima/binary/branch_5_44_base_231_g5c411f69f/sbcl/2_0_0",maxima_frontend="wxMaxima",maxima_frontend_version="20.12.2-DevelopmentSnapshot_MSW_OpenMP201511+Locks")

[kill(y1,p,x,x0,t,y2),"y2"=y2:integrate(exp(-integrate(p(s),s,x0,t))/y1(t)^2,t,x0,x)*y1(x),"    dy2/dx"=dy2dx:diff(y2,x),"  d^2y2/dx^2"=diff(y2,x,2)];
Why the display overwrites the dt with y1 or i mean they are written on top of each other.
Does it display the same overwriting on your computer display ?  I don't want the grind output format.
Is there another way to do it using print... or whatever ?


---

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] #4813 is(equal(1/z, 0)) = unknown for complex z

[David S. <tom...@us...>]

---

**[bugs:#4813] is\(equal\(1/z, 0\)\) = unknown for complex z**

**Status:** open
**Group:** None
**Labels:** complex equal 
**Created:** Wed Jul 08, 2026 08:26 AM UTC by David Scherfgen
**Last Updated:** Wed Jul 08, 2026 08:26 AM UTC
**Owner:** nobody


~~~
(%i1) declare(z, complex)$
(%i2) is(equal(1/z, 0));
(%o2) unknown
~~~

I guess that's because `csign` has no way to say "complex, but not zero".


---

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] #4811 why display overwrites the dt in y2(x)*integrate( .., , t, 0, x) with y1 or is it expected to ?

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

If you want a DIY fix, here are two initial steps:

Find the name of the function that displays '%integrate objects:
~~~
(%i2)	:lisp(symbol-plist '%integrate);
(WXXML WXXML-INT OPERS T DISTRIBUTE_OVER NIL OPERATORS SIMPINTEG MSIMPIND NIL

       $OUTATIVE T SIMPLIM%FUNCTION SIMPLIM%INTEGRATE RBP 115 DIMENSION

       DIM-%INTEGRATE TEX TEX-INT NOUN $INTEGRATE)

   ~~~
Print the lambda list for `wxxml-int -- find w:here to insert a space or two. If you are stumped, try asking AI:

   ~~~
       
(%i3)	:lisp(print (describe 'wxxml-int));
MAXIMA::WXXML-INT

  [symbol]

WXXML-INT names a compiled function:

  Lambda-list: (X L R)

  Derived type: FUNCTION

  Source form:

    (LAMBDA (X L R)

      (BLOCK WXXML-INT

        (LET ((S1 (WXXML (CADR X) NIL NIL 'MPAREN 'MPAREN))

              (VAR (WXXML (CADDR X) NIL NIL 'MPAREN ROP)))

          (COND

           ((= (LENGTH X) 3)

            (APPEND L

                    `("<in def=\"false\"><mrow>" ,@S1

                      "</mrow><mrow><s>d</s>" ,@VAR "</mrow></in>")

                    R))

           (T

            (LET ((LOW (WXXML (NTH 3 X) NIL NIL 'MPAREN 'MPAREN))

                  (HI (WXXML (NTH 4 X) NIL NIL 'MPAREN 'MPAREN)))

              (APPEND L

                      `("<in><mrow>" ,@LOW "</mrow><mrow>" ,@HI

                        "</mrow><mrow>" ,@S1 "</mrow><mrow><s>d</s>"

                        ,@VAR "</mrow></in>")

                      R)))))))

NIL 

NIL
~~~
Let us know what you discover.


---

**[bugs:#4811] why display overwrites the dt in y2\(x\)\*integrate\( ..,,t,0,x\) with y1 or is it expected to ?**

**Status:** open
**Group:** None
**Created:** Tue Jul 07, 2026 12:40 PM UTC by dan hayes
**Last Updated:** Tue Jul 07, 2026 04:21 PM UTC
**Owner:** nobody


build_info()  or bug_report()
WxMaxima version:             26.01.0_MSW
Using wxWidgets version:      wxWidgets 3.2.9
Maxima version:               5.49.0
Maxima build date:            2026-01-02 21:27:51
Host type:                    x86_64-w64-mingw32
System type:                  Win32 10.0.19041 X86-64
Lisp implementation type:     SBCL
Lisp implementation version:  2.6.0

"branch_5_44_base_231_g5c411f69f",timestamp="2021-01-12 23:51:42",host="x86_64-w64-mingw32",lisp_name="SBCL",lisp_version="2.0.0",maxima_userdir="C:/Users/zmth1/maxima",maxima_tempdir="C:/Users/zmth1/AppData/Local/Temp",maxima_objdir="C:/Users/zmth1/maxima/binary/branch_5_44_base_231_g5c411f69f/sbcl/2_0_0",maxima_frontend="wxMaxima",maxima_frontend_version="20.12.2-DevelopmentSnapshot_MSW_OpenMP201511+Locks")

[kill(y1,p,x,x0,t,y2),"y2"=y2:integrate(exp(-integrate(p(s),s,x0,t))/y1(t)^2,t,x0,x)*y1(x),"    dy2/dx"=dy2dx:diff(y2,x),"  d^2y2/dx^2"=diff(y2,x,2)];
Why the display overwrites the dt with y1 or i mean they are written on top of each other.
Does it display the same overwriting on your computer display ?  I don't want the grind output format.
Is there another way to do it using print... or whatever ?


---

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] #4812 limit(abs(x^2 + 4*%i*x +1) - x^2, x, inf)

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

---

**[bugs:#4812] limit\(abs\(x^2 + 4\*%i\*x +1\) - x^2,x,inf\)**

**Status:** open
**Group:** None
**Labels:** limit 
**Created:** Tue Jul 07, 2026 05:24 PM UTC by Barton Willis
**Last Updated:** Tue Jul 07, 2026 05:24 PM UTC
**Owner:** Barton Willis


Not wrong, but 9 is a better answer:
~~~
(%i6)	limit(abs(x^2 + 4*%i*x +1) - x^2,x,inf);
(%o6)	limit(abs(x^2+4*%i*x+1)-x^2,x,inf)

(%i7)	build_info();
(%o7)	build_info(version="5.49.0",timestamp="2026-01-02 21:27:51" ...
~~~
There are other examples that involve expressions that involve `abs(XXX + %i*YYY)`

I have a possible fix, so I've assigned this to me.




---

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] #4811 why display overwrites the dt in y2(x)*integrate( .., , t, 0, x) with y1 or is it expected to ?

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

This appears to be a wxMaxima bug, so please report it at https://github.com/wxMaxima-developers/wxmaxima/issues
I suggest you give them a minimal example.
If I have guessed correctly about what you're talking about, this shows the problem (see attachment):
~~~
'integrate(t,t,0,qq)*y;
~~~




Attachments:

- [max12.png](https://sourceforge.net/p/maxima/bugs/_discuss/thread/cfbd9bd9d1/ed6e/attachment/max12.png) (7.0 kB; image/png)


---

**[bugs:#4811] why display overwrites the dt in y2\(x\)\*integrate\( ..,,t,0,x\) with y1 or is it expected to ?**

**Status:** open
**Group:** None
**Created:** Tue Jul 07, 2026 12:40 PM UTC by dan hayes
**Last Updated:** Tue Jul 07, 2026 12:43 PM UTC
**Owner:** nobody


build_info()  or bug_report()
WxMaxima version:             26.01.0_MSW
Using wxWidgets version:      wxWidgets 3.2.9
Maxima version:               5.49.0
Maxima build date:            2026-01-02 21:27:51
Host type:                    x86_64-w64-mingw32
System type:                  Win32 10.0.19041 X86-64
Lisp implementation type:     SBCL
Lisp implementation version:  2.6.0

"branch_5_44_base_231_g5c411f69f",timestamp="2021-01-12 23:51:42",host="x86_64-w64-mingw32",lisp_name="SBCL",lisp_version="2.0.0",maxima_userdir="C:/Users/zmth1/maxima",maxima_tempdir="C:/Users/zmth1/AppData/Local/Temp",maxima_objdir="C:/Users/zmth1/maxima/binary/branch_5_44_base_231_g5c411f69f/sbcl/2_0_0",maxima_frontend="wxMaxima",maxima_frontend_version="20.12.2-DevelopmentSnapshot_MSW_OpenMP201511+Locks")

[kill(y1,p,x,x0,t,y2),"y2"=y2:integrate(exp(-integrate(p(s),s,x0,t))/y1(t)^2,t,x0,x)*y1(x),"    dy2/dx"=dy2dx:diff(y2,x),"  d^2y2/dx^2"=diff(y2,x,2)];
Why the display overwrites the dt with y1 or i mean they are written on top of each other.
Does it display the same overwriting on your computer display ?  I don't want the grind output format.
Is there another way to do it using print... or whatever ?


---

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] #4811 why display overwrites the dt in y2(x)*integrate( .., , t, 0, x) with y1 or is it expected to ?

[dan h. <zm...@us...>]

i meant to have written y1(x)*.... in the title rather than y2(x)*,,,


---

**[bugs:#4811] why display overwrites the dt in y2\(x\)\*integrate\( ..,,t,0,x\) with y1 or is it expected to ?**

**Status:** open
**Group:** None
**Created:** Tue Jul 07, 2026 12:40 PM UTC by dan hayes
**Last Updated:** Tue Jul 07, 2026 12:40 PM UTC
**Owner:** nobody


build_info()  or bug_report()
WxMaxima version:             26.01.0_MSW
Using wxWidgets version:      wxWidgets 3.2.9
Maxima version:               5.49.0
Maxima build date:            2026-01-02 21:27:51
Host type:                    x86_64-w64-mingw32
System type:                  Win32 10.0.19041 X86-64
Lisp implementation type:     SBCL
Lisp implementation version:  2.6.0

"branch_5_44_base_231_g5c411f69f",timestamp="2021-01-12 23:51:42",host="x86_64-w64-mingw32",lisp_name="SBCL",lisp_version="2.0.0",maxima_userdir="C:/Users/zmth1/maxima",maxima_tempdir="C:/Users/zmth1/AppData/Local/Temp",maxima_objdir="C:/Users/zmth1/maxima/binary/branch_5_44_base_231_g5c411f69f/sbcl/2_0_0",maxima_frontend="wxMaxima",maxima_frontend_version="20.12.2-DevelopmentSnapshot_MSW_OpenMP201511+Locks")

[kill(y1,p,x,x0,t,y2),"y2"=y2:integrate(exp(-integrate(p(s),s,x0,t))/y1(t)^2,t,x0,x)*y1(x),"    dy2/dx"=dy2dx:diff(y2,x),"  d^2y2/dx^2"=diff(y2,x,2)];
Why the display overwrites the dt with y1 or i mean they are written on top of each other.
Does it display the same overwriting on your computer display ?  I don't want the grind output format.
Is there another way to do it using print... or whatever ?


---

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.