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

Raymond Toy <[email protected]> Wed, 22 Jul 2026 10:34:08 -0700
Newsgroups gmane.comp.mathematics.maxima.general
Message-ID <[email protected]> 
This is a multi-part message in MIME format.
--===============8338319338026782475==
Content-Type: multipart/alternative;
 boundary="------------kYAl1mAAEVl2nSHa6XkA0109"
Content-Language: en-US

This is a multi-part message in MIME format.
--------------kYAl1mAAEVl2nSHa6XkA0109
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit

On 7/21/26 12:00 PM, Gunter K�nigsmann via Maxima-discuss wrote:

>
> One other non-mathematical thing would be asking it to clean up the 
> build dependencies so incremental builds actually yield the result one 
> expects and don't forget dependencies or hit circular ones.
A few months ago I asked Claude to check the dependencies between files 
to make them explicit and the dependencies between modules too. Many of 
these changes have been incorporated. Along the way, some modules got 
split into smaller ones to simplify the dependencies.

My original goal was to get the build order correct so the 
|def-simplifier| compiler macros were always defined ahead of use. What 
I learned is that there are a lot of circular dependencies. Some of 
these were fixed but many were not. I think this would require a huge 
refactoring of the existing code moving all kinds of things around. I 
stopped at that point because it was a lot of work. Claude could 
probably do it fairly easily, but it would make the file names and 
modules a lot less meaningful and I didn’t know how to keep them simple.

>
> We could ask it to clean up our mess with global variables as a first 
> step towards multi-threading.
I’ve worked on this over the years doing it by hand. I haven’t tried 
with Claude but it’s on my list. If nothing else, it will at least make 
it easier to find all the uses. However, it’s also hard because lots of 
places use the same (short) name for different things.
>
> We could ask it to perform a stability review.
>
> I don't know how good it is in maths. But when it can change stuff so 
> it is testable, add tests and then test the results of its work it 
> really excels. Or we could ask it what needs to be done so it can port 
> Rubi.
For some other projects, Claude has been quite good at creating tests. 
For those projects, it’s easily verifiable that it’s correct. Could be 
harder in maxima, if, say, Claude says here’s a definite integral with 
corresponding result. It could be difficult the verify that that’s 
correct. We could compute it numerically, but that’s not a proof of 
correctness.
&#8203;
--------------kYAl1mAAEVl2nSHa6XkA0109
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE html>
<html>
  <head>

    <meta http-equiv=3D"content-type" content=3D"text/html; charset=3DUTF=
-8">
    <title></title>
    <meta charset=3D"utf-8">
  </head>
  <body>
    <div class=3D"markdown-here-wrapper">
      <p style=3D"margin-bottom: 19.2px; margin-top: 0px;">On 7/21/26
        12:00 PM, Gunter K=EF=BF=BDnigsmann via Maxima-discuss wrote:<br>=

      </p>
      <blockquote type=3D"cite"
style=3D"border-block-color: rgb(119, 119, 119); border-bottom-color: rgb=
(119, 119, 119); border-inline-color: rgb(114, 159, 207) rgb(119, 119, 11=
9); border-inline-start: 2px solid rgb(114, 159, 207); border-left: 2px s=
olid rgb(114, 159, 207); border-right-color: rgb(119, 119, 119); border-t=
op-color: rgb(119, 119, 119); color: rgb(119, 119, 119); column-rule-colo=
r: rgb(119, 119, 119); margin: 19.2px 0px; outline-color: rgb(119, 119, 1=
19); padding-inline: 16px; padding-left: 16px; padding-right: 16px; quote=
s: none; text-decoration-color: rgb(119, 119, 119); text-emphasis-color: =
rgb(119, 119, 119);">
        <div dir=3D"auto"><br>
          One other non-mathematical thing would be asking it to clean
          up the build dependencies so incremental builds actually yield
          the result one expects and don't forget dependencies or hit
          circular ones.=C2=A0<br>
        </div>
      </blockquote>
      A few months ago I asked Claude to check the dependencies between
      files to make them explicit and the dependencies between modules
      too. Many of these changes have been incorporated. Along the way,
      some modules got split into smaller ones to simplify the
      dependencies.
      <p style=3D"margin-bottom: 19.2px; margin-top: 0px;">My original
        goal was to get the build order correct so the <code
