I can use Whole
to represent integers.
How to represent positive integers?
I can define My assumptions = element[{x, y}, Integers] && x> 0 && y> 0
.
But I want a more concise way because I need to define the assumption for many variables.
I can use Whole
to represent integers.
How to represent positive integers?
I can define My assumptions = element[{x, y}, Integers] && x> 0 && y> 0
.
But I want a more concise way because I need to define the assumption for many variables.