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])