Weak positivity

Processing math: 100%

Weak positivity

Cyrille
1409 ●38 ●82 ●144

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

1 Answer

Sort by » oldest newest most voted

joakim_uhlin
150 ●2 ●4 ●16

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

Thanks joakim, I am stupid.

Cyrille ( 5 years ago )

Please start posting anonymously - your entry will be published after you log in or create a new account.

1 follower

Asked: 5 years ago

Seen: 767 times

Last updated: Oct 01 '19