Specification: Defined Profiles
This page lists the profiles currently defined by this prototype. Profiles are versioned compatibility layers: they collect related serialization rules into named subsets that can be reused and extended over time.
Profiles may be marked as stable or draft. Draft profiles document intended or in-progress format evolution and need not yet have complete example coverage.
basic v1
Shared profile for the common serialization backbone: core format rules, primitive data types, and basic container encodings.
- Identifier:
basic-v1 - Kind: shared
- Status: stable
- Based on: none
Directly Documented Pages
- Bool (
basic v1) - Floating-Point Numbers
- Integers
- String
- Dictionary
- Set
- Tuple
- Vector
- Overall Data Model
- Namespaces, Profiles, and Versions
- Defined Profiles
- References and Parameters
- Matrix
basic v2
Planned successor to basic v1. For now this profile is a draft placeholder
for the next revision of the shared backbone, starting with the forthcoming
change to boolean serialization.
- Identifier:
basic-v2 - Kind: shared
- Status: draft
- Based on: none
Directly Documented Pages
OSCAR Profiles
OSCAR v1.0
Application profile for the OSCAR 1.0 serialization format. In the current corpus this is the earliest documented OSCAR-specific profile: a substantial core of rings, groups, and polyhedral objects already serializes, but many Lie theory examples and several newer object families are still unavailable.
- Identifier:
oscar-v1.0 - Kind: application
- Status: stable
- Based on: basic v1
Directly Documented Pages
- Elements of Finitely Generated Abelian Groups
- Finitely Generated Abelian Groups
- Elements of Finitely Presented Groups (`OSCAR v1.0`)
- Finitely Presented Groups (`OSCAR v1.0`)
- Pc Group Elements (`OSCAR v1.0`)
- Pc Groups (`OSCAR v1.0`)
- Permutation Group Elements (`OSCAR v1.0-v1.1`)
- Permutation Groups (`OSCAR v1.0-v1.1`)
- Cones
- Linear Programs
- Mixed-Integer Linear Programs
- Phylogenetic Trees (`OSCAR v1.0-v1.5`)
- Polyhedral Fans
- Polyhedra
- Simplicial Complexes
- Undirected Graphs
- Finite Field Elements
- Multivariate Polynomial
- Rational Numbers (`OSCAR v1.0-v1.5`)
- Residue Ring Elements
- Univariate Polynomial
- ZZRingElem (`OSCAR v1.0-v1.5`)
OSCAR v1.1
Application profile for the OSCAR 1.1 serialization format. Relative to OSCAR 1.0, the current corpus shows revised encodings for several free, finitely presented, and polycyclic group examples, while overall coverage remains about the same.
- Identifier:
oscar-v1.1 - Kind: application
- Status: stable
- Based on: basic v1
Directly Documented Pages
- Elements of Finitely Generated Abelian Groups
- Finitely Generated Abelian Groups
- Elements of Finitely Presented Groups (`OSCAR v1.1-v1.3`)
- Finitely Presented Groups (`OSCAR v1.1-v1.3`)
- Pc Group Elements (`OSCAR v1.1-v1.3`)
- Pc Groups (`OSCAR v1.1-v1.3`)
- Permutation Group Elements (`OSCAR v1.0-v1.1`)
- Permutation Groups (`OSCAR v1.0-v1.1`)
- Elements of Subgroups of Finitely Presented Groups (`OSCAR v1.1-v1.3`)
- Subgroups of Finitely Presented Groups (`OSCAR v1.1-v1.3`)
- Elements of Subgroups of Pc Groups (`OSCAR v1.1-v1.3`)
- Subgroups of Pc Groups (`OSCAR v1.1-v1.3`)
- Cones
- Linear Programs
- Mixed-Integer Linear Programs
- Phylogenetic Trees (`OSCAR v1.0-v1.5`)
- Polyhedral Fans
- Polyhedra
- Simplicial Complexes
- Undirected Graphs
- Finite Field Elements
- Multivariate Polynomial
- Rational Numbers (`OSCAR v1.0-v1.5`)
- Residue Ring Elements
- Univariate Polynomial
- ZZRingElem (`OSCAR v1.0-v1.5`)
OSCAR v1.2
Application profile for the OSCAR 1.2 serialization format. Relative to OSCAR 1.1, it adds most of the Lie-theory and polyhedral formats that were still missing before, though matrix groups, abelian-group homomorphisms, and some parameterized optimization examples remain unavailable.
- Identifier:
oscar-v1.2 - Kind: application
- Status: stable
- Based on: basic v1
Directly Documented Pages
- Elements of Finitely Generated Abelian Groups
- Finitely Generated Abelian Groups
- Elements of Finitely Presented Groups (`OSCAR v1.1-v1.3`)
- Finitely Presented Groups (`OSCAR v1.1-v1.3`)
- Pc Group Elements (`OSCAR v1.1-v1.3`)
- Pc Groups (`OSCAR v1.1-v1.3`)
- Permutation Group Elements (`OSCAR v1.2-v1.3`)
- Permutation Groups (`OSCAR v1.2-v1.3`)
- Elements of Subgroups of Finitely Presented Groups (`OSCAR v1.1-v1.3`)
- Subgroups of Finitely Presented Groups (`OSCAR v1.1-v1.3`)
- Elements of Subgroups of Pc Groups (`OSCAR v1.1-v1.3`)
- Subgroups of Pc Groups (`OSCAR v1.1-v1.3`)
- Dual Root Space Elements
- Root Space Elements
- Root Systems
- Weyl Group Elements (`OSCAR v1.2`)
- Weyl Groups (`OSCAR v1.2-v1.3`)
- Cones
- Linear Programs
- Matroids
- Mixed-Integer Linear Programs
- Phylogenetic Trees (`OSCAR v1.0-v1.5`)
- Polyhedral Complexes
- Polyhedral Fans
- Polyhedra
- Simplicial Complexes
- Subdivisions of Points
- Undirected Graphs
- Finite Field Elements
- Multivariate Polynomial
- Rational Numbers (`OSCAR v1.0-v1.5`)
- Residue Ring Elements
- Univariate Polynomial
- ZZRingElem (`OSCAR v1.0-v1.5`)
OSCAR v1.3
Application profile for the OSCAR 1.3 serialization format. Relative to OSCAR 1.2, the current corpus mainly adds the weight-lattice examples and a few remaining older encodings before the broader cleanups documented in OSCAR v1.4 and later.
- Identifier:
oscar-v1.3 - Kind: application
- Status: stable
- Based on: basic v1
Directly Documented Pages
- Elements of Finitely Generated Abelian Groups
- Finitely Generated Abelian Groups
- Elements of Finitely Presented Groups (`OSCAR v1.1-v1.3`)
- Finitely Presented Groups (`OSCAR v1.1-v1.3`)
- Pc Group Elements (`OSCAR v1.1-v1.3`)
- Pc Groups (`OSCAR v1.1-v1.3`)
- Permutation Group Elements (`OSCAR v1.2-v1.3`)
- Permutation Groups (`OSCAR v1.2-v1.3`)
- Elements of Subgroups of Finitely Presented Groups (`OSCAR v1.1-v1.3`)
- Subgroups of Finitely Presented Groups (`OSCAR v1.1-v1.3`)
- Elements of Subgroups of Pc Groups (`OSCAR v1.1-v1.3`)
- Subgroups of Pc Groups (`OSCAR v1.1-v1.3`)
- Dual Root Space Elements
- Root Space Elements
- Root Systems
- Weight Lattice Elements (`OSCAR v1.3`)
- Weight Lattices (`OSCAR v1.3`)
- Weyl Group Elements (`OSCAR v1.3`)
- Weyl Groups (`OSCAR v1.2-v1.3`)
- Cones
- Linear Programs
- Matroids
- Mixed-Integer Linear Programs
- Phylogenetic Trees (`OSCAR v1.0-v1.5`)
- Polyhedral Complexes
- Polyhedral Fans
- Polyhedra
- Simplicial Complexes
- Subdivisions of Points
- Undirected Graphs
- Finite Field Elements
- Multivariate Polynomial
- Rational Numbers (`OSCAR v1.0-v1.5`)
- Residue Ring Elements
- Univariate Polynomial
- ZZRingElem (`OSCAR v1.0-v1.5`)
OSCAR v1.4
Application profile for the OSCAR 1.4 serialization format. In the current corpus this is the earliest documented OSCAR-specific profile: most examples already work, but some later object types were not yet supported and several encodings still used older root type names or less explicit type descriptions.
- Identifier:
oscar-v1.4 - Kind: application
- Status: stable
- Based on: basic v1
Directly Documented Pages
- Elements of Finitely Generated Abelian Groups
- Finitely Generated Abelian Groups
- Elements of Finitely Presented Groups (`OSCAR v1.4-v1.8`)
- Finitely Presented Groups (`OSCAR v1.4-v1.8`)
- Pc Group Elements (`OSCAR v1.4-v1.8`)
- Pc Groups (`OSCAR v1.4-v1.8`)
- Permutation Group Elements (`OSCAR v1.4-v1.5`)
- Permutation Groups (`OSCAR v1.4-v1.5`)
- Elements of Subgroups of Finitely Presented Groups (`OSCAR v1.4-v1.8`)
- Subgroups of Finitely Presented Groups (`OSCAR v1.4-v1.8`)
- Elements of Subgroups of Pc Groups (`OSCAR v1.4-v1.8`)
- Subgroups of Pc Groups (`OSCAR v1.4-v1.8`)
- Dual Root Space Elements
- Root Space Elements
- Root Systems
- Weight Lattice Elements (`OSCAR v1.4-v1.8`)
- Weight Lattices (`OSCAR v1.4-v1.8`)
- Weyl Group Elements (`OSCAR v1.4-v1.8`)
- Weyl Groups (`OSCAR v1.4-v1.8`)
- Cones
- Linear Programs
- Matroids
- Mixed-Integer Linear Programs
- Phylogenetic Trees (`OSCAR v1.0-v1.5`)
- Polyhedral Complexes
- Polyhedral Fans
- Polyhedra
- Simplicial Complexes
- Subdivisions of Points
- Undirected Graphs
- Finite Field Elements
- Multivariate Polynomial
- Rational Numbers (`OSCAR v1.0-v1.5`)
- Residue Ring Elements
- Univariate Polynomial
- ZZRingElem (`OSCAR v1.0-v1.5`)
OSCAR v1.5
Application profile for the OSCAR 1.5 serialization format. Relative to OSCAR 1.4, the current corpus shows broader object support, but `ZZRingElem`, `QQFieldElem`, and phylogenetic trees still use the older encodings shared with OSCAR 1.4.
- Identifier:
oscar-v1.5 - Kind: application
- Status: stable
- Based on: basic v1
Directly Documented Pages
- Elements of Finitely Generated Abelian Groups
- Homomorphisms of Finitely Generated Abelian Groups
- Finitely Generated Abelian Groups
- Elements of Finitely Presented Groups (`OSCAR v1.4-v1.8`)
- Finitely Presented Groups (`OSCAR v1.4-v1.8`)
- Matrix Group Elements (`OSCAR v1.5-v1.6`)
- Matrix Groups (`OSCAR v1.5-v1.6`)
- Pc Group Elements (`OSCAR v1.4-v1.8`)
- Pc Groups (`OSCAR v1.4-v1.8`)
- Permutation Group Elements (`OSCAR v1.4-v1.5`)
- Permutation Groups (`OSCAR v1.4-v1.5`)
- Elements of Subgroups of Finitely Presented Groups (`OSCAR v1.4-v1.8`)
- Subgroups of Finitely Presented Groups (`OSCAR v1.4-v1.8`)
- Elements of Subgroups of Pc Groups (`OSCAR v1.4-v1.8`)
- Subgroups of Pc Groups (`OSCAR v1.4-v1.8`)
- Dual Root Space Elements
- Root Space Elements
- Root Systems
- Weight Lattice Elements (`OSCAR v1.4-v1.8`)
- Weight Lattices (`OSCAR v1.4-v1.8`)
- Weyl Group Elements (`OSCAR v1.4-v1.8`)
- Weyl Groups (`OSCAR v1.4-v1.8`)
- Cones
- Linear Programs
- Matroids
- Mixed-Integer Linear Programs
- Phylogenetic Trees (`OSCAR v1.0-v1.5`)
- Polyhedral Complexes
- Polyhedral Fans
- Polyhedra
- Simplicial Complexes
- Subdivisions of Points
- Undirected Graphs
- Finite Field Elements
- Multivariate Polynomial
- Rational Numbers (`OSCAR v1.0-v1.5`)
- Residue Ring Elements
- Univariate Polynomial
- ZZRingElem (`OSCAR v1.0-v1.5`)
OSCAR v1.6
Application profile for the OSCAR 1.6 serialization format. Relative to OSCAR 1.5, the current corpus introduces the newer typed encodings for `ZZRingElem`, `QQFieldElem`, and phylogenetic trees, while matrix groups still use the older `MatrixGroup` root type.
- Identifier:
oscar-v1.6 - Kind: application
- Status: stable
- Based on: basic v1
Directly Documented Pages
- Elements of Finitely Generated Abelian Groups
- Homomorphisms of Finitely Generated Abelian Groups
- Finitely Generated Abelian Groups
- Elements of Finitely Presented Groups (`OSCAR v1.4-v1.8`)
- Finitely Presented Groups (`OSCAR v1.4-v1.8`)
- Matrix Group Elements (`OSCAR v1.5-v1.6`)
- Matrix Groups (`OSCAR v1.5-v1.6`)
- Pc Group Elements (`OSCAR v1.4-v1.8`)
- Pc Groups (`OSCAR v1.4-v1.8`)
- Permutation Group Elements (`OSCAR v1.6-v1.8`)
- Permutation Groups (`OSCAR v1.6-v1.8`)
- Elements of Subgroups of Finitely Presented Groups (`OSCAR v1.4-v1.8`)
- Subgroups of Finitely Presented Groups (`OSCAR v1.4-v1.8`)
- Elements of Subgroups of Pc Groups (`OSCAR v1.4-v1.8`)
- Subgroups of Pc Groups (`OSCAR v1.4-v1.8`)
- Dual Root Space Elements
- Root Space Elements
- Root Systems
- Weight Lattice Elements (`OSCAR v1.4-v1.8`)
- Weight Lattices (`OSCAR v1.4-v1.8`)
- Weyl Group Elements (`OSCAR v1.4-v1.8`)
- Weyl Groups (`OSCAR v1.4-v1.8`)
- Cones
- Linear Programs
- Matroids
- Mixed-Integer Linear Programs
- Phylogenetic Trees (`OSCAR v1.6-v1.8`)
- Polyhedral Complexes
- Polyhedral Fans
- Polyhedra
- Simplicial Complexes
- Subdivisions of Points
- Undirected Graphs
- Finite Field Elements
- Multivariate Polynomial
- Rational Numbers (`OSCAR v1.6-v1.8`)
- Residue Ring Elements
- Univariate Polynomial
- ZZRingElem (`OSCAR v1.6-v1.8`)
OSCAR v1.7
Application profile for the OSCAR 1.7 serialization format. Relative to OSCAR 1.6, the main documented change in the current corpus is the matrix-group rename from `MatrixGroup` to `MatGroup`; otherwise this profile matches the OSCAR-specific encodings documented here.
- Identifier:
oscar-v1.7 - Kind: application
- Status: stable
- Based on: basic v1
Directly Documented Pages
- Elements of Finitely Generated Abelian Groups
- Homomorphisms of Finitely Generated Abelian Groups
- Finitely Generated Abelian Groups
- Elements of Finitely Presented Groups (`OSCAR v1.4-v1.8`)
- Finitely Presented Groups (`OSCAR v1.4-v1.8`)
- Matrix Group Elements (`OSCAR v1.7-v1.8`)
- Matrix Groups (`OSCAR v1.7-v1.8`)
- Pc Group Elements (`OSCAR v1.4-v1.8`)
- Pc Groups (`OSCAR v1.4-v1.8`)
- Permutation Group Elements (`OSCAR v1.6-v1.8`)
- Permutation Groups (`OSCAR v1.6-v1.8`)
- Elements of Subgroups of Finitely Presented Groups (`OSCAR v1.4-v1.8`)
- Subgroups of Finitely Presented Groups (`OSCAR v1.4-v1.8`)
- Elements of Subgroups of Pc Groups (`OSCAR v1.4-v1.8`)
- Subgroups of Pc Groups (`OSCAR v1.4-v1.8`)
- Dual Root Space Elements
- Root Space Elements
- Root Systems
- Weight Lattice Elements (`OSCAR v1.4-v1.8`)
- Weight Lattices (`OSCAR v1.4-v1.8`)
- Weyl Group Elements (`OSCAR v1.4-v1.8`)
- Weyl Groups (`OSCAR v1.4-v1.8`)
- Cones
- Linear Programs
- Matroids
- Mixed-Integer Linear Programs
- Phylogenetic Trees (`OSCAR v1.6-v1.8`)
- Polyhedral Complexes
- Polyhedral Fans
- Polyhedra
- Simplicial Complexes
- Subdivisions of Points
- Undirected Graphs
- Finite Field Elements
- Multivariate Polynomial
- Rational Numbers (`OSCAR v1.6-v1.8`)
- Residue Ring Elements
- Univariate Polynomial
- ZZRingElem (`OSCAR v1.6-v1.8`)
OSCAR v1.8
Draft application profile for the OSCAR 1.8 serialization format. Relative to OSCAR 1.7, it is intended to track the next shared backbone revision via `basic v2`, starting with the planned boolean change; further OSCAR-specific divergences can be recorded here as they appear.
- Identifier:
oscar-v1.8 - Kind: application
- Status: draft
- Based on: basic v2
Directly Documented Pages
- Elements of Finitely Generated Abelian Groups
- Homomorphisms of Finitely Generated Abelian Groups
- Finitely Generated Abelian Groups
- Elements of Finitely Presented Groups (`OSCAR v1.4-v1.8`)
- Finitely Presented Groups (`OSCAR v1.4-v1.8`)
- Matrix Group Elements (`OSCAR v1.7-v1.8`)
- Matrix Groups (`OSCAR v1.7-v1.8`)
- Pc Group Elements (`OSCAR v1.4-v1.8`)
- Pc Groups (`OSCAR v1.4-v1.8`)
- Permutation Group Elements (`OSCAR v1.6-v1.8`)
- Permutation Groups (`OSCAR v1.6-v1.8`)
- Elements of Subgroups of Finitely Presented Groups (`OSCAR v1.4-v1.8`)
- Subgroups of Finitely Presented Groups (`OSCAR v1.4-v1.8`)
- Elements of Subgroups of Pc Groups (`OSCAR v1.4-v1.8`)
- Subgroups of Pc Groups (`OSCAR v1.4-v1.8`)
- Dual Root Space Elements
- Root Space Elements
- Root Systems
- Weight Lattice Elements (`OSCAR v1.4-v1.8`)
- Weight Lattices (`OSCAR v1.4-v1.8`)
- Weyl Group Elements (`OSCAR v1.4-v1.8`)
- Weyl Groups (`OSCAR v1.4-v1.8`)
- Cones
- Linear Programs
- Matroids
- Mixed-Integer Linear Programs
- Phylogenetic Trees (`OSCAR v1.6-v1.8`)
- Polyhedral Complexes
- Polyhedral Fans
- Polyhedra
- Simplicial Complexes
- Subdivisions of Points
- Undirected Graphs
- Finite Field Elements
- Multivariate Polynomial
- Rational Numbers (`OSCAR v1.6-v1.8`)
- Residue Ring Elements
- Univariate Polynomial
- ZZRingElem (`OSCAR v1.6-v1.8`)