...
 
Commits (2)
  • Florian Rabe's avatar
    no message · e19ccd01
    Florian Rabe authored
    e19ccd01
  • Florian Rabe's avatar
    no message · 1a659308
    Florian Rabe authored
    Merge branch 'master' of gl.mathhub.info:ODK/DiscreteZoo
    
    # Conflicts:
    #	source/MDDL.mmt
    #	source/example_schema.mmt
    1a659308
......@@ -160,6 +160,7 @@ theory MDDL : ur:?PLF =
foreignKey❙
opaque❙
hidden❙
collection❙
schemaGroup❙
datasetName❙
namespace http://data.mathhub.info/schemas❚
// the list of collections should look something like this: [('matrix', 'ID', ['name': 'Example dataset'])] ❚
theory Example : ?SchemaLang =
ID: uuid❘
meta ?Codecs?codec UUIDIdent❘
tag ?SchemaLang?primaryKey❘
tag ?SchemaLang?opaque❘
tag ?SchemaLang?hidden❘
mat: matrix int 2 2❘
meta ?Codecs?codec MatrixAsArray IntIdent❘
tag ?SchemaLang?opaque❘
trace: int❘
meta ?Codecs?codec IntIdent❘
orthogonal: bool❘
meta ?Codecs?codec BoolIdent❘
eigenvalues: list int❘
meta ?Codecs?codec ListAsArray IntIdent❘
characteristic: Polynomial IntegerRing❘
meta ?Codecs?codec PolynomialAsSparseArray IntIdent❘