#10342: Divisor groups and cohomology rings should not make uniqueness decisions
----------------------------------+-----------------------------------------
Reporter: novoselt | Owner: AlexGhitza
Type: defect | Status: new
Priority: major | Milestone:
Component: algebraic geometry | Keywords:
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
----------------------------------+-----------------------------------------
Comment(by novoselt):
I though about changing `__cmp__`, but the current behaviour is more
uniform with cones and fans. Besides, I think that it is good to have some
kind of total order on objects that does not change from session to
session. In this case the only meaningful option for varieties with
"everything the same" is to be equal.
Adding divisors and cohomology classes can be handled via coercion, I
think, but making schemes and related classes work nicely with coercion
may require a bit of effort. I definitely want to have it eventually even
for not equal varieties: e.g. if I extended the base field of `X` by
adding some coefficients, I want to be able to mix divisors of "the
original `X`" and the new one. This should work for all schemes, not just
toric varieties.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10342#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.
