Commit dd61814e authored by Katja Bercic's avatar Katja Bercic

Synchronize schemas with the paper

parent 6ad60b3c
namespace http://data.mathhub.info/schemas❚
theory Example : ?SchemaLang =
ID: uuid❘
meta ?Codecs?codec UUIDIdent❘
tag ?SchemaLang?primaryKey❘
tag ?SchemaLang?opaque❘
tag ?SchemaLang?hidden❘
tag ?SchemaLang?collection
@_author "some name"❘
theory MatrixS : ?SchemaLang =
mat: matrix int 2 2❘
meta ?Codecs?codec MatrixAsArray IntIdent❘
tag ?SchemaLang?opaque❘
......@@ -27,7 +19,4 @@ theory Example : ?SchemaLang =
meta ?Codecs?codec ListAsArray IntIdent❘
characteristic: Polynomial IntegerRing❘
meta ?Codecs?codec PolynomialAsSparseArray IntIdent❘
......@@ -4,7 +4,6 @@ theory Graph : ?SchemaLang =
zooid: int ❘
meta ?Codecs?codec IntIdent ❘
tag ?SchemaLang?primaryKey❘
tag ?SchemaLang?opaque❘
tag ?SchemaLang?hidden❘
......
......@@ -4,7 +4,6 @@ theory Maniplex : ?SchemaLang =
UUID: uuid ❘
meta ?Codecs?codec UUIDIdent ❘
tag ?SchemaLang?primaryKey❘
tag ?SchemaLang?opaque❘
tag ?SchemaLang?hidden❘
......
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