#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.6.2
Component: algebraic geometry | Keywords:
Author: Volker Braun | Upstream: N/A
Reviewer: Andrey Novoseltsev | Merged:
Work_issues: |
----------------------------------+-----------------------------------------
Comment(by novoselt):
I am having second thoughts about calling elements of quotient rings. It
seems dangerous to evaluate the lift without checking that the input is
acceptable. Given your code for ideal subs, it seems very easy to check
that the ideal vanishes on the input, although it will potentially add a
big overhead. How about doing it and providing an option `check=False` for
turning it off in internal algorithms where the input is already known to
be valid? (And if lifts have `check` option already, it should be passed
to them as well.)
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10529#comment:14>
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.
