Ask Your Question
1

Weak positivity

asked 2019-09-21 13:16:15 +0100

Cyrille gravatar image

updated 2019-09-21 13:41:49 +0100

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

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
0

answered 2019-09-21 13:44:17 +0100

joakim_uhlin gravatar image

updated 2019-10-01 18:41:15 +0100

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())
edit flag offensive delete link more

Comments

Thanks joakim, I am stupid.

Cyrille gravatar imageCyrille ( 2019-09-21 15:22:56 +0100 )edit

Your Answer

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

Add Answer

Question Tools

1 follower

Stats

Asked: 2019-09-21 13:16:15 +0100

Seen: 632 times

Last updated: Oct 01 '19