Commit 436db9bd authored by Katja Bercic's avatar Katja Bercic

Rename SchemaLang -> MDDL, update theories

parent b02d1cce
......@@ -151,7 +151,7 @@ theory CommutingOps : ur:?PLF =
arrayLen: {A, a, C} MathData?length A ~ DbData?length a @ ListAsArray C ⟹ IntIdent ❙
theory SchemaLang : ur:?PLF =
theory MDDL : ur:?PLF =
include ?MathData❙
include ?DbData❙
include ?Codecs❙
......
namespace http://data.mathhub.info/schemas❚
theory MatrixWithCharacteristicS : ?SchemaLang =
theory MatrixWithCharacteristicS : ?MDDL =
include ?MatrixS ❙
matrixID: int ❘
meta ?Codecs?codec IntIdent ❘
meta ?SchemaLang?foreignKey `?MatrixS
meta ?MDDL?foreignKey `?MatrixS
characteristic: Polynomial IntegerRing ❘
......
namespace http://data.mathhub.info/schemas❚
theory Matrices : ?SchemaLang =
theory Matrices : ?MDDL =
mat: matrix int 2 2 ❘
meta ?Codecs?codec MatrixAsArray IntIdent ❘
tag ?SchemaLang?opaque ❘
tag ?SchemaLang?hidden ❘
tag ?MDDL?opaque ❘
tag ?MDDL?hidden ❘
trace: int ❘
......@@ -18,7 +18,7 @@ theory Matrices : ?SchemaLang =
eigenvalues: list int ❘
meta ?Codecs?codec ListAsArray IntIdent ❘
tag ?SchemaLang?opaque ❘
tag ?MDDL?opaque ❘
characteristic: Polynomial IntegerRing ❘
......
namespace http://data.mathhub.info/schemas❚
theory MatrixS : ?SchemaLang =
meta /schemas?SchemaLang?schemaGroup "Joe" ❙
theory MatrixS : ?MDDL =
meta /schemas?MDDL?schemaGroup "Joe" ❙
mat: matrix int 2 2❘
meta ?Codecs?codec MatrixAsArray IntIdent❘
tag ?SchemaLang?opaque❘
tag ?MDDL?opaque❘
trace: int❘
......@@ -18,7 +18,7 @@ theory MatrixS : ?SchemaLang =
eigenvalues: list int❘
meta ?Codecs?codec ListAsArray IntIdent❘
tag ?SchemaLang?opaque❘
tag ?MDDL?opaque❘
namespace http://data.mathhub.info/schemas❚
theory Graph : ?SchemaLang =
theory Graph : ?MDDL =
zooid: int ❘
meta ?Codecs?codec IntIdent ❘
tag ?SchemaLang?opaque ❘
tag ?SchemaLang?hidden ❘
tag ?MDDL?opaque ❘
tag ?MDDL?hidden ❘
order: int ❘
......@@ -15,19 +15,19 @@ theory Graph : ?SchemaLang =
index_CVT: int ❘
meta ?Codecs?codec IntIdent ❘
tag ?SchemaLang?collection
tag ?MDDL?collection
@_author "some name" ❘
index_symcubic: int ❘
meta ?Codecs?codec IntIdent ❘
tag ?SchemaLang?collection
tag ?MDDL?collection
@_author "some name" ❘
index_VT: int ❘
meta ?Codecs?codec IntIdent ❘
tag ?SchemaLang?collection
tag ?MDDL?collection
@_author "some name" ❘
......
namespace http://data.mathhub.info/schemas❚
theory Maniplex : ?SchemaLang =
theory Maniplex : ?MDDL =
UUID: uuid ❘
meta ?Codecs?codec UUIDIdent ❘
tag ?SchemaLang?opaque❘
tag ?SchemaLang?hidden❘
tag ?MDDL?opaque❘
tag ?MDDL?hidden❘
is_polytope: bool ❘
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment