skolem
Stable function · Relational keys and geometry
Tier: stable · Kind: function · Topic: Relational keys and geometry
| Julia | TypeScript | Python | Rust | Go |
|---|---|---|---|---|
| not exported | not exported | skolem | skolem | not exported |
Julia
Julia does not export this function.
TypeScript
TypeScript does not export this function.
Python
skolem(components: Sequence[Any], *, symmetric: bool = False) -> tuple[Any, ...]
Canonical-tuple Skolem key (rule 4).
For a symmetric relation the components are sorted (generalising
skolem_edge
to arity > 2); for a directed relation the order is
preserved, so (1, 2) and (2, 1) stay distinct. Never a hash() —
the tuple is the content-addressed key. The dense ID then comes from
rank
.
Rust
pub fn skolem(components: Vec<Key>, symmetric: bool) -> Key
Canonical-tuple Skolem key (rule 4). For a symmetric relation the
components are sorted (generalising skolem_edge
to arity > 2); for a
directed relation the order is preserved, so (1, 2) and (2, 1) stay
distinct. Never a native hash — the tuple is the content-addressed key; the
dense ID then comes from rank
.
Go
Go does not export this function.