User Portlet User Portlet

Discussions
My question is simple, I know that Mathematica program trace the parameter through the provided formula and all constraints during debugging the program or the code. So, my question is how to trace a particular variable and to know which function and...
Should I use "`&&`" between defining the constraints? I have already defined them as integers: {a0, a1, a2, a3, b0, b1, b2, b3, z0, z1, z2, z3} \[Element] Integers} So, why it is not a valid variable ? and protected? Thanks,
So how can I know which value of "a" is used ?
For the second item, I don't need the statements for all Dxx since they will not be changed. Only Pxx will have all possible combinations.
Yes if it gives me a solution it will help me.