[net.math.symbolic] Canonical Form for Radical Expressions

playboy@wacsvax.OZ (McIsaac K) (01/08/86)

I have been using SMP to generate Rach coefficents and the results have
contained large, messy radical expressions of rational numbers. After
some thought on how to reduce these expressions  I asked myself "Is
there a canonical form for such radical expressions?".  I have not seen
a discussion of this problem.  Is there such a form? Are there any
papers on this topic? Are there any algorithms for reducing these
expressions? Any information on this problem would be appreciated?

Thanks Kevin

--------------------------------------------------------------------------------
Kevin McIsaac			ACSnet:	playboy@wacsvax
Dept. Physics			UUCP:	seismo!munnari!wacsvax.oz!playboy
Uni. of Western Australia          	decvax!mulga!wacsvax.oz!playboy
Nedlands, 6009
AUSTRALIA 			ARPA:	munnari!wacsvax.oz!playboy@seismo.arpa
					decvax!mulga!wacsvax.oz!playboy@Berkeley