#9054: create a class for basic function_field arithmetic for Sage
---------------------------------------------------------------------------------+
Reporter: was
| Owner: was
Type: enhancement
| Status: needs_review
Priority: major
| Milestone: sage-wishlist
Component: algebra
| Resolution:
Keywords:
| Work_issues:
Upstream: N/A
| Reviewer:
Author: William Stein, Robert Bradshaw, Maarten Derickx, Moritz Minzlaff
| Merged:
Dependencies: #9094, #11751, #9138
|
---------------------------------------------------------------------------------+
Changes (by mderickx):
* dependencies: #9094, #11751 => #9094, #11751, #9138
Old description:
> One of the first things we learned at Sage Days 21: Function Fields, is
> that it is not even possible to really define or even do arithmetic in
> function fields *at all* in Sage! It's amazing that this most basic
> arithmetic still isn't supported, but it isn't (maybe it used to be via
> generic machinery, but got broken...?). The point of this ticket is to
> create classes for standard function field structures, along with support
> for arithmetic. This should be organized in a way similar to number
> fields.
>
> For this code, the main point is to establish an API that works solidly.
> It will be insanely slow. A subsequent patch will make things fast.
>
> See also: #9069, #9051, #9094, #9095.
>
> ----
>
> Apply trac_9054-all-parts.patch, trac_9054_polynomial_base_field.patch,
> trac_9054_zero.patch, trac_9054_codomain.patch,
> trac_9054_doctest-2.patch, trac_9054-review.patch [[BR]]
> Depends on #9094, #11751
New description:
One of the first things we learned at Sage Days 21: Function Fields, is
that it is not even possible to really define or even do arithmetic in
function fields *at all* in Sage! It's amazing that this most basic
arithmetic still isn't supported, but it isn't (maybe it used to be via
generic machinery, but got broken...?). The point of this ticket is to
create classes for standard function field structures, along with support
for arithmetic. This should be organized in a way similar to number
fields.
For this code, the main point is to establish an API that works solidly.
It will be insanely slow. A subsequent patch will make things fast.
See also: #9069, #9051, #9094, #9095.
Note that the dependancy on #9138 is only because of a really minor change
in the doctests. This ticket already has a positive review so I suspect
this will get merged first. If that ticket eventually gets rejected it
will be trivial to rebase the patch to that ticket.
----
Apply trac_9054-all-parts.patch, trac_9054_polynomial_base_field.patch,
trac_9054_zero.patch, trac_9054_codomain.patch,
trac_9054_doctest-2.patch, trac_9054-review.patch [[BR]]
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9054#comment:52>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
