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