#20781: Cannot interrupt integral_points() of polyhedron
----------------------------+------------------------
       Reporter:  tscrim    |        Owner:  tscrim
           Type:  defect    |       Status:  new
       Priority:  major     |    Milestone:  sage-7.3
      Component:  geometry  |   Resolution:
       Keywords:            |    Merged in:
        Authors:            |    Reviewers:
Report Upstream:  N/A       |  Work issues:
         Branch:            |       Commit:
   Dependencies:            |     Stopgaps:
----------------------------+------------------------
Description changed by tscrim:

Old description:

> We currently cannot ctrl-C interrupt the `integral_points()` of a
> polyhedron:
> {{{
> sage: ieqs = [(-1, -1, -1, -1, -1, -1, -1, -1, -1),
> ....:         (0, -1, 0, 0, 0, 0, 0, 0, 0),
> ....:         (0, -1, 0, 2, -1, 0, 0, 0, 0),
> ....:         (0, 0, -1, -1, 2, -1, 0, 0, 0),
> ....:         (0, 2, 0, -1, 0, 0, 0, 0, 0),
> ....:         (0, 0, 0, 0, 0, 0, 0, -1, 2),
> ....:         (1, 0, 2, 0, -1, 0, 0, 0, 0),
> ....:         (0, 0, 0, 0, -1, 2, -1, 0, 0),
> ....:         (0, 0, 0, 0, 0, 0, 0, 0, -1),
> ....:         (0, 0, 0, 0, 0, -1, 2, -1, 0),
> ....:         (0, 0, 0, 0, 0, 0, -1, 2, -1)]
> sage: P = Polyhedron(ieqs=ieqs)
> sage: P
> A 8-dimensional polyhedron in QQ^8 defined as the convex hull of 43
> vertices
> sage: P.integral_points() # Cannot ctrl-C out of this
> }}}
> Likely a `sig_on` and `sig_off` pair is needed around the call to
> `loop_over_rectangular_box_points`.

New description:

 We currently cannot ctrl-C interrupt the `integral_points()` of a
 polyhedron:
 {{{
 sage: ieqs = [(-1, -1, -1, -1, -1, -1, -1, -1, -1),
 ....:         (0, -1, 0, 0, 0, 0, 0, 0, 0),
 ....:         (0, -1, 0, 2, -1, 0, 0, 0, 0),
 ....:         (0, 0, -1, -1, 2, -1, 0, 0, 0),
 ....:         (0, 2, 0, -1, 0, 0, 0, 0, 0),
 ....:         (0, 0, 0, 0, 0, 0, 0, -1, 2),
 ....:         (1, 0, 2, 0, -1, 0, 0, 0, 0),
 ....:         (0, 0, 0, 0, -1, 2, -1, 0, 0),
 ....:         (0, 0, 0, 0, 0, 0, 0, 0, -1),
 ....:         (0, 0, 0, 0, 0, -1, 2, -1, 0),
 ....:         (0, 0, 0, 0, 0, 0, -1, 2, -1)]
 sage: P = Polyhedron(ieqs=ieqs)
 sage: P
 A 8-dimensional polyhedron in QQ^8 defined as the convex hull of 43
 vertices
 sage: P.integral_points() # Cannot ctrl-C out of this
 }}}
 Likely a `sig_on` and `sig_off` pair is needed around the call to
 `sage.geometry.integral_points.loop_over_rectangular_box_points`.

--

--
Ticket URL: <http://trac.sagemath.org/ticket/20781#comment:1>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to