...
 
Commits (2)
......@@ -2,13 +2,16 @@ namespace http://data.mathhub.info/schemas❚
theory MatrixWithCharacteristicS : ?MDDL =
meta /schemas?MDDL?schemaGroup "Jane" ❙
include ?MatrixS ❙
matrixID: int
meta ?Codecs?codec IntIdent ❘
matrixID: uuid
meta ?Codecs?codec UUIDIdent ❘
meta ?MDDL?foreignKey `?MatrixS
positive_definite: bool❘
meta ?Codecs?codec BoolIdent❘
characteristic: Polynomial IntegerRing ❘
meta ?Codecs?codec PolynomialAsSparseArray IntIdent
......
namespace http://data.mathhub.info/schemas❚
theory Matrices : ?MDDL =
meta /schemas?MDDL?schemaGroup "Mathilde" ❙
meta /schemas?MDDL?datasetName "Mathilde's matrix dataset" ❙
meta ?MDDL?schemaGroup "Mathilde" ❙
meta ?MDDL?datasetName "Mathilde's matrix dataset" ❙
mat: matrix int 2 2 ❘
meta ?Codecs?codec MatrixAsArray IntIdent ❘
......
namespace http://data.mathhub.info/schemas❚
theory MatrixS : ?MDDL =
meta /schemas?MDDL?schemaGroup "Joe" ❙
meta ?MDDL?schemaGroup "Joe" ❙
mat: matrix int 2 2❘
meta ?Codecs?codec MatrixAsArray IntIdent❘
......