Working with general coefficiets in polynomial.
Say I have polynomial aX^2+bY^2. How can I tell sage that in my field a^p=a, and b^p=b or few more constrains through my whole computation. I work in any field. I just want to put some constrains on coefficients and just keep them as the are.