#8934: Trivial bug in computing faces of non-full-dimensional lattice polytopes
----------------------------------+-----------------------------------------
   Reporter:  novoselt            |       Owner:  mhampton  
       Type:  defect              |      Status:  needs_work
   Priority:  major               |   Milestone:  sage-4.4.2
  Component:  geometry            |    Keywords:            
     Author:  Andrey Novoseltsev  |    Upstream:  N/A       
   Reviewer:                      |      Merged:            
Work_issues:                      |  
----------------------------------+-----------------------------------------
Changes (by vbraun):

 * cc: vbraun (added)
  * status:  needs_review => needs_work


Comment:

 I'm pretty sure you need the double colon in
 {{{
 line 545:"     Check that Trac 8934 is fixed::"
 }}}
 or the example will not be typeset correctly.

 A special case of non-full-dimensional polytopes is the zero-dimensional
 case. This one is also broken, but in a slightly different way:
 {{{
 sage: p = LatticePolytope(matrix([[0]]))
 sage: p.poly_x("i", reduce_dimension=True)
 ---------------------------------------------------------------------------
 ValueError                                Traceback (most recent call
 last)

 /home/vbraun/Sage/ToricVariety/<ipython console> in <module>()

 /home/vbraun/Sage/sage/local/lib/python2.6/site-
 packages/sage/geometry/lattice_polytope.pyc in poly_x(self, keys,
 reduce_dimension)
    2223                1  -1     2
    2224         """
 -> 2225         return self._palp("poly.x -f" + keys, reduce_dimension)
    2226
    2227     def skeleton(self):

 /home/vbraun/Sage/sage/local/lib/python2.6/site-
 packages/sage/geometry/lattice_polytope.pyc in _palp(self, command,
 reduce_dimension)
     772         if self.dim() == 0:
     773             raise ValueError, ("Cannot run \"%s\" for the zero-
 dimensional "
 --> 774                 + "polytope!\nPolytope: %s") % (command, self)
     775         if self.dim() < self.ambient_dim() and not
 reduce_dimension:
     776             raise ValueError(("Cannot run PALP for a
 %d-dimensional polytope " +

 ValueError: Cannot run "poly.x -fi" for the zero-dimensional polytope!
 Polytope: A lattice polytope: 0-dimensional, 1 vertices.
 }}}
 Also, `p.points()` fails for the same reason. It would be great if you
 could fix this case as well.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8934#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 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.

Reply via email to