Re: Wikipedia

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

I think it would be worthwhile to consider using youtube to document variou=
s
algorithms in computer algebra. This was an idea I pursued for a bit as I
spent time adding URLs of research papers into the source code for various
algorithms. I never got around to the youtube searches.

However, a useful example is primality testing using Fermat and
Miller-Rabin tests:
https://www.youtube.com/watch?v=3DtBzaMfV94uA
Indeed, I don't think Axiom implements the AKS primality test.

A simple URL link to a video would help "document" the algorithms.
This would be especially useful if videos explained the Risch algorithm
and various implementation algorithms.

Perhaps existing links could, at minimum, be added to the Wikipedia page
rather than modifying the source code with URLs as I did.

TIm


On Wed, May 7, 2025 at 11:42=E2=80=AFAM Camm Maguire <[email protected]=
g> wrote:

> Thanks so much Tim!  Your vast knowledge on all this is such a
> treasure.
>
> Several of the references, which I assume you had put together, used the
> 'journal' template which was leading to a Wikipedia error due to some
> missing element.  Wikipedia suggested using a simpler template like
> 'book' to get around this, which I did to clear the visual errors on the
> page.  You may have the missing bibliographic items at hand and prefer
> 'journal' if it is more accurate.
>
> Take care,
>
> Tim Daly <[email protected]> writes:
>
> > I added a reference to a book that explains Barry Trager's PhD thesis o=
n
> Integration. --Tim
> >
> >
> https://www.amazon.com/Integration-Finite-Terms-Fundamental-Computation/d=
p/3030987663
> >
> > On Tue, May 6, 2025 at 12:55=E2=80=AFPM Camm Maguire <camm@maguirefamil=
y.org>
> wrote:
> >
> >  Greetings!  I made some edits to the Wikipedia page to account for the
> >  missing axiom-developer.org.  Proof readers and comments most welcome!
> >
> >  Take care,
> >  --
> >  Camm Maguire
> [email protected]
> >
> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
> >  "The earth is but one country, and mankind its citizens."  --
> Baha'u'llah
> >
>
> --
> Camm Maguire                                        [email protected]=
g
> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
> "The earth is but one country, and mankind its citizens."  --  Baha'u'lla=
h
>

--=20
You received this message because you are subscribed to the Google Groups "=
FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to [email protected].
To view this discussion visit https://groups.google.com/d/msgid/fricas-deve=
l/CAJn5L%3D%2BS0EnCtE3nNNhir6dF27HgvvJsOU-sBRfRg8f6hPWDtA%40mail.gmail.com.

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

<div dir=3D"ltr"><div>I think it would be worthwhile to consider using yout=
ube to document various</div><div>algorithms in computer algebra. This was =
an idea I pursued for a bit as I <br></div><div>spent time adding URLs of r=
esearch papers into the source code for various</div><div>algorithms. I nev=
er got around to the youtube searches.</div><div><br></div><div>However, a =
useful example is primality testing using Fermat and Miller-Rabin tests:</d=
iv><div><a href=3D"https://www.youtube.com/watch?v=3DtBzaMfV94uA">https://w=
ww.youtube.com/watch?v=3DtBzaMfV94uA</a></div><div>Indeed, I don&#39;t thin=
k Axiom implements the AKS primality test.</div><div><br></div><div>A simpl=
e URL link to a video would help &quot;document&quot; the algorithms.</div>=
<div>This would be especially useful if videos explained the Risch algorith=
m</div><div>and various implementation algorithms.</div><div><br></div><div=
>Perhaps existing links could, at minimum, be added to the Wikipedia page</=
div><div>rather than modifying the source code with URLs as I did.</div><di=
v><br></div><div>TIm</div><div><br></div></div><br><div class=3D"gmail_quot=
e gmail_quote_container"><div dir=3D"ltr" class=3D"gmail_attr">On Wed, May =
7, 2025 at 11:42=E2=80=AFAM Camm Maguire &lt;<a href=3D"mailto:camm@maguire=
family.org">[email protected]</a>&gt; wrote:<br></div><blockquote clas=
s=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid r=
gb(204,204,204);padding-left:1ex">Thanks so much Tim!=C2=A0 Your vast knowl=
edge on all this is such a<br>
treasure.<br>
<br>
Several of the references, which I assume you had put together, used the<br=
>
&#39;journal&#39; template which was leading to a Wikipedia error due to so=
me<br>
missing element.=C2=A0 Wikipedia suggested using a simpler template like<br=
>
&#39;book&#39; to get around this, which I did to clear the visual errors o=
n the<br>
page.=C2=A0 You may have the missing bibliographic items at hand and prefer=
<br>
&#39;journal&#39; if it is more accurate.<br>
<br>
Take care,<br>
<br>
Tim Daly &lt;<a href=3D"mailto:[email protected]" target=3D"_blank">axiomc=
[email protected]</a>&gt; writes:<br>
<br>
&gt; I added a reference to a book that explains Barry Trager&#39;s PhD the=
sis on Integration. --Tim<br>
&gt;<br>
&gt; <a href=3D"https://www.amazon.com/Integration-Finite-Terms-Fundamental=
-Computation/dp/3030987663" rel=3D"noreferrer" target=3D"_blank">https://ww=
w.amazon.com/Integration-Finite-Terms-Fundamental-Computation/dp/3030987663=
</a><br>
&gt;<br>
&gt; On Tue, May 6, 2025 at 12:55=E2=80=AFPM Camm Maguire &lt;<a href=3D"ma=
ilto:[email protected]" target=3D"_blank">[email protected]</a>&g=
t; wrote:<br>
&gt;<br>
&gt;=C2=A0 Greetings!=C2=A0 I made some edits to the Wikipedia page to acco=
unt for the<br>
&gt;=C2=A0 missing <a href=3D"http://axiom-developer.org" rel=3D"noreferrer=
" target=3D"_blank">axiom-developer.org</a>.=C2=A0 Proof readers and commen=
ts most welcome!<br>
&gt;<br>
&gt;=C2=A0 Take care,<br>
&gt;=C2=A0 -- <br>
&gt;=C2=A0 Camm Maguire=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 <a href=3D"mailto:[email protected]" target=3D"_blank">c=
[email protected]</a><br>
&gt;=C2=A0 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D<br>
&gt;=C2=A0 &quot;The earth is but one country, and mankind its citizens.&qu=
ot;=C2=A0 --=C2=A0 Baha&#39;u&#39;llah<br>
&gt;<br>
<br>
-- <br>
Camm Maguire=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 <a href=3D"mailto:[email protected]" target=3D"_blank">camm@maguir=
efamily.org</a><br>
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br=
>
&quot;The earth is but one country, and mankind its citizens.&quot;=C2=A0 -=
-=C2=A0 Baha&#39;u&#39;llah<br>
</blockquote></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;FriCAS - computer algebra system&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:[email protected]">fricas=
[email protected]</a>.<br />
To view this discussion visit <a href=3D"https://groups.google.com/d/msgid/=
fricas-devel/CAJn5L%3D%2BS0EnCtE3nNNhir6dF27HgvvJsOU-sBRfRg8f6hPWDtA%40mail=
.gmail.com?utm_medium=3Demail&utm_source=3Dfooter">https://groups.google.co=
m/d/msgid/fricas-devel/CAJn5L%3D%2BS0EnCtE3nNNhir6dF27HgvvJsOU-sBRfRg8f6hPW=
DtA%40mail.gmail.com</a>.<br />

--000000000000fa0c6e0634b2faa9--