From: Robert D. <rob...@gm...> - 2025-07-20 17:27:54
|
Hi Eduardo, couple of comments about the question you posted. The conventional way to avoid name collisions with match variables is to give the match variables names which are unlikely to occur otherwise. E.g. aa, bb, cc, xx, yy, zz. It's not clear what is the larger goal towards which you are working. If you are trying to denest radicals, take a look at sqrtdenest. If you are trying to solve equations containing radicals, take a look at to_poly_solve. If it's something else, maybe you can say more about what you want to do. best Robert |