Arthur Allshire

Question about this approach: is it actually sufficient to show that a subsequence diverges? For example if you had , and you proved that it diverged for  surely you...

(Also, maybe I'm missing something here but I don't think that I can tag this issue as requested because [only contributors can add labels](https://stackoverflow.com/questions/13829466/how-to-put-a-label-on-an-issue-in-github-if-you-are-not-a-contributor-owner))

So obviously to show say sqrt(2) + sqrt(3) is algebraic you have to find a polynomial with that as a root. To do this, I fiddled about by setting a...

OK, I sort of get how to prove this now I think, not sure if this is sufficiently rigorous, and it may just be wrong... (also apologies for horrific typography...

Addressing your first point - the roots of polynomials with rational coefficients are the only things that can be algebraic numbers. This is not an assumption, it is the definition...

Yes, this is very important in manipulation. For an example of how it can be important check out our paper Dextrah-RGB https://dextrah-rgb.github.io/ where we train any-object grasping policy -- such...