erlang canonical_relation(SetOfSets)用法及代碼示例

canonical_relation(SetOfSets) -> BinRel

類型：

BinRel = binary_relation()

SetOfSets = set_of_sets()

返回包含元素 (E, Set) 的二元關係，使得 Set 屬於SetOfSetsE 屬於集合。如果SetOfSets是一個分割集合 X 和 R 是 X 中的等價關係，由SetOfSets，那麽返回的關係是規範Map從 X 到 R 的等價類。

1> Ss = sofs:from_term([[a,b],[b,c]]),
CR = sofs:canonical_relation(Ss),
sofs:to_external(CR).
[{a,[a,b]},{b,[a,b]},{b,[b,c]},{c,[b,c]}]

相關用法

注：本文由純淨天空篩選整理自erlang.org大神的英文原創作品 canonical_relation(SetOfSets) -> BinRel。非經特殊聲明，原始代碼版權歸原作者所有，本譯文未經允許或授權，請勿轉載或複製。