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 \in \mathbb{F}_2$
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 $\Sigma_{i=0}^{i=n}2^ib_i$)
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.)