Adds theories/algebra/ZqCentered.ec providing the centered (signed) i…#995

Open

mbbarbosa wants to merge 8 commits into

mainfrom

feature-zqcentered

Commits on May 7, 2026

Adds theories/algebra/ZqCentered.ec providing the centered (signed) integer representation of Z/pZ elements.
mbbarbosa
committed

Commits on May 8, 2026

Adds theories/algebra/ZqCentered.ec providing the centered (signed) integer representation of Z/pZ elements.

mbbarbosa
authored and
strub
committed