Commit a0d2d541 authored by Katja Bercic's avatar Katja Bercic

Update MathData theory, add toy example schema theory draft

parent 9cc674dd
......@@ -10,11 +10,16 @@ theory MathData : ur:/?PLF =
int: type❙
leq : int ⟶ int ⟶ boolean❘# 1 ≤ 2❙
geq : int ⟶ int ⟶ boolean❘# 1 ≥ 2❙
lt : int ⟶ int ⟶ boolean❘# 1 < 2❙
gt : int ⟶ int ⟶ boolean❘# 1 > 2❙
eq : int ⟶ int ⟶ boolean❘# 1 = 2❙
neq : int ⟶ int ⟶ boolean❘# 1 ≠ 2❙
string: type❙
concat: string ⟶ string ⟶ string ❘ # 1 @ 2❙
uuid: type❙
// opaque type ❙
array : type ⟶ type❙
......
namespace http://data.mathhub.info/schemas❚
theory MatrixExample : ur:/?PLF =
include ?MathData❙
// list of collections: [('matrix', id, ...)] ❙
id: uuid ❙ // primary key, opaque, not displayed by default ❙
matrix : array array int ❙ // opaque, displayed by default ❙
trace : int ❙ // not opaque, displayed by default ❙
orthogonal : boolean ❙ // not opaque, displayed by default ❙
eigenvalues : array int ❙ // not opaque, displayed by default ❙
\ No newline at end of file
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