#19365: Bug in lattice_polytope.positive_integer_relations
----------------------------+-------------------------
Reporter: tmonteil | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-6.10
Component: geometry | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
----------------------------+-------------------------
Changes (by vdelecroix):
* cc: vdelecroix (added)
* milestone: sage-6.9 => sage-6.10
Old description:
> Reported on [http://ask.sagemath.org/question/29797/non-negative-integer-
> relations-on-vertices/ this ask question]:
>
> {{{
> sage: vertices =
> [(1,1,-1,-1,-1),(-1,-1,1,1,-1),(1,-1,-1,-1,1),(-1,1,1,1,1),(1,-1,1,-1,-1)]
> sage: p = LatticePolytope(vertices)
> sage:
> lattice_polytope.positive_integer_relations(p.vertices().column_matrix()
> TypeError: unable to make sense of Maxima expression
> '"Problemnotfeasible!"' in Sage
> }}}
>
> Note that there is a non-negative nontrivial integer relation:
>
> {{{
> sage: p.vertices().column_matrix().right_kernel()
> Free module of degree 5 and rank 1 over Integer Ring
> Echelon basis matrix:
> [1 1 1 1 0]
> }}}
New description:
Reported on [http://ask.sagemath.org/question/29797/non-negative-integer-
relations-on-vertices/ this ask question]:
{{{
sage: vertices =
[(1,1,-1,-1,-1),(-1,-1,1,1,-1),(1,-1,-1,-1,1),(-1,1,1,1,1),(1,-1,1,-1,-1)]
sage: p = LatticePolytope(vertices)
sage:
lattice_polytope.positive_integer_relations(p.vertices().column_matrix())
TypeError: unable to make sense of Maxima expression
'"Problemnotfeasible!"' in Sage
}}}
Note that there is a non-negative nontrivial integer relation:
{{{
sage: p.vertices().column_matrix().right_kernel()
Free module of degree 5 and rank 1 over Integer Ring
Echelon basis matrix:
[1 1 1 1 0]
}}}
--
Comment:
... changed a missing `)` in the description...
--
Ticket URL: <http://trac.sagemath.org/ticket/19365#comment:2>
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.
