Commit d862d61f authored by Katja Bercic's avatar Katja Bercic

Add schemas for graphs, maniplexes in DiscreteZOO; TODO: almost all columns are nullable

parent 1f1f5633
namespace http://data.mathhub.info/schemas❚
// the list of collections should look something like this: [('matrix', 'ID', ['name': 'Example dataset'])] ❚
theory Example : ?SchemaLang =
ID: uuid❘
meta ?Codecs?codec UUIDIdent❘
tag ?SchemaLang?primaryKey❘
tag ?SchemaLang?opaque❘
tag ?SchemaLang?hidden❘
tag ?SchemaLang?collection
@_author "some name"❘
mat: matrix int 2 2❘
......
namespace http://data.mathhub.info/schemas❚
theory Graph : ?SchemaLang =
zooid: int ❘
meta ?Codecs?codec IntIdent ❘
tag ?SchemaLang?primaryKey❘
tag ?SchemaLang?opaque❘
tag ?SchemaLang?hidden❘
order: int ❘
meta ?Codecs?codec IntIdent ❘
index_CVT: int ❘
meta ?Codecs?codec IntIdent ❘
index_symcubic: int ❘
meta ?Codecs?codec IntIdent ❘
index_VT: int ❘
meta ?Codecs?codec IntIdent ❘
is_arc_transitive: bool ❘
meta ?Codecs?codec BoolIdent ❘
is_bipartite: bool ❘
meta ?Codecs?codec BoolIdent ❘
is_cayley: bool ❘
meta ?Codecs?codec BoolIdent ❘
is_distance_regular: bool ❘
meta ?Codecs?codec BoolIdent ❘
is_distance_transitive: bool ❘
meta ?Codecs?codec BoolIdent ❘
is_edge_transitive: bool ❘
meta ?Codecs?codec BoolIdent ❘
is_eulerian: bool ❘
meta ?Codecs?codec BoolIdent ❘
is_hamiltonian: bool ❘
meta ?Codecs?codec BoolIdent ❘
is_moebius_ladder: bool ❘
meta ?Codecs?codec BoolIdent ❘
is_overfull: bool ❘
meta ?Codecs?codec BoolIdent ❘
is_partial_cube: bool ❘
meta ?Codecs?codec BoolIdent ❘
is_prism: bool ❘
meta ?Codecs?codec BoolIdent ❘
is_split: bool ❘
meta ?Codecs?codec BoolIdent ❘
is_spx: bool ❘
meta ?Codecs?codec BoolIdent ❘
is_strongly_regular: bool ❘
meta ?Codecs?codec BoolIdent ❘
chromatic_index: int ❘
meta ?Codecs?codec IntIdent ❘
clique_number: int ❘
meta ?Codecs?codec IntIdent ❘
connected_components_number: int ❘
meta ?Codecs?codec IntIdent ❘
diameter: int ❘
meta ?Codecs?codec IntIdent ❘
girth: int ❘
meta ?Codecs?codec IntIdent ❘
odd_girth: int ❘
meta ?Codecs?codec IntIdent ❘
size: int ❘
meta ?Codecs?codec IntIdent ❘
triangles_count: int ❘
meta ?Codecs?codec IntIdent ❘
\ No newline at end of file
namespace http://data.mathhub.info/schemas❚
theory Maniplex : ?SchemaLang =
UUID: uuid ❘
meta ?Codecs?codec UUIDIdent ❘
tag ?SchemaLang?primaryKey❘
tag ?SchemaLang?opaque❘
tag ?SchemaLang?hidden❘
is_polytope: bool ❘
meta ?Codecs?codec BoolIdent ❘
is_regular: bool ❘
meta ?Codecs?codec BoolIdent ❘
orbits: int ❘
meta ?Codecs?codec IntIdent ❘
rank: int ❘
meta ?Codecs?codec IntIdent ❘
small_group_id: int ❘
meta ?Codecs?codec IntIdent ❘
small_group_order: int ❘
meta ?Codecs?codec IntIdent ❘
\ 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