#10238: Containment checks are wrong for empty polyhedra
------------------------+---------------------------------------------------
   Reporter:  novoselt  |       Owner:  mhampton  
       Type:  defect    |      Status:  needs_work
   Priority:  major     |   Milestone:  sage-4.6.1
  Component:  geometry  |    Keywords:            
     Author:            |    Upstream:  N/A       
   Reviewer:            |      Merged:            
Work_issues:            |  
------------------------+---------------------------------------------------
Changes (by novoselt):

  * status:  needs_review => needs_work


Comment:

 Replying to [comment:1 vbraun]:
 > I changed the "empty" polyhedron to contain one equation `0==-1`.

 This seems reasonable, but it shows in the doctest as "[An equation () x +
 -1 == 0]" which is confusing: what is "() x" and why "+ -"?

 This is not directly related to this ticket, but how about omitting "() x
 +" for 0-dimensional equations/inequalities and taking into account the "+
 -" situation in general?

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