Sid, the package is rather long and hairy. About ten pages of stuff like ClearAll[RationalizeDenominator]; RationalizeDenominator[expr_] := Block[{conjugate, denom, x}, denom = Denominator[expr]; conjugate = MinimalPolynomial[denom]; Expand[Numerator[expr]* PolynomialQuotient[conjugate[x], x - denom, x] /. x -> 0]/(-1* conjugate[0])] ClearAll[AlgebraicQ]; AlgebraicQ[num_] := Element[num, Algebraics] Does the symbolic python community have polynomial factoring, GCD, etc? You'd probably be far better off running it (presumably infrequently) at https://www.wolfram.com/programming-lab/ . —Bill On Mon, May 11, 2020 at 8:33 AM Sidharth Ghoshal <sid.ghoshal@yahoo.com> wrote:

I’d like a copy,

If it could be ported into a python library the symbolic python community might be interested!

On May 11, 2020, at 11:28 AM, Bill Gosper <billgosper@gmail.com> wrote:

 Corey's denester <https://community.wolfram.com/groups/-/m/t/980264>? Corey has expressed strong disinterest in maintaining it, and I have found a glitch: In[180]:= Strad[Sqrt[14 Sqrt[2] + 9 Sqrt[5] - Sqrt[721 + 228 Sqrt[10]]]]

Out[180]= Sqrt[14 Sqrt[2] + 9 Sqrt[5] - Sqrt[721 + 228 Sqrt[10]]]

In[181]:= MapAt[Strad, %, 1]

Out[181]= Sqrt[-19 + 14 Sqrt[2] + 9 Sqrt[5] - 6 Sqrt[10]]

In[182]:= %% == %

Out[182]= True

I.e., it sometimes fails to denest the radicand of a triply nested radical.

Let me know if you want a copy anyway. (Or grab one from the Wolfram site.) So far as I know, despite all the Galois hype, it's the only package that actually works. —rwg