Can I define a symbolic equation where the variables are concatenating?
Hi, Can I define a symbolic equation with variable concatenating?
For example:
let x∈F2
How can I define the following equation:
11111x1111=2∗x+2
where the x is a digit in the left number.
(The obvious way is by taking the binary exression of that number i.e Σi=ni=02ibi)
If x is in GF(2), it is not a "digit". The equality should work in integers? (The 2x+2 is maybe either 2, well 10, but then... or 6 ... The number on the left side is bigger.)