On Mar 30, 10:20 am, William Stein wrote:
> sage: log(QQ[cos(pi/9)].degree(),2) in ZZ
> False
Yes, that's better (and more expressive).
--
You received this message because you are subscribed to the Google Groups
"sage-edu" group.
To post to this group, send email to sage-...@googlegroups.com
On Tue, Mar 30, 2010 at 9:51 AM, Rob Beezer wrote:
> Is, of course, impossible, with the usual example being that 60
> degrees cannot be trisected, since 20 degrees is not constructible,
> since the the cosine of 20 degrees is not constructible, since
> adjoining the cosine of 20 degrees to the ra
Is, of course, impossible, with the usual example being that 60
degrees cannot be trisected, since 20 degrees is not constructible,
since the the cosine of 20 degrees is not constructible, since
adjoining the cosine of 20 degrees to the rationals creates a field
extension whose degree is not a powe