Commit b02d1cce authored by Katja Bercic's avatar Katja Bercic

Updates, more schemas

parent 2a2fa9e7
namespace http://data.mathhub.info/schemas❚
theory MatrixWithCharacteristicS : ?SchemaLang =
include ?MatrixS ❙
matrixID: int ❘
meta ?Codecs?codec IntIdent ❘
meta ?SchemaLang?foreignKey `?MatrixS
characteristic: Polynomial IntegerRing ❘
meta ?Codecs?codec PolynomialAsSparseArray IntIdent
\ No newline at end of file
namespace http://data.mathhub.info/schemas❚
theory Matrices : ?SchemaLang =
mat: matrix int 2 2 ❘
meta ?Codecs?codec MatrixAsArray IntIdent ❘
tag ?SchemaLang?opaque ❘
tag ?SchemaLang?hidden ❘
trace: int ❘
meta ?Codecs?codec IntIdent ❘
orthogonal: bool ❘
meta ?Codecs?codec BoolIdent ❘
eigenvalues: list int ❘
meta ?Codecs?codec ListAsArray IntIdent ❘
tag ?SchemaLang?opaque ❘
characteristic: Polynomial IntegerRing ❘
meta ?Codecs?codec PolynomialAsSparseArray IntIdent ❙
namespace http://data.mathhub.info/schemas❚
theory MatrixS : ?SchemaLang =
meta /schemas?SchemaLang?schemaGroup "Joe" ❙
mat: matrix int 2 2❘
meta ?Codecs?codec MatrixAsArray IntIdent❘
......
......@@ -156,8 +156,9 @@ theory SchemaLang : ur:?PLF =
include ?DbData❙
include ?Codecs❙
include ?CommutingOps❙
primaryKey❙
foreignKey❙
opaque❙
hidden❙
schemaGroup❙
......@@ -4,8 +4,8 @@ theory Graph : ?SchemaLang =
zooid: int ❘
meta ?Codecs?codec IntIdent ❘
tag ?SchemaLang?opaque❘
tag ?SchemaLang?hidden❘
tag ?SchemaLang?opaque
tag ?SchemaLang?hidden
order: int ❘
......@@ -15,14 +15,20 @@ theory Graph : ?SchemaLang =
index_CVT: int ❘
meta ?Codecs?codec IntIdent ❘
tag ?SchemaLang?collection
@_author "some name" ❘
index_symcubic: int ❘
meta ?Codecs?codec IntIdent ❘
tag ?SchemaLang?collection
@_author "some name" ❘
index_VT: int ❘
meta ?Codecs?codec IntIdent ❘
tag ?SchemaLang?collection
@_author "some name" ❘
......
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