QuotientRing

Generated from the engine's own definition: compute-engine's symbol, which we neither extend nor document by hand. No examples yet — the crosswalk is the reason it has a page.

The quotient of a ring by the ideal generated by the second argument. `QuotientRing(Integers, n)` is ℤ/nℤ, the integers modulo `n`. Inert: the residues are not enumerated, and membership is not decided.

QuotientRing(set<any>, any) -> setas compute-engine declares it

Domain: Compute engine