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$) ?
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$) ?
It is obvious that $x \geq 0$ if and only if it is not the case that $x<0$. So, we can write
not(x.is_negative())
Please start posting anonymously - your entry will be published after you log in or create a new account.
Asked: 2019-09-21 13:16:15 +0100
Seen: 666 times
Last updated: Oct 01 '19