style=3D"background-color: rgba(175, 184, 193, 0.2); border-bottom-left-r=
adius: 3px; border-bottom-right-radius: 3px; border-end-end-radius: 3px; =
border-end-start-radius: 3px; border-start-end-radius: 3px; border-start-=
start-radius: 3px; border-top-left-radius: 3px; border-top-right-radius: =
3px; font-family: Consolas, Inconsolata, Courier, monospace; font-size: 1=
6px; font-weight: 550; margin-left: 2.4px; margin-right: 2.4px; padding-i=
nline: 4.8px; padding-left: 4.8px; padding-right: 4.8px; white-space-coll=
apse: preserve;">def-simplifier</code>
        compiler macros were always defined ahead of use. What I learned
        is that there are a lot of circular dependencies. Some of these
        were fixed but many were not. I think this would require a huge
        refactoring of the existing code moving all kinds of things
        around. I stopped at that point because it was a lot of work.
        Claude could probably do it fairly easily, but it would make the
        file names and modules a lot less meaningful and I didn=E2=80=99t=
 know
        how to keep them simple.</p>
      <blockquote type=3D"cite"
style=3D"border-block-color: rgb(119, 119, 119); border-bottom-color: rgb=
(119, 119, 119); border-inline-color: rgb(114, 159, 207) rgb(119, 119, 11=
9); border-inline-start: 2px solid rgb(114, 159, 207); border-left: 2px s=
olid rgb(114, 159, 207); border-right-color: rgb(119, 119, 119); border-t=
op-color: rgb(119, 119, 119); color: rgb(119, 119, 119); column-rule-colo=
r: rgb(119, 119, 119); margin: 19.2px 0px; outline-color: rgb(119, 119, 1=
19); padding-inline: 16px; padding-left: 16px; padding-right: 16px; quote=
s: none; text-decoration-color: rgb(119, 119, 119); text-emphasis-color: =
rgb(119, 119, 119);">
        <div dir=3D"auto"><br>
          We could ask it to clean up our mess with global variables as
          a first step towards multi-threading.=C2=A0<br>
        </div>
      </blockquote>
      I=E2=80=99ve worked on this over the years doing it by hand. I have=
n=E2=80=99t
      tried with Claude but it=E2=80=99s on my list. If nothing else, it =
will at
      least make it easier to find all the uses. However, it=E2=80=99s al=
so hard
      because lots of places use the same (short) name for different
      things.
      <blockquote type=3D"cite"
style=3D"border-block-color: rgb(119, 119, 119); border-bottom-color: rgb=
(119, 119, 119); border-inline-color: rgb(114, 159, 207) rgb(119, 119, 11=
9); border-inline-start: 2px solid rgb(114, 159, 207); border-left: 2px s=
olid rgb(114, 159, 207); border-right-color: rgb(119, 119, 119); border-t=
op-color: rgb(119, 119, 119); color: rgb(119, 119, 119); column-rule-colo=
r: rgb(119, 119, 119); margin: 19.2px 0px; outline-color: rgb(119, 119, 1=
19); padding-inline: 16px; padding-left: 16px; padding-right: 16px; quote=
s: none; text-decoration-color: rgb(119, 119, 119); text-emphasis-color: =
rgb(119, 119, 119);">
        <div dir=3D"auto"><br>
          We could ask it to perform a stability review.<br>
          <br>
          I don't know how good it is in maths. But when it can change
          stuff so it is testable, add tests and then test the results
          of its work it really excels. Or we could ask it what needs to
          be done so it can port Rubi.</div>
      </blockquote>
      For some other projects, Claude has been quite good at creating
      tests. For those projects, it=E2=80=99s easily verifiable that it=E2=
=80=99s
      correct. Could be harder in maxima, if, say, Claude says here=E2=80=
=99s a
      definite integral with corresponding result. It could be difficult
      the verify that that=E2=80=99s correct. We could compute it numeric=
ally,
      but that=E2=80=99s not a proof of correctness.
    </div>
    <div class=3D"mdhr-raw"
style=3D"height:0;width:0;max-height:0;max-width:0;overflow:hidden;font-s=
ize:0;padding:0;margin:0;"
      aria-hidden=3D"true"
title=3D"MDH:PGJyPjxicj48ZGl2IGNsYXNzPSJtb3otY2l0ZS1wcmVmaXgiPk9uIDcvMjEv=
MjYgMTI6MDAgUE0sIEd1bnRlciBL77+9bmlnc21hbm4gdmlhIE1heGltYS1kaXNjdXNzIHdyb=
3RlOjxicj48L2Rpdj48YmxvY2txdW90ZSB0eXBlPSJjaXRlIiBjaXRlPSJtaWQ6MDk4ODQxOD=
AtRDY3NS00MTYwLUI5RUQtREU5NUEyQkFGNjVCQHBldGVycGFsbC5kZSI+CgogICAgPG1ldGE=
gaHR0cC1lcXVpdj0iQ29udGVudC1UeXBlIiBjb250ZW50PSJ0ZXh0L2h0bWw7ICI+CiAgCiAg=
PGRpdiBkaXI9ImF1dG8iPjxicj5PbmUgb3RoZXIgbm9uLW1hdGhlbWF0aWNhbCB0aGluZyB3b=
3VsZCBiZSBhc2tpbmcgaXQgdG8gY2xlYW4gdXAgdGhlIGJ1aWxkIGRlcGVuZGVuY2llcyBzby=
BpbmNyZW1lbnRhbCBidWlsZHMgYWN0dWFsbHkgeWllbGQgdGhlIHJlc3VsdCBvbmUgZXhwZWN=
0cyBhbmQgZG9uJ3QgZm9yZ2V0IGRlcGVuZGVuY2llcyBvciBoaXQgY2lyY3VsYXIgb25lcy4m=
bmJzcDs8YnI+PC9kaXY+PC9ibG9ja3F1b3RlPkEgZmV3IG1vbnRocyBhZ28gSSBhc2tlZCBDb=
GF1ZGUgdG8gY2hlY2sgdGhlIApkZXBlbmRlbmNpZXMgYmV0d2VlbiBmaWxlcyB0byBtYWtlIH=
RoZW0gZXhwbGljaXQgYW5kIHRoZSBkZXBlbmRlbmNpZXMgCmJldHdlZW4gbW9kdWxlcyB0b28=
uJm5ic3A7IE1hbnkgb2YgdGhlc2UgY2hhbmdlcyBoYXZlIGJlZW4gaW5jb3Jwb3JhdGVkLiZu=
YnNwOyAKQWxvbmcgdGhlIHdheSwgc29tZSBtb2R1bGVzIGdvdCBzcGxpdCBpbnRvIHNtYWxsZ=
XIgb25lcyB0byBzaW1wbGlmeSB0aGUgCmRlcGVuZGVuY2llcy48YnI+Cjxicj4KTXkgb3JpZ2=
luYWwgZ29hbCB3YXMgdG8gZ2V0IHRoZSBidWlsZCBvcmRlciBjb3JyZWN0IHNvIHRoZSBgZGV=
mLXNpbXBsaWZpZXJgIGNvbXBpbGVyIG1hY3JvcyB3ZXJlIGFsd2F5cyBkZWZpbmVkIGFoZWFk=
IG9mIHVzZS4mbmJzcDsgJm5ic3A7V2hhdCBJCiBsZWFybmVkIGlzIHRoYXQgdGhlcmUgYXJlI=
GEgbG90IG9mIGNpcmN1bGFyIGRlcGVuZGVuY2llcy4mbmJzcDsgU29tZSBvZiAKdGhlc2Ugd2=
VyZSBmaXhlZCBidXQgbWFueSB3ZXJlIG5vdC4mbmJzcDsgSSB0aGluayB0aGlzIHdvdWxkIHJ=
lcXVpcmUgYSBodWdlIApyZWZhY3RvcmluZyBvZiB0aGUgZXhpc3RpbmcgY29kZSBtb3Zpbmcg=
YWxsIGtpbmRzIG9mIHRoaW5ncyBhcm91bmQuJm5ic3A7IEkgCnN0b3BwZWQgYXQgdGhhdCBwb=
2ludCBiZWNhdXNlIGl0IHdhcyBhIGxvdCBvZiB3b3JrLiZuYnNwOyBDbGF1ZGUgY291bGQgCn=
Byb2JhYmx5IGRvIGl0IGZhaXJseSBlYXNpbHksIGJ1dCBpdCB3b3VsZCBtYWtlIHRoZSBmaWx=
lIG5hbWVzIGFuZCAKbW9kdWxlcyBhIGxvdCBsZXNzIG1lYW5pbmdmdWwgYW5kIEkgZGlkbid0=
IGtub3cgaG93IHRvIGtlZXAgdGhlbSBzaW1wbGUuPGJsb2NrcXVvdGUgdHlwZT0iY2l0ZSIgY=
2l0ZT0ibWlkOjA5ODg0MTgwLUQ2NzUtNDE2MC1COUVELURFOTVBMkJBRjY1QkBwZXRlcnBhbG=
wuZGUiPjxkaXYgZGlyPSJhdXRvIj48YnI+V2UgY291bGQgYXNrIGl0IHRvIGNsZWFuIHVwIG9=
1ciBtZXNzIHdpdGggZ2xvYmFsIHZhcmlhYmxlcyBhcyBhIGZpcnN0IHN0ZXAgdG93YXJkcyBt=
dWx0aS10aHJlYWRpbmcuJm5ic3A7PGJyPjwvZGl2PjwvYmxvY2txdW90ZT5JJ3ZlIHdvcmtlZ=
CBvbiB0aGlzIG92ZXIgdGhlIHllYXJzIGRvaW5nIGl0IGJ5IGhhbmQuJm5ic3A7IEkgaGF2ZW=
4ndCB0cmllZCB3aXRoIENsYXVkZSBidXQgaXQncyBvbiBteSBsaXN0LiZuYnNwOyAmbmJzcDt=
JZiBub3RoaW5nIGVsc2UsIGl0IHdpbGwgYXQgbGVhc3QgbWFrZSBpdCBlYXNpZXIgdG8gZmlu=
ZCBhbGwgdGhlIHVzZXMuJm5ic3A7IEhvd2V2ZXIsIGl0J3MgYWxzbyBoYXJkIGJlY2F1c2Ugb=
G90cyBvZiBwbGFjZXMgdXNlIHRoZSBzYW1lIChzaG9ydCkgbmFtZSBmb3IgZGlmZmVyZW50IH=
RoaW5ncy48YmxvY2txdW90ZSB0eXBlPSJjaXRlIiBjaXRlPSJtaWQ6MDk4ODQxODAtRDY3NS0=
0MTYwLUI5RUQtREU5NUEyQkFGNjVCQHBldGVycGFsbC5kZSI+PGRpdiBkaXI9ImF1dG8iPjxi=
cj5XZSBjb3VsZCBhc2sgaXQgdG8gcGVyZm9ybSBhIHN0YWJpbGl0eSByZXZpZXcuPGJyPjxic=
j5JIGRvbid0IGtub3cgaG93IGdvb2QgaXQgaXMgaW4gbWF0aHMuIEJ1dCB3aGVuIGl0IGNhbi=
BjaGFuZ2Ugc3R1ZmYgc28gaXQgaXMgdGVzdGFibGUsIGFkZCB0ZXN0cyBhbmQgdGhlbiB0ZXN=
0IHRoZSByZXN1bHRzIG9mIGl0cyB3b3JrIGl0IHJlYWxseSBleGNlbHMuIE9yIHdlIGNvdWxk=
IGFzayBpdCB3aGF0IG5lZWRzIHRvIGJlIGRvbmUgc28gaXQgY2FuIHBvcnQgUnViaS48L2Rpd=
j48L2Jsb2NrcXVvdGU+Rm9yIHNvbWUgb3RoZXIgcHJvamVjdHMsIENsYXVkZSBoYXMgYmVlbi=
BxdWl0ZSBnb29kIGF0IGNyZWF0aW5nIHRlc3RzLiZuYnNwOyBGb3IgdGhvc2UgcHJvamVjdHM=
sIGl0J3MgZWFzaWx5IHZlcmlmaWFibGUgdGhhdCBpdCdzIGNvcnJlY3QuJm5ic3A7IENvdWxk=
IGJlIGhhcmRlciBpbiBtYXhpbWEsIGlmLCBzYXksIENsYXVkZSBzYXlzIGhlcmUncyBhIGRlZ=
mluaXRlIGludGVncmFsIHdpdGggY29ycmVzcG9uZGluZyByZXN1bHQuJm5ic3A7IEl0IGNvdW=
xkIGJlIGRpZmZpY3VsdCB0aGUgdmVyaWZ5IHRoYXQgdGhhdCdzIGNvcnJlY3QuJm5ic3A7IFd=
lIGNvdWxkIGNvbXB1dGUgaXQgbnVtZXJpY2FsbHksIGJ1dCB0aGF0J3Mgbm90IGEgcHJvb2Yg=
b2YgY29ycmVjdG5lc3MuPGJyPjxicj48dWwgY2xhc3M9ImRyb3Bkb3duLW1lbnUgdGV4dGNvb=
XBsZXRlLWRyb3Bkb3duIiBzdHlsZT0iZGlzcGxheTogbm9uZTsgcG9zaXRpb246IGFic29sdX=
RlOyB6LWluZGV4OiAxMDAwOyIgY29udGVudGVkaXRhYmxlPSJmYWxzZSIgcG9wb3Zlcj0iYXV=
0byI+PC91bD4=3D">&amp;#8203;</div>
  </body>
</html>

--------------kYAl1mAAEVl2nSHa6XkA0109--


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


--===============8338319338026782475==
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

--===============8338319338026782475==--