Commit 9b65a59c authored by Katja Bercic's avatar Katja Bercic

Update schemas, MDDL

parent 436db9bd
......@@ -12,7 +12,7 @@ theory MathData : ?Framework =
bool : type❙
rule lfrules?Realize bool stdlit?StandardBool❙
int : type❙
int : type ❘ # ℤ
plus : int ⟶ int ⟶ int❘# 1 + 2❙
minus : int ⟶ int ⟶ int❘# 1 - 2❙
times : int ⟶ int ⟶ int❘# 1 ⋅ 2❙
......@@ -161,4 +161,5 @@ theory MDDL : ur:?PLF =
opaque❙
hidden❙
schemaGroup❙
datasetName❙
namespace http://data.mathhub.info/schemas❚
theory MatrixWithCharacteristicS : ?MDDL =
meta /schemas?MDDL?schemaGroup "Jane" ❙
include ?MatrixS ❙
matrixID: int ❘
......
namespace http://data.mathhub.info/schemas❚
theory Matrices : ?MDDL =
meta /schemas?MDDL?schemaGroup "Mathilde" ❙
meta /schemas?MDDL?datasetName "Mathilde's matrix dataset" ❙
mat: matrix int 2 2 ❘
meta ?Codecs?codec MatrixAsArray IntIdent ❘
tag ?MDDL?opaque ❘
tag ?MDDL?hidden ❘
trace: int ❘
......@@ -22,6 +23,8 @@ theory Matrices : ?MDDL =
characteristic: Polynomial IntegerRing ❘
meta ?Codecs?codec PolynomialAsSparseArray IntIdent ❙
meta ?Codecs?codec PolynomialAsSparseArray IntIdent ❘
tag ?MDDL?opaque ❘
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