id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
26042 Real transcendental extension fields slelievre "An often requested feature is to be able to work in say QQ[pi], QQ[e],
QQ[e, pi], or similar extensions.
- [[https://groups.google.com/d/topic/sage-devel/80zQZFX8NEE/discussion|2018-08-08, Pat Hooper on sage-devel]]
> I think Sage should support real transcendental extension fields.
> It does not as far as I can tell. For example it should support
> arithmetic and comparisons in Q(e) with e the usual constant e [...]
- [[https://groups.google.com/d/msg/sage-devel/0vAo1AnPVOU/2L_HrHR9Q4wJ|2014-03-13, Miguel Marco on sage-devel]]
> The problem is that you cannot know if a certain expression involving
> pi, e and cos(3/4) is zero or not [...]. That means that, for instance,
> you don't know if you can take its inverse.
- [[https://groups.google.com/d/msg/sage-devel/aPk-mGKH8eI/yMGxUFZ4Z3YJ|2013-05-20, Vincent Delecroix on sage-devel]]:
> I would be happy if there was a way to work with the transcendental
> extension QQ[pi] where I can assert that an expression is zero.
An implementation is attached to [[https://groups.google.com/d/msg/sage-devel/80zQZFX8NEE/L4KBWtrlDAAJ|Pat Hooper's 2018-08-08 post on sage-devel]]." enhancement needs_work major sage-wishlist algebra transcendental, field extension dimpase mmarco vdelecroix saraedum slelievre N/A many tests/examples missing u/wphooper/real_transcendental_extension_fields 4a82da8237254203b4d36ac3498356cde2214edf