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

Weak positivity

add a comment

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())
```

Asked: **
2019-09-21 06:16:15 -0500
**

Seen: **55 times**

Last updated: **Oct 01 '19**

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.