Re: 6 months free Claude Max 20x for working on Maxima

--===============6781069222646214177==
Content-Type: multipart/alternative; boundary="0000000000009b0a440657154dda"

--0000000000009b0a440657154dda
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

If you are looking for tasks,

 how about implementing CAD  (cylindrical algebraic decomposition)
which is described and coded in detail but not in Maxima.

implementing Rubi in Maxima is probably most easily done by implementing
Mathematica in Maxima, since Rubi is written in Mathematica.  Many parts ar=
e
done, including parser and matching.

I assume one cannot just ask "find bugs and fix them", but would like to
understand
what you CAN ask. Fix all bugs in factoring code ???

There are alternatives to solve() in Mathematica. look at them.
Eliminate[], Reduce[]  or
some such things.

There's a huge amount of stuff in the  automated theorem proving world that
has not
been  added to Maxima. Look at it . see if Lean 4 equivalent stuff can be
done.
The assume() database might benefit from this and a complete re-design/
implementation.

Maybe ask for a design (or several) for transfinite symbolic computing
(e.g. with
infinities and undetermined etc.)

or a complete implementation of interval arithmetic
compatible with IEEE standard [which should be unambiguously specified]

Just off the top of my head...
RJF






On Mon, Jul 20, 2026 at 5:44=E2=80=AFPM Robert Dodier <robert.dodier@gmail.=
com>
wrote:

> David, about projects to work on. Here is my $0.02 about what would
> benefit Maxima users.
>
> (1a) more extensive equation solving functionality. My own feeling
> about this is that a workable approach is to identify classes of
> solvable equations and write a solver for each, and combine them with
> a top-level pattern matcher (more or less) which figures out which
> special case to execute.
>
> (1b) as part of that, maybe fix bugs, extend, unify, and update the
> existing stuff for Groebner bases. I don't know where that stands at
> present.
>
> (2a) Fix bugs and extend indefinite and definite integration, maybe
> reimplement Rubi or something like that.
>
> (2b) Ensure that all functions which are emitted as solutions for
> integrals can be evaluated to a number. I suspect this is largely but
> maybe not entirely the case at present.
>
> (3) Fix all the bugs in the polynomial factoring code.
>
> (4) Modify or replace the facts database. It is a relatively simple
> scheme which is efficient, but it's not too hard to bump into its
> limitations. I don't know what's possible here.
>
>
> Hope this helps,
>
> Robert
>
>
> _______________________________________________
> Maxima-discuss mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/maxima-discuss
>

--0000000000009b0a440657154dda
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr"><div class=3D"gmail_default" style=3D"fon=
t-family:arial,sans-serif;font-size:small">If you are looking for tasks,</d=
iv><div class=3D"gmail_default" style=3D"font-family:arial,sans-serif;font-=
size:small"><br></div><div class=3D"gmail_default" style=3D"font-family:ari=
al,sans-serif;font-size:small">=C2=A0how about implementing CAD=C2=A0 (cyli=
ndrical algebraic decomposition)</div><div class=3D"gmail_default" style=3D=
"font-family:arial,sans-serif;font-size:small">which is described and coded=
 in detail but not in Maxima.</div><div class=3D"gmail_default" style=3D"fo=
nt-family:arial,sans-serif;font-size:small"><br></div><div class=3D"gmail_d=
efault" style=3D"font-family:arial,sans-serif;font-size:small">implementing=
 Rubi in Maxima is probably most easily done by implementing</div><div clas=
s=3D"gmail_default" style=3D"font-family:arial,sans-serif;font-size:small">=
Mathematica in Maxima, since Rubi is written in Mathematica.=C2=A0 Many par=
ts are</div><div class=3D"gmail_default" style=3D"font-family:arial,sans-se=
rif;font-size:small">done, including parser and matching.</div><div class=
=3D"gmail_default" style=3D"font-family:arial,sans-serif;font-size:small"><=
br></div><div class=3D"gmail_default" style=3D"font-family:arial,sans-serif=
;font-size:small">I assume one cannot just ask &quot;find bugs and fix them=
&quot;, but would like to understand</div><div class=3D"gmail_default" styl=
e=3D"font-family:arial,sans-serif;font-size:small">what you CAN ask. Fix al=
l bugs in factoring code ???=C2=A0</div><div class=3D"gmail_default" style=
=3D"font-family:arial,sans-serif;font-size:small"><br></div><div class=3D"g=
mail_default" style=3D"font-family:arial,sans-serif;font-size:small">There =
are alternatives to solve() in Mathematica. look at them. Eliminate[], Redu=
ce[]=C2=A0 or</div><div class=3D"gmail_default" style=3D"font-family:arial,=
sans-serif;font-size:small">some such things.=C2=A0</div><div class=3D"gmai=
l_default" style=3D"font-family:arial,sans-serif;font-size:small"><br></div=
><div class=3D"gmail_default" style=3D"font-family:arial,sans-serif;font-si=
ze:small">There&#39;s a huge amount of stuff in the=C2=A0 automated theorem=
 proving world that has not</div><div class=3D"gmail_default" style=3D"font=
