Re: Porting Rubi
Raymond Toy <[email protected]> Thu, 16 Jul 2026 16:16:32 -0700
| Newsgroups | gmane.comp.mathematics.maxima.general |
|---|---|
| Message-ID | <[email protected]> |
This is a multi-part message in MIME format.
--===============2276822180226848846==
Content-Type: multipart/alternative;
boundary="------------851gy6d3fwe0C0Ue7mT00KBq"
Content-Language: en-US
This is a multi-part message in MIME format.
--------------851gy6d3fwe0C0Ue7mT00KBq
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
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 which 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’re equivalent?
I certainly wouldn’t want answers that could vary by chance.
Isn’t this just an optimization so it doesn’t take a long time to find a
pattern that matches?
​
--------------851gy6d3fwe0C0Ue7mT00KBq
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/16/26 2:5=
7
PM, Dan Stanger 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">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 just
an optimization so it doesn=E2=80=99t take a long time to find a =
pattern
that matches?</p>
</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:PGJyPjxicj48ZGl2IGNsYXNzPSJtb3otY2l0ZS1wcmVmaXgiPk9uIDcvMTYv=
MjYgMjo1NyBQTSwgRGFuIFN0YW5nZXIgd3JvdGU6PGJyPjwvZGl2PjxibG9ja3F1b3RlIHR5c=
GU9ImNpdGUiIGNpdGU9Im1pZDpDQUZ5aHRUNWhCd0N3NVhPZGVocGozdzVySzBMK2FVcE4zMk=
I4VjMrPWFOejVMaTBMUXdAbWFpbC5nbWFpbC5jb20iPgo8bWV0YSBodHRwLWVxdWl2PSJjb25=
0ZW50LXR5cGUiIGNvbnRlbnQ9InRleHQvaHRtbDsgIj48ZGl2IGRpcj0iYXV0byI+SSBoYWQg=
YSBkaXNjdXNzaW9uIHdpdGggUm9ja3kgaW4gTllDIHdobyB3b3JrcyBvbiB0aGUgTWF0aGljc=
yBSdWJpIGNvZGUsIGFuZCBoZSBwb2ludGVkIG91dCB0aGF0IFJ1Ymkgc3RhcnRzIG11bHRpcG=
xlIHBhdHRlcm4gbWF0Y2hpbmcgdGhyZWFkcyBhbmQgd2hlbiBvbmUgb2YgdGhlbSBmaW5pc2h=
lcyBieSBtYXRjaGluZywgdGhlIG90aGVycyBhcmUgdGVybWluYXRlZC4gSW4gd2hpY2ggbGlz=
cHMgaXMgdGhpcyBpbXBsZW1lbnRhYmxlID88L2Rpdj48L2Jsb2NrcXVvdGU+UHJlc3VtYWJse=
SBzYmNsLiZuYnNwOyBNYXliZSBjY2wgYW5kIGVjbD88YnI+PGJyPlNvIHRoZSBmaXJzdCBvbm=
UgdG8gZmluaXNoIGlzIGNvbnNpZGVyZWQgdGhlIHJpZ2h0IGFuc3dlcj8mbmJzcDsgU2VlbXM=
ga2luZGEgb2RkLiZuYnNwOyBJdCBzZWVtcyB0aGF0IGZvciBzb21lIGludGVncmFscyB5b3Ug=
Y2FuIGdldCBkaWZmZXJlbnQgcmVzdWx0cyBkZXBlbmRpbmcgb24gd2hpY2ggZmluaXNoZXMgZ=
mlyc3Q/Jm5ic3A7IFByZXN1bWFibHkgdGhleSdyZSBlcXVpdmFsZW50Pzxicj48YnI+SSBjZX=
J0YWlubHkgd291bGRuJ3Qgd2FudCBhbnN3ZXJzIHRoYXQgY291bGQgdmFyeSBieSBjaGFuY2U=
uPGJyPjxicj5Jc24ndCB0aGlzIGp1c3QgYW4gb3B0aW1pemF0aW9uIHNvIGl0IGRvZXNuJ3Qg=
dGFrZSBhIGxvbmcgdGltZSB0byBmaW5kIGEgcGF0dGVybiB0aGF0IG1hdGNoZXM/PGJyPjxic=
j48dWwgY2xhc3M9ImRyb3Bkb3duLW1lbnUgdGV4dGNvbXBsZXRlLWRyb3Bkb3duIiBzdHlsZT=
0iZGlzcGxheTogbm9uZTsgcG9zaXRpb246IGFic29sdXRlOyB6LWluZGV4OiAxMDAwOyIgY29=
udGVudGVkaXRhYmxlPSJmYWxzZSIgcG9wb3Zlcj0iYXV0byI+PC91bD4=3D">&#8203;<=
/div>
</body>
</html>
--------------851gy6d3fwe0C0Ue7mT00KBq--
--===============2276822180226848846==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
--===============2276822180226848846==
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
--===============2276822180226848846==--