#10140: Base sage.geometry.cone on the Parma Polyhedra Library (PPL)
----------------------------------+-----------------------------------------
Reporter: vbraun | Owner: mhampton
Type: enhancement | Status: needs_info
Priority: major | Milestone: sage-4.7
Component: geometry | Keywords: ppl
Author: Volker Braun | Upstream: N/A
Reviewer: Andrey Novoseltsev | Merged:
Work_issues: |
----------------------------------+-----------------------------------------
Comment(by novoselt):
In the `intersection` method of cones there is now
{{{
if self.lattice_dim() != other.lattice_dim():
raise ValueError('The cones must be in same-dimensional
lattices.')
}}}
Why? And why in this form? I think that we probably should check that
lattices are compatible, but not by dimension equality. We probably don't
want to allow intersecting a cone in N with a cone in M. On the other
hand, it is reasonable to allow intersection of cones living in
sublattices of the same lattice. The lattice of the intersection should be
the intersection of sublattices. Any objections?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10140#comment:41>
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.