-family:arial,sans-serif;font-size:small">been=C2=A0 added to Maxima. Look =
at it . see if Lean 4 equivalent stuff can be done.</div><div class=3D"gmai=
l_default" style=3D"font-family:arial,sans-serif;font-size:small">The assum=
e() database might benefit from this and a complete re-design/ implementati=
on.</div><div class=3D"gmail_default" style=3D"font-family:arial,sans-serif=
;font-size:small"><br></div><div class=3D"gmail_default" style=3D"font-fami=
ly:arial,sans-serif;font-size:small">Maybe ask for a design (or several) fo=
r transfinite symbolic computing=C2=A0 (e.g. with</div><div class=3D"gmail_=
default" style=3D"font-family:arial,sans-serif;font-size:small">infinities =
and undetermined etc.)=C2=A0 =C2=A0</div><div class=3D"gmail_default" style=
=3D"font-family:arial,sans-serif;font-size:small"><br></div><div class=3D"g=
mail_default" style=3D"font-family:arial,sans-serif;font-size:small">or a c=
omplete implementation of interval arithmetic</div><div class=3D"gmail_defa=
ult" style=3D"font-family:arial,sans-serif;font-size:small">compatible with=
 IEEE standard [which should be unambiguously specified]</div><div class=3D=
"gmail_default" style=3D"font-family:arial,sans-serif;font-size:small"><br>=
</div><div class=3D"gmail_default" style=3D"font-family:arial,sans-serif;fo=
nt-size:small">Just off the top of my head...</div><div class=3D"gmail_defa=
ult" style=3D"font-family:arial,sans-serif;font-size:small">RJF</div><div c=
lass=3D"gmail_default" style=3D"font-family:arial,sans-serif;font-size:smal=
l"><br></div><div class=3D"gmail_default" style=3D"font-family:arial,sans-s=
erif;font-size:small"><br></div><div class=3D"gmail_default" style=3D"font-=
family:arial,sans-serif;font-size:small"><br></div><div class=3D"gmail_defa=
ult" style=3D"font-family:arial,sans-serif;font-size:small"><br></div><div =
class=3D"gmail_default" style=3D"font-family:arial,sans-serif;font-size:sma=
ll"><br></div></div><br><div class=3D"gmail_quote gmail_quote_container"><d=
iv dir=3D"ltr" class=3D"gmail_attr">On Mon, Jul 20, 2026 at 5:44=E2=80=AFPM=
 Robert Dodier &lt;<a href=3D"mailto:[email protected]">robert.dodier=
@gmail.com</a>&gt; wrote:<br></div><blockquote class=3D"gmail_quote" style=
=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding=
-left:1ex">David, about projects to work on. Here is my $0.02 about what wo=
uld<br>
benefit Maxima users.<br>
<br>
(1a) more extensive equation solving functionality. My own feeling<br>
about this is that a workable approach is to identify classes of<br>
solvable equations and write a solver for each, and combine them with<br>
a top-level pattern matcher (more or less) which figures out which<br>
special case to execute.<br>
<br>
(1b) as part of that, maybe fix bugs, extend, unify, and update the<br>
existing stuff for Groebner bases. I don&#39;t know where that stands at<br=
>
present.<br>
<br>
(2a) Fix bugs and extend indefinite and definite integration, maybe<br>
reimplement Rubi or something like that.<br>
<br>
(2b) Ensure that all functions which are emitted as solutions for<br>
integrals can be evaluated to a number. I suspect this is largely but<br>
maybe not entirely the case at present.<br>
<br>
(3) Fix all the bugs in the polynomial factoring code.<br>
<br>
(4) Modify or replace the facts database. It is a relatively simple<br>
scheme which is efficient, but it&#39;s not too hard to bump into its<br>
limitations. I don&#39;t know what&#39;s possible here.<br>
<br>
<br>
Hope this helps,<br>
<br>
Robert<br>
<br>
<br>
_______________________________________________<br>
Maxima-discuss mailing list<br>
<a href=3D"mailto:[email protected]" target=3D"_blank">M=
[email protected]</a><br>
<a href=3D"https://lists.sourceforge.net/lists/listinfo/maxima-discuss" rel=
=3D"noreferrer" target=3D"_blank">https://lists.sourceforge.net/lists/listi=
nfo/maxima-discuss</a><br>
</blockquote></div></div>

--0000000000009b0a440657154dda--


--===============6781069222646214177==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============6781069222646214177==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

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

--===============6781069222646214177==--