main
import {DEFAULT_REPRESENTATION_BASE} from './DEFAULT_REPRESENTATION_BASE.js'; import {IntegerRing} from './IntegerRing.js'; export const ZZ = new IntegerRing('Integer Ring', DEFAULT_REPRESENTATION_BASE);