Re: Porting Rubi

--===============3536204862454703736==
Content-Type: multipart/alternative; boundary="000000000000172a770656c2bfc4"

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

Rocky said that some of the paths might never terminate.

On Thu, Jul 16, 2026, 7:17=E2=80=AFPM Raymond Toy <[email protected]> w=
rote:

> On 7/16/26 2:57 PM, Dan Stanger wrote:
>
> I had a discussion with Rocky in NYC who works on the Mathics Rubi code,
> and he pointed out that Rubi starts multiple pattern matching threads and
> when one of them finishes by matching, the others are terminated. In whic=
h
> lisps is this implementable ?
>
> Presumably sbcl. Maybe ccl and ecl?
>
> So the first one to finish is considered the right answer? Seems kinda
> odd. It seems that for some integrals you can get different results
> depending on which finishes first? Presumably they=E2=80=99re equivalent?
>
> I certainly wouldn=E2=80=99t want answers that could vary by chance.
>
> Isn=E2=80=99t this just an optimization so it doesn=E2=80=99t take a long=
 time to find a
> pattern that matches?
> &#8203;
> _______________________________________________
> Maxima-discuss mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/maxima-discuss
>

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

<div dir=3D"auto">Rocky said that some of the paths might never terminate.<=
/div><br><div class=3D"gmail_quote gmail_quote_container"><div dir=3D"ltr" =
class=3D"gmail_attr">On Thu, Jul 16, 2026, 7:17=E2=80=AFPM Raymond Toy &lt;=
<a href=3D"mailto:[email protected]">[email protected]</a>&gt; wrot=
e:<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;bo=
rder-left:1px #ccc solid;padding-left:1ex"><u></u>

 =20

   =20
   =20
   =20
 =20
  <div>
    <div>
      <p style=3D"margin-bottom:19.2px;margin-top:0px">On 7/16/26 2:57
        PM, Dan Stanger wrote:<br>
      </p>
      <blockquote type=3D"cite" style=3D"border-bottom-color:rgb(119,119,11=
9);border-left:2px solid rgb(114,159,207);border-right-color:rgb(119,119,11=
9);border-top-color:rgb(119,119,119);color:rgb(119,119,119);column-rule-col=
or:rgb(119,119,119);margin:19.2px 0px;outline-color:rgb(119,119,119);paddin=
g-left:16px;padding-right:16px;quotes:none;text-decoration-color:rgb(119,11=
9,119);text-emphasis-color:rgb(119,119,119)">
        <div dir=3D"auto">I had a discussion with Rocky in NYC who works
          on the Mathics Rubi code, and he pointed out that Rubi starts
          multiple pattern matching threads and when one of them
          finishes by matching, the others are terminated. In which
          lisps is this implementable ?</div>
      </blockquote>
      Presumably sbcl. Maybe ccl and ecl?
      <p style=3D"margin-bottom:19.2px;margin-top:0px">So the first
        one to finish is considered the right answer? Seems kinda odd.
        It seems that for some integrals you can get different results
        depending on which finishes first? Presumably they=E2=80=99re
        equivalent?</p>
      <p style=3D"margin-bottom:19.2px;margin-top:0px">I certainly
        wouldn=E2=80=99t want answers that could vary by chance.</p>
      <p style=3D"margin-bottom:19.2px;margin-top:0px">Isn=E2=80=99t this j=
ust
        an optimization so it doesn=E2=80=99t take a long time to find a pa=
ttern
        that matches?</p>
    </div>
    <div style=3D"height:0;width:0;max-height:0;max-width:0;overflow:hidden=
