I learned that you can get symmetric representation by using multivariate polynomials, but it seems kinda useless if it won't keep the sign after the change. Is there anyway to preserve the sign?
R = PolynomialRing(GF(5),('x','y'))
M = PolynomialRing(ZZ,('x','y'))
a = M(-2) + M(1)
M(R(-2))
3