Benjamin Leis ✅Nov 2, 2022
I'm going to try to post more puzzles (one of my favorite parts of twitter and not quite here yet)
Show threadbird girlNov 2, 2022
@benleis is it sin(45degrees) * sqrt(7^2 + (14+9)^2)?
Show threadBenjamin Leis ✅Nov 2, 2022
@autumnal Yes but we know that by a much simpler name ...
Show threadbird girlNov 2, 2022
@benleis Assuming you mean the numerical result i left it un-computed because that way someone could reverse engineer what i might have been trying to do, maybe. Python says it is approximately seventeen though
Show threadJordiGH

@autumnal Nothing approximate about it. :)

There really ought to be some kind of way to formulate that if an algebraic integer looks like an integer,then it is.

Nov 3, 2022 at 4:04pmWeb