Front PageRosetta StoneSpecificationEdit this page

Example: Element of residue ring (6)

Profiles: OSCAR v1.0, OSCAR v1.1, OSCAR v1.2, OSCAR v1.3, OSCAR v1.4, OSCAR v1.5, OSCAR v1.6, OSCAR v1.7, OSCAR v1.8

The residue class of $1$ in the quotient ring $\mathbb{Z}/6\mathbb{Z}$.

Systems

Oscar.jl

Generate code (generate.jl) [ edit ]

using Oscar

R = residue_ring(ZZ, 6)[1]
save("data.mrdi", R(1))

Data outputs

Profiles: OSCAR v1.0, OSCAR v1.1, OSCAR v1.2, OSCAR v1.3, OSCAR v1.4, OSCAR v1.5, OSCAR v1.6, OSCAR v1.7

Data file: data.mrdi

{
  "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.7.0"]},
  "_type": {"name": "zzModRingElem", "params": {"_type": "Nemo.zzModRing", "data": "6"}},
  "data": "1"
}

This serialized output is equivalent for these profiles up to UUID renaming and recorded namespace version strings.