Revision history [back]

Your data is:

sage: z_1                                                                                                                                                                                                    
x_2 <= 25
sage: z_2                                                                                                                                                                                                    
x_2 >= (3/35)
sage: z_3                                                                                                                                                                                                    
x_2 <= 6
sage: z_4                                                                                                                                                                                                    
x_2 >= -39

You can look at the operator of the symbolic expression as follows:

sage: z_1.operator()                                                                                                                                                                                         
<built-in function le>
sage: z_2.operator()                                                                                                                                                                                         
<built-in function ge>

You can recognize which operator it is as follows:

sage: z_1.operator() is operator.le                                                                                                                                                                          
True
sage: z_1.operator() is operator.ge                                                                                                                                                                          
False
sage: z_2.operator() is operator.le                                                                                                                                                                          
False
sage: z_2.operator() is operator.ge                                                                                                                                                                          
True

le stands for "less or equal than" and ge stands for "greater or equal than".

Your data is:give:

sage: z_1                                                                                                                                                                                                    
x_2 <= 25
sage: z_2                                                                                                                                                                                                    
x_2 >= (3/35)
sage: z_3                                                                                                                                                                                                    
x_2 <= 6
sage: z_4                                                                                                                                                                                                    
x_2 >= -39

You can look at the operator of the symbolic expression as follows:

sage: z_1.operator()                                                                                                                                                                                         
<built-in function le>
sage: z_2.operator()                                                                                                                                                                                         
<built-in function ge>

You can recognize which operator it is as follows:

sage: z_1.operator() is operator.le                                                                                                                                                                          
True
sage: z_1.operator() is operator.ge                                                                                                                                                                          
False
sage: z_2.operator() is operator.le                                                                                                                                                                          
False
sage: z_2.operator() is operator.ge                                                                                                                                                                          
True

le stands for "less or equal than" and ge stands for "greater or equal than".