Abstract

Distance functions for boolean vectors (representing sets).

Synopsis

open import "lib/github.com/athas/vector/vector"
open import "lib/github.com/athas/distance/has_distance"
module mk_dice: (R: real) -> (V: vector) -> has_distance with t = V.vector bool with distance = R.t
module mk_hamming: (R: real) -> (V: vector) -> has_distance with t = V.vector bool with distance = R.t
module mk_jaccard: (R: real) -> (V: vector) -> has_distance with t = V.vector bool with distance = R.t
module mk_kulsinski: (R: real) -> (V: vector) -> has_distance with t = V.vector bool with distance = R.t
module mk_rogerstanimoto: (R: real) -> (V: vector) -> has_distance with t = V.vector bool with distance = R.t
module mk_russellrao: (R: real) -> (V: vector) -> has_distance with t = V.vector bool with distance = R.t
module mk_sokalmichener: (R: real) -> (V: vector) -> has_distance with t = V.vector bool with distance = R.t
module mk_sokalsneath: (R: real) -> (V: vector) -> has_distance with t = V.vector bool with distance = R.t
module mk_yule: (R: real) -> (V: vector) -> has_distance with t = V.vector bool with distance = R.t

Description

↑module mk_dice

Dice dissimilarity.

↑module mk_hamming

Hamming distance.

↑module mk_jaccard

Jaccard dissimilarity.

↑module mk_kulsinski

Kulsinski dissimilarity.

↑module mk_rogerstanimoto

Rogers-Tanimoto dissimilarity.

↑module mk_russellrao

Russell-Rao dissimilarity.

↑module mk_sokalmichener

Sokal-Michener dissimilarity.

↑module mk_sokalsneath

Sokal-Sneath dissimilarity.

↑module mk_yule

Yule dissimilarity.