[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Denesting radicals?
From: |
daly |
Subject: |
[Axiom-developer] Denesting radicals? |
Date: |
Mon, 5 Oct 2015 21:31:07 -0500 |
Denesting radicals is a deep problem. There are subtle issues
when you are using symbols and solving equations. If I remember
correctly, one of the issues is that you can't decide if something
is square-free if it contains certain kinds of radicals (don't
depend on my memory though).
Simplification of radicals usually involves algebraic field extensions
but (again, if I remember correctly) the issue is independence. Doing
a field extension with sqrt(2) and sqrt(6) causes problems.
Plus the question arises whether you're working over real or complex.
We had these discussions in the last century (around 1980) and I don't
remember all the details except to say that it is MUCH harder and
more subtle than it looks.
The person I'd ask is either Barry Trager or James Davenport.
Tim
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] Denesting radicals?,
daly <=