#10529: dimension() and is_smooth() for algebraic subschemes of toric varieties
----------------------------------+-----------------------------------------
Reporter: vbraun | Owner: AlexGhitza
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-4.7
Component: algebraic geometry | Keywords:
Author: Volker Braun | Upstream: N/A
Reviewer: Andrey Novoseltsev | Merged:
Work_issues: |
----------------------------------+-----------------------------------------
Comment(by novoselt):
Since you wrote `I.is_prime` and `I.quotient`, I concluded that `I` is
some ideal. Both in cases of ideal and the ring the output is of the type
of initial object. The point of OOP is that you don't have to explain
"what is the first input" for methods of the class. In the case of
`Jacobian_ideal`, on the other hand, the clarification would refer to the
output, which is ambiguous...
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10529#comment:29>
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.
