Downloads

These static files are generated from the data and algorithms used by the website. Keep the edition metadata and exact-number encodings when reusing a calculation or record.

Download	Contents
Catalogue	Mathematical records, sources, claims, capabilities, and versions.
Claims and sources	Assertions with evidence and bibliographic locators.
Convention profiles	Ten stable, versioned profiles used by the ten Workbench I–IV additions.
Worked calculation files	Named SU(5) tensor, charged branching, and Standard Model quotient examples; load in the indicated tool to recompute.
Operator inventories and enumerations	Six worked inventories with exact dimension subtotals and charge selections.
Enumeration schema	The bounded inventory and selection-rule contract.
Physical setups and calculations	Eleven worked local-operator sectors, with editable inputs and exact calculated results.
Physical setup schema	The bounded scalar/Weyl setup contract; see the schema guide.
Root systems	The 32 supported types and ranks, numbered Cartan matrices, root lengths, and positive coroot coordinates.
Workbench methods	Every calculator’s domain, bounds, algorithm version, and the new methods’ convention and source references.
Review manifest	Content fingerprints, current review states, and stale/current decisions.
Entity schema and source schema	Structural JSON contracts.
Release manifest	Exact edition versions, counts, and canonical routes.
Implementation blueprint	Implemented scope, scientific standards, and remaining milestones.

Exact finite character tables

C₃ · S₃ · D₈ · Q₈ · A₄ · S₄ · A₅

Each table records the group identity and order, conjugacy-class labels and sizes, all irreducible characters, the exact number-field basis, class power maps, sources, conventions, validation results, and algorithm/data versions. Algebraic coefficients are strings; display text is supplied alongside the exact representation. A class label is meaningful together with its table’s representative convention.

Calculations and individual records

Record pages supply their own JSON and BibTeX. Workbench exports preserve normalized inputs, exact results, methods, conventions, source references, and separate application, dataset, schema, and algorithm versions. Shared URLs replay inputs using the currently deployed implementation. Save the JSON to retain the result and version evidence; see reproducibility.

Use in a notebook

catalogue = Import["catalogue.json", "RawJSON"];
Dataset[catalogue["entities"]]

Orders and unbounded result integers use decimal strings. Parse selected integer fields explicitly; do not pass arbitrary strings to an expression evaluator. For a decimal order in Wolfram Language:

FromDigits[group["data"]["order"]]

Rationals retain numerator and denominator strings. Character fields retain exact coefficients and their specified algebraic relation. Converting them to floating-point numbers discards part of the reproducibility contract.

Access and reuse

Original articles use CC BY 4.0; code uses MIT. Third-party material retains its own terms. Keep provenance and the cited dataset edition with extracted facts. See licenses. Downloads are static resources; they do not establish a remote calculation service.