Denesting radicals? Fonts for HyperDoc?

--===============6849052522285254586==
Content-Type: multipart/alternative; boundary=047d7b3a94ce5ba2a5052165467a

--047d7b3a94ce5ba2a5052165467a
Content-Type: text/plain; charset=UTF-8

I'm still collecting information about open source systems (so I can give a
talk about them); and I've been looking at a few old test suites.  On
almost all of them Axiom does quite poorly, because it's a very different
type of system to most, concentrating more on mathematical correctness of
structures than on vast libraries of algorithms.

However, I was looking at denesting radicals.  Axiom seems to be a bit
hit-and-miss here; sometimes it can be made to produce a result:

(1) -> ex:AN = 6+2*sqrt(5)
(2) -> radicalSolve(x^2=ex,x)

(The command 'nthRoot(ex,2)' doesn't work here).  But for other radicals
nothing:

(3) -> ex:AN := 2*sqrt(21)+10
(4) -> radicalSolve(x^2=ex,x)

This doesn't produce sqrt(3)+sqrt(7).

Am I missing something here?  Is there some clever way of denesting
radicals?

In fact this is an area where almost all open-source systems do very
badly.  I've been experimenting also with Sage and with Maxima, and
although the later provides a "sqdnst" package which includes a
"sqrtdenest" function, it doesn't actually seem to work very well.

Second question: the hyper.h source file contains the font information for
Hyperdoc, but the fonts listed "Rom14", "Erg14" etc don't exist on a modern
Linux system.  I suspect these are font names from old unices from the
1970s and 1980s (Sun, SGI etc).  Now I can bodge up an .Xresources file
containing my own fonts, but I'm wondering if there's a nice list of
current Linux fonts that somebody else has put together for optimum viewing?

Many thanks,
Alasdair

-- 
[image: http://www.facebook.com/alasdair.mcandrew]
<http://www.facebook.com/alasdair.mcandrew> [image:
https://plus.google.com/+AlasdairMcAndrew/posts]
<https://plus.google.com/+AlasdairMcAndrew/posts> [image:
https://www.linkedin.com/pub/alasdair-mcandrew/a/178/108]
<https://www.linkedin.com/pub/alasdair-mcandrew/a/178/108> [image:
https://twitter.com/amca01] <https://twitter.com/amca01> [image:
http://numbersandshapes.net] <http://numbersandshapes.net>

--047d7b3a94ce5ba2a5052165467a
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div><div><div><div><div><div><div><div><div><div><div><di=
v>I&#39;m still collecting information about open source systems (so I can =
give a talk about them); and I&#39;ve been looking at a few old test suites=
.=C2=A0 On almost all of them Axiom does quite poorly, because it&#39;s a v=
ery different type of system to most, concentrating more on mathematical co=
rrectness of structures than on vast libraries of algorithms.<br><br></div>=
However, I was looking at denesting radicals.=C2=A0 Axiom seems to be a bit=
 hit-and-miss here; sometimes it can be made to produce a result:<br><br></=
div>(1) -&gt; ex:AN =3D 6+2*sqrt(5)<br></div>(2) -&gt; radicalSolve(x^2=3De=
x,x)<br><br></div>(The command &#39;nthRoot(ex,2)&#39; doesn&#39;t work her=
e).=C2=A0 But for other radicals nothing:<br><br></div>(3) -&gt; ex:AN :=3D=
 2*sqrt(21)+10<br></div>(4) -&gt; radicalSolve(x^2=3Dex,x)<br><br></div>Thi=
s doesn&#39;t produce sqrt(3)+sqrt(7).<br><br></div>Am I missing something =
here?=C2=A0 Is there some clever way of denesting radicals?<br><br></div>In=
 fact this is an area where almost all open-source systems do very badly.=
=C2=A0 I&#39;ve been experimenting also with Sage and with Maxima, and alth=
ough the later provides a &quot;sqdnst&quot; package which includes a &quot=
;sqrtdenest&quot; function, it doesn&#39;t actually seem to work very well.=
<br><br></div>Second question: the hyper.h source file contains the font in=
formation for Hyperdoc, but the fonts listed &quot;Rom14&quot;, &quot;Erg14=
&quot; etc don&#39;t exist on a modern Linux system.=C2=A0 I suspect these =
are font names from old unices from the 1970s and 1980s (Sun, SGI etc).=C2=
=A0 Now I can bodge up an .Xresources file containing my own fonts, but I&#=
39;m wondering if there&#39;s a nice list of current Linux fonts that someb=
ody else has put together for optimum viewing?<br><br></div>Many thanks,<br=
></div>Alasdair<br clear=3D"all"><div><div><div><div><div><div><div><div><d=
iv><div><div><div><div><br>-- <br><div class=3D"gmail_signature"><div dir=
=3D"ltr"><a href=3D"http://www.facebook.com/alasdair.mcandrew" target=3D"_b=
lank"><img alt=3D"http://www.facebook.com/alasdair.mcandrew" src=3D"https:/=
/dl.dropboxusercontent.com/u/2796170/facebook.png"></a> <a href=3D"https://=
plus.google.com/+AlasdairMcAndrew/posts" target=3D"_blank"><img alt=3D"http=
s://plus.google.com/+AlasdairMcAndrew/posts" src=3D"https://dl.dropboxuserc=
ontent.com/u/2796170/f-gplus_256-48.png"></a> <a href=3D"https://www.linked=
in.com/pub/alasdair-mcandrew/a/178/108" target=3D"_blank"><img alt=3D"https=
://www.linkedin.com/pub/alasdair-mcandrew/a/178/108" src=3D"https://dl.drop=
boxusercontent.com/u/2796170/linkedin.png"></a> <a href=3D"https://twitter.=
com/amca01" target=3D"_blank"><img alt=3D"https://twitter.com/amca01" src=
=3D"https://dl.dropboxusercontent.com/u/2796170/twitter.png"></a> <a href=
=3D"http://numbersandshapes.net" target=3D"_blank"><img alt=3D"http://numbe=
rsandshapes.net" src=3D"https://dl.dropboxusercontent.com/u/2796170/wordpre=
ss.png"></a><br></div></div>
</div></div></div></div></div></div></div></div></div></div></div></div></d=
iv></div>

--047d7b3a94ce5ba2a5052165467a--


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

_______________________________________________
Axiom-mail mailing list
[email protected]
https://lists.nongnu.org/mailman/listinfo/axiom-mail

--===============6849052522285254586==--