There are some misakes in the coefficient of
But still get similar result.
I understand the mathematica gives me the result in sort of detailed expression.
However I want the result simplified in the condition of
left == right && 0<=b<8 && 0<=d<4, NonNegativeIntergers.
a<4 && c < 2 we have:
Apprently As long as right == left, then d == b %4.
So I want to get simplified
d = Mod[b, 4].
right == left should already eliminate the assumption of
In the general case of
c the conclusion still holds in the condition of that "As long as" above.
P.S. I tried to use the following, still not get what I want.
Reduce[left == right && 0 <= b < 8 && 0 <= d < 4 && a<2 && c < 4, d, NonNegativeIntegers]
A simple question of calculation coordinates of axis align tensor.
left = 8 a + b right = 4 c + d Reduce[left == right && 0<=b<8 && 0<=d<4,d,NonNegativeIntegers ]
However I expect d = b % 4
d = Mod[b, 4]