#12170: Genus computation (using singular) and _singular_ object for function
filed
----------------------------------+-----------------------------------------
Reporter: sydahmad | Owner: AlexGhitza
Type: enhancement | Status: needs_work
Priority: minor | Milestone: sage-5.0
Component: algebraic geometry | Keywords: function field, genus,
singular
Work_issues: | Upstream: N/A
Reviewer: | Author: Syed Ahmad Lavasani
Merged: | Dependencies: #9054
----------------------------------+-----------------------------------------
Comment(by sydahmad):
Replying to [comment:9 was]:
> Just a quick observation. The docstring for is_RationalFunctionField
claims that it checks if the input is "of rational function field *type*".
However, that is not what it does.
What I needed was the type check, but because I wanted to follow
is_FunctionField line by line and that there's no category of
RationalFunctionFields I thought that this is the closest approximation.
{{{
973 if (x in FunctionFields()):
974 return x == x.base_field()
975 else:
}}}
Saying that, I do not think that I can come up with such an example
because I do not know how the members of FunctionFields category which are
not of FunctionField type looks like, I even do not know if they have
base_field() method or not (David Roe told me last week that categorical
parenthood does not implies OOP parenthood), and if not, the code will
generate an error. So, I think we should get rid of these three lines
instead.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12170#comment:12>
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.
