Is there any way to keep signs when converting from symmetric modular representation to integers?
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
I do not understand your question. Note that $-2=3$ in GF(5).