Changes between Version 1 and Version 2 of Ticket #24837


Ignore:
Timestamp:
02/28/18 10:51:15 (3 years ago)
Author:
jipilab
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #24837 – Description

    v1 v2  
    7272     -x1 - x2 <= -3
    7373          -x2 <= -1
     74sage: print(P.Hrepresentation_str(style='positive'))
     75x0 + x1 + x2 == 6       
     76           5 >= x1 + x2
     77           3 >= x2     
     78           3 >= x1     
     79          x1 >= 1       
     80     x1 + x2 >= 3       
     81          x2 >= 1
    7482}}}
    7583