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
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$) ?
