#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:
|
---------------------------------------------------------------------------------+
Comment(by mderickx):
I'm now busy with very troughly checking the entire patch wich at least
with some changed free module stuff passes all doctests. There will be a
big doctest patch comming up which includes tests I've thought up to also
test some more none trivial examples.
There is are at least two big issues which I run in to today. They all
occured in the same terminal session.
{{{
sage: K.<x> = FunctionField(QQ)
sage: R.<y> = K[]
sage: L.<w> = K.extension(y^5 - (x^3 + 2*x*y + 1/x));
sage: w.is_integral()
False
sage: L.order(w) #should raise a value error since orders can only be
generated by integral elements
Order in Function field in w defined by y^5 - 2*x*y + (-x^4 - 1)/x
sage: L.order(w).gens()
---------------------------------------------------------------------------
RuntimeError Traceback (most recent call
last)
/Users/maarten/Downloads/sage-4.7.2.alpha2/devel/sage-main/<ipython
console> in <module>()
/Users/maarten/Downloads/sage-4.7.2.alpha2/local/lib/python2.6/site-
packages/sage/structure/parent_gens.so in
sage.structure.parent_gens.ParentWithGens.gens
(sage/structure/parent_gens.c:2741)()
/Users/maarten/Downloads/sage-4.7.2.alpha2/local/lib/python2.6/site-
packages/sage/structure/parent_gens.so in
sage.structure.parent_gens.ParentWithGens.ngens
(sage/structure/parent_gens.c:2548)()
/Users/maarten/Downloads/sage-4.7.2.alpha2/local/lib/python2.6/site-
packages/sage/structure/parent_gens.so in
sage.structure.parent_gens.check_old_coerce
(sage/structure/parent_gens.c:1228)()
RuntimeError: Order in Function field in w defined by y^5 - 2*x*y + (-x^4
- 1)/x still using old coercion framework
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9054#comment:33>
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.
