Specification: References and Parameters

Profiles: basic v1

Complex mathematical objects often depend on ambient rings, fields, spaces, or other context that should be stored once and reused. The format handles this with parametric types and UUID-addressed reference objects.

Rules

• When a type depends on contextual objects, encode that dependency in _type.params.
• If the parameter is itself a structured object, place it in _refs and refer to it by UUID.
• Use _refs for recursive constructions, shared ambient objects, and cases where object identity matters beyond isomorphism.
• UUID keys in _refs should remain stable throughout the active producing session.

Why this matters

• Two mathematically isomorphic objects can still play different computational roles, and the reference graph preserves that distinction.
• A later consumer can reconstruct the full serialization context instead of reverse-engineering it from the payload alone.

Documented Profiles in This Corpus

This table records the profile/version pairs currently represented by the rosetta-stone examples for this data type. Add new rows as new systems or encoding revisions are documented.

No documented profiles yet.

Rosetta Stone Examples

• Dictionary (String to polynomial variable)
• Set of polynomial elements
• Element of abelian group
• Element of finitely presented group
• Element of subgroup of free group
• Element of pc group
• Element of subgroup of finitely presented group
• Element of subgroup of symmetric group
• Element of subgroup of pc group
• Finitely presented group
• Free group
• Element of free group
• Homomorphism of free abelian groups
• Matrix group
• Element of matrix group
• Pc group
• Subgroup of finitely presented group
• Subgroup of free group
• Subgroup of pc group
• Element of symmetric group
• Negative coroots
• Positive coroot
• Positive root
• Positive roots
• Weight lattice
• Element of weight lattice
• Generators of weight lattice
• Weyl group
• Element of Weyl group
• Generators of Weyl group
• Rational matrix
• Algebraic cube
• Dodecahedron dictionary
• Normal fan of dodecahedron
• Number-field cone
• Number-field polyhedral complex
• Number-field subdivision
• Pair of linear programs
• Pair of mixed-integer linear programs
• Generator of GF(5^2)
• Multivariate polynomial
• Univariate polynomial
• One in GF(5)