#16344: Comparing fans in non-saturated lattices
-------------------------------------+-------------------------------------
Reporter: jkeitel | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-6.3
Component: algebraic | Resolution:
geometry | Merged in:
Keywords: toric | Reviewers:
Authors: Jan Keitel | Work issues:
Report Upstream: N/A | Commit:
Branch: | 3d68c50d064fc8cb32b12a4b6b3c744da49145a4
u/jkeitel/fan_comparison_sublattice| Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by jkeitel):
Hi Andrey,
thanks again for taking a look. Well, fixing virtual rays would of course
be better. The line throwing an exception is
{{{
quotient = N.quotient(self.rays().matrix().saturation().rows())
}}}
since there may be rows that aren't elements of N. A (dirty) possible
solution that comes to mind is to instead take to quotient of the ambient
module of N wrt to these elements and then take the submodule of that
quotient lattice, i.e. something like this:
{{{
qp = N.ambient_module().quotient(self.rays().matrix().saturation().rows())
quotient = qp.submodule(N.gens())
}}}
I'm afraid that that's probably something too naive/stupid and I'd be
happy to hear why. :)
Best,
Jan
--
Ticket URL: <http://trac.sagemath.org/ticket/16344#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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
