#11606: simplify constraints in linear programs
----------------------------------+-----------------------------------------
   Reporter:  john_perry          |          Owner:  ncohen    
       Type:  enhancement         |         Status:  needs_info
   Priority:  major               |      Milestone:  sage-4.7.2
  Component:  linear programming  |       Keywords:  sd32      
Work_issues:                      |       Upstream:  N/A       
   Reviewer:                      |         Author:  john_perry
     Merged:                      |   Dependencies:            
----------------------------------+-----------------------------------------
Changes (by john_perry):

  * status:  needs_work => needs_info


Comment:

 As I suspected, it's a typing problem. Normalization performs a division,
 and `1/2` simplifies to `0` if `1` is an `int`. If `1` is an `Integer` or
 a `Rational`, then `1/2` simplifies to a `Rational`.

 This strikes me as a matter best left to the client: the normalization
 shouldn't choose the type of the coefficients of the constraints; it's not
 even clear we can guess this ''a priori''. So this isn't a bug after all.

 But, I'd like someone else's opinion.

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