;font-size:0;padding:0;margin:0" aria-hidden=3D"true" title=3D"MDH:PGJyPjxi=
cj48ZGl2IGNsYXNzPSJtb3otY2l0ZS1wcmVmaXgiPk9uIDcvMTYvMjYgMjo1NyBQTSwgRGFuIFN=
0YW5nZXIgd3JvdGU6PGJyPjwvZGl2PjxibG9ja3F1b3RlIHR5cGU9ImNpdGUiIGNpdGU9Im1pZD=
pDQUZ5aHRUNWhCd0N3NVhPZGVocGozdzVySzBMK2FVcE4zMkI4VjMrPWFOejVMaTBMUXdAbWFpb=
C5nbWFpbC5jb20iPgo8bWV0YSBodHRwLWVxdWl2PSJjb250ZW50LXR5cGUiIGNvbnRlbnQ9InRl=
eHQvaHRtbDsgIj48ZGl2IGRpcj0iYXV0byI+SSBoYWQgYSBkaXNjdXNzaW9uIHdpdGggUm9ja3k=
gaW4gTllDIHdobyB3b3JrcyBvbiB0aGUgTWF0aGljcyBSdWJpIGNvZGUsIGFuZCBoZSBwb2ludG=
VkIG91dCB0aGF0IFJ1Ymkgc3RhcnRzIG11bHRpcGxlIHBhdHRlcm4gbWF0Y2hpbmcgdGhyZWFkc=
yBhbmQgd2hlbiBvbmUgb2YgdGhlbSBmaW5pc2hlcyBieSBtYXRjaGluZywgdGhlIG90aGVycyBh=
cmUgdGVybWluYXRlZC4gSW4gd2hpY2ggbGlzcHMgaXMgdGhpcyBpbXBsZW1lbnRhYmxlID88L2R=
pdj48L2Jsb2NrcXVvdGU+UHJlc3VtYWJseSBzYmNsLiZuYnNwOyBNYXliZSBjY2wgYW5kIGVjbD=
88YnI+PGJyPlNvIHRoZSBmaXJzdCBvbmUgdG8gZmluaXNoIGlzIGNvbnNpZGVyZWQgdGhlIHJpZ=
2h0IGFuc3dlcj8mbmJzcDsgU2VlbXMga2luZGEgb2RkLiZuYnNwOyBJdCBzZWVtcyB0aGF0IGZv=
ciBzb21lIGludGVncmFscyB5b3UgY2FuIGdldCBkaWZmZXJlbnQgcmVzdWx0cyBkZXBlbmRpbmc=
gb24gd2hpY2ggZmluaXNoZXMgZmlyc3Q/Jm5ic3A7IFByZXN1bWFibHkgdGhleSdyZSBlcXVpdm=
FsZW50Pzxicj48YnI+SSBjZXJ0YWlubHkgd291bGRuJ3Qgd2FudCBhbnN3ZXJzIHRoYXQgY291b=
GQgdmFyeSBieSBjaGFuY2UuPGJyPjxicj5Jc24ndCB0aGlzIGp1c3QgYW4gb3B0aW1pemF0aW9u=
IHNvIGl0IGRvZXNuJ3QgdGFrZSBhIGxvbmcgdGltZSB0byBmaW5kIGEgcGF0dGVybiB0aGF0IG1=
hdGNoZXM/PGJyPjxicj48dWwgY2xhc3M9ImRyb3Bkb3duLW1lbnUgdGV4dGNvbXBsZXRlLWRyb3=
Bkb3duIiBzdHlsZT0iZGlzcGxheTogbm9uZTsgcG9zaXRpb246IGFic29sdXRlOyB6LWluZGV4O=
iAxMDAwOyIgY29udGVudGVkaXRhYmxlPSJmYWxzZSIgcG9wb3Zlcj0iYXV0byI+PC91bD4=3D">=
&amp;#8203;</div>
  </div>

_______________________________________________<br>
Maxima-discuss mailing list<br>
<a href=3D"mailto:[email protected]" target=3D"_blank" r=
el=3D"noreferrer">[email protected]</a><br>
<a href=3D"https://lists.sourceforge.net/lists/listinfo/maxima-discuss" rel=
=3D"noreferrer noreferrer" target=3D"_blank">https://lists.sourceforge.net/=
lists/listinfo/maxima-discuss</a><br>
</blockquote></div>

--000000000000172a770656c2bfc4--


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


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

--===============3536204862454703736==--