Re: defgrad--is there a defintegral too?

Richard Fateman <[email protected]> Mon, 20 Jul 2026 07:54:45 -0700
Newsgroups gmane.comp.mathematics.maxima.general
Message-ID <CADB8Zm4teDaroTLiLdiUuuW49uH1=hn3msQFkXVhWVuu-BbcVw@mail.gmail.com>
--===============6277582656614947682==
Content-Type: multipart/alternative; boundary="00000000000068088406570c1796"

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

there is a property analogous to grad  on symbol property lists,
integral.   for instance on %atan there is this property-name + value pair.
..

 INTEGRAL
 ((X)
  ((MPLUS) ((MTIMES) X ((%ATAN) X))
   ((MTIMES) ((RAT) -1 2) ((%LOG) ((MPLUS) 1 ((MEXPT) X 2))))))



On Mon, Jul 20, 2026 at 7:13=E2=80=AFAM Raymond Toy <[email protected]>=
 wrote:

> On 7/20/26 4:02 AM, Barton Willis via Maxima-discuss wrote:
>
> The recent defgrad macro (defined in 'mopers') is convenient.  Is there a=
n
> analogous defintegral macro?
>
> Not that I know of. I=E2=80=99ve thought about it but just haven=E2=80=99=
t gotten around
> to it. Shouldn=E2=80=99t be to hard to modify defgrad to be defintegral.
>
> One other thing I was thinking of was a def-limit to do the dirty work of
> setting up simplimits, like what we do for simplifiers.
> &#8203;
> _______________________________________________
> Maxima-discuss mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/maxima-discuss
>

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

<div dir=3D"ltr"><div class=3D"gmail_default" style=3D"font-family:arial,sa=
ns-serif;font-size:small">there is a property analogous to grad=C2=A0 on sy=
mbol property lists,=C2=A0=C2=A0</div><div class=3D"gmail_default" style=3D=
"font-family:arial,sans-serif;font-size:small">integral.=C2=A0 =C2=A0for in=
stance on %atan there is this property-name + value pair. ..</div><div clas=
s=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-seri=
f;font-size:small">=C2=A0INTEGRAL<br>=C2=A0((X)<br>=C2=A0 ((MPLUS) ((MTIMES=
) X ((%ATAN) X))<br>=C2=A0 =C2=A0((MTIMES) ((RAT) -1 2) ((%LOG) ((MPLUS) 1 =
((MEXPT) X 2))))))</div><div class=3D"gmail_default" style=3D"font-family:a=
rial,sans-serif;font-size:small"><br></div><div class=3D"gmail_default" sty=
le=3D"font-family:arial,sans-serif;font-size:small"><br></div></div><br><di=
v class=3D"gmail_quote gmail_quote_container"><div dir=3D"ltr" class=3D"gma=
il_attr">On Mon, Jul 20, 2026 at 7:13=E2=80=AFAM Raymond Toy &lt;<a href=3D=
"mailto:[email protected]">[email protected]</a>&gt; wrote:<br></di=
v><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;borde=
r-left:1px solid rgb(204,204,204);padding-left:1ex"><u></u>

 =20

   =20
   =20
   =20
 =20
  <div>
    <div>
      <p style=3D"margin-bottom:19.2px;margin-top:0px">On 7/20/26 4:02
        AM, Barton Willis via Maxima-discuss wrote:<br>
      </p>
      <blockquote type=3D"cite" style=3D"border-color:rgb(119,119,119) rgb(=
119,119,119) rgb(119,119,119) rgb(114,159,207);border-left-width:2px;border=
-left-style:solid;color:rgb(119,119,119);column-rule-color:rgb(119,119,119)=
;margin:19.2px 0px;outline-color:rgb(119,119,119);padding-left:16px;padding=
-right:16px;quotes:none;text-decoration-color:rgb(119,119,119);text-emphasi=
s-color:rgb(119,119,119)">
       =20
        <div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontServ=
ice,Calibri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
          <span style=3D"font-family:Georgia,serif">The recent=C2=A0defgrad
            macro (defined in &#39;mopers&#39;) is convenient.=C2=A0 Is the=
re an
            analogous
            <code style=3D"font-family:Georgia,serif">d</code>efintegral
            macro?</span></div>
      </blockquote>
      Not that I know of. I=E2=80=99ve thought about it but just haven=E2=
=80=99t gotten
      around to it. Shouldn=E2=80=99t be to hard to modify defgrad to be
      defintegral.
      <p style=3D"margin-bottom:19.2px;margin-top:0px">One other thing
        I was thinking of was a def-limit to do the dirty work of
        setting up simplimits, like what we do for simplifiers.</p>
    </div>
    <div style=3D"height:0px;width:0px;max-height:0px;max-width:0px;overflo=
w:hidden;font-size:0px;padding:0px;margin:0px" aria-hidden=3D"true" title=
=3D"MDH:PGJyPjxicj48ZGl2IGNsYXNzPSJtb3otY2l0ZS1wcmVmaXgiPk9uIDcvMjAvMjYgNDo=
wMiBBTSwgQmFydG9uIFdpbGxpcyB2aWEgTWF4aW1hLWRpc2N1c3Mgd3JvdGU6PGJyPjwvZGl2Pj=
xibG9ja3F1b3RlIHR5cGU9ImNpdGUiIGNpdGU9Im1pZDpTTjZQUjA3TUI3OTUyRTY3Q0Q0MzVDM=
UZEQUM1RDM0RjNCNkMzMkBTTjZQUjA3TUI3OTUyLm5hbXByZDA3LnByb2Qub3V0bG9vay5jb20i=
Pgo8bWV0YSBodHRwLWVxdWl2PSJDb250ZW50LVR5cGUiIGNvbnRlbnQ9InRleHQvaHRtbDsgIj4=
KPHN0eWxlIHR5cGU9InRleHQvY3NzIiBzdHlsZT0iZGlzcGxheTpub25lOyI+IFAge21hcmdpbi=
10b3A6MDttYXJnaW4tYm90dG9tOjA7fSA8L3N0eWxlPgoKCjxkaXYgY2xhc3M9ImVsZW1lbnRUb=
1Byb29mIiBzdHlsZT0iZm9udC1mYW1pbHk6IEFwdG9zLCBBcHRvc19FbWJlZGRlZEZvbnQsIEFw=
dG9zX01TRm9udFNlcnZpY2UsIENhbGlicmksIEhlbHZldGljYSwgc2Fucy1zZXJpZjsgZm9udC1=
zaXplOiAxMnB0OyBjb2xvcjogcmdiKDAsIDAsIDApOyI+CjxzcGFuIHN0eWxlPSJmb250LWZhbW=
lseTogR2VvcmdpYSwgc2VyaWY7Ij5UaGUgcmVjZW50Jm5ic3A7ZGVmZ3JhZCBtYWNybyAoZGVma=
W5lZCBpbiAnbW9wZXJzJykgaXMgY29udmVuaWVudC4mbmJzcDsgSXMgdGhlcmUgYW4gYW5hbG9n=
b3VzCjxjb2RlIHN0eWxlPSJmb250LWZhbWlseTogR2VvcmdpYSwgc2VyaWY7Ij5kPC9jb2RlPmV=
maW50ZWdyYWwgbWFjcm8/PC9zcGFuPjwvZGl2PjwvYmxvY2txdW90ZT5Ob3QgdGhhdCBJIGtub3=
cgb2YuJm5ic3A7IEkndmUgdGhvdWdodCBhYm91dCBpdCBidXQganVzdCBoYXZlbid0IGdvdHRlb=
iBhcm91bmQgdG8gaXQuJm5ic3A7IFNob3VsZG4ndCBiZSB0byBoYXJkIHRvIG1vZGlmeSBkZWZn=
cmFkIHRvIGJlIGRlZmludGVncmFsLjxicj48YnI+T25lIG90aGVyIHRoaW5nIEkgd2FzIHRoaW5=
raW5nIG9mIHdhcyBhIGRlZi1saW1pdCB0byBkbyB0aGUgZGlydHkgd29yayBvZiBzZXR0aW5nIH=
VwIHNpbXBsaW1pdHMsIGxpa2Ugd2hhdCB3ZSBkbyBmb3Igc2ltcGxpZmllcnMuPHVsIGNsYXNzP=
SJkcm9wZG93bi1tZW51IHRleHRjb21wbGV0ZS1kcm9wZG93biIgc3R5bGU9ImRpc3BsYXk6IG5v=
bmU7IHBvc2l0aW9uOiBhYnNvbHV0ZTsgei1pbmRleDogMTAwMDsiIGNvbnRlbnRlZGl0YWJsZT0=
iZmFsc2UiIHBvcG92ZXI9ImF1dG8iPjwvdWw+">&amp;#8203;</div>
  </div>

_______________________________________________<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>

--00000000000068088406570c1796--


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


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

--===============6277582656614947682==--