#12194: Enhancing function field capabilities: collapse a tower of function
field
extensions to a simple extension and more
-----------------------------------+----------------------------------------
Reporter: saraedum | Owner: malb
Type: enhancement | Status: needs_info
Priority: minor | Milestone: sage-4.8
Component: commutative algebra | Keywords: function fields
Work_issues: | Upstream: N/A
Reviewer: | Author:
Merged: | Dependencies: #9054
-----------------------------------+----------------------------------------
Comment(by sydahmad):
I think I found a bug in change_generators(t,w) , I think if t
isn't integral over k[x], it doesn't work properly. I think we need to
multiply the elements of [t!^e*w!^d] matrix with the lcm of their
denominators and that's enough for a cure. In few cases, that I checked I
got the correct result.
Also, I don't understand how do we know that dimension of the kernel of
the above matrix is always one. Doesn't it mean that we should know the
dimension of the Riemman-Roch space generated by the by poles of t and w
with some multiplicity? Is it easy to be computed? If it's that easy,
can't we use it to compute the genus?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12194#comment:4>
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.
