#9054: create a class for basic function_field arithmetic for Sage
---------------------------------------------------------------------------------+
Reporter: was
| Owner: was
Type: enhancement
| Status: new
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, #11034
|
---------------------------------------------------------------------------------+
Changes (by mderickx):
* dependencies: => #9094, #11034
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[[BR]]
> Depends on #9094, #11034
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.
----
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, #11034
--
Comment:
I changed the description so that it's clear which code to look at. I will
read the rest of all the remarks when I'm back from lunch.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9054#comment:42>
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.
