kigubkur.pred.elementary
Predicate: for elementary checks.
not-a-number?interval?
(require '[kigubkur.pred [elementary :refer [<abc>? <xyz>?]]])
interval?
(interval? v)Predicate that checks if a Clojure vector of two [a b] such that a < b.
Syntax: (interval? [a b]) s.t a, b ∈ ℝ or ℤ
key-in-block?
(key-in-block? B ky)Predicate that checks if a given keyword is in a block.
Syntax: (key-in-block? B :Aij) s.t i, j ∈ ℤ+ and i, j ≥ 1
not-a-number?
(not-a-number? x)Predicate that returns true if x ∈ {##NaN, ##Inf, ##-Inf}.
Syntax: (not-a-number? x)
order?
(order? v)Predicate that checks if a Clojure vector of two [a b] such that a, b > 0.
Syntax: (order? [a b])
