In SageMath one can ask if x.is_positive{}. But this is the definition of strickt positivity. What or the weak case (i.e. x >=0$ ?
Revision history [back]
 | 1 | initial version |
Weak positivity
| | 2 | None |
Weak positivity
In SageMath one can ask if x.is_positive{}. But this is the definition of strickt positivity. What or the weak case (i.e. x >=0$ x>=0) ?
