Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Visit Stack Exchange
Stack Internal
Knowledge at work
Bring the best of human thought and AI automation together at your work.
Explore Stack Internal
ṣ”|f@ẆQƑ A monadic Link that accepts a list of characters and yields 0 (falsey) if redundant, or 1 (truthy) otherwise (i.e. inverted).
ṣ”|f@ẆQƑ - Link: list of characters, T ṣ”| - split {T} at '|' characters -> Parts Ẇ - non-empty sublists of {T} -> Substrings @ - with swapped arguments: f - filter-keep -> all of the Substrings that are Parts Ƒ - is invariant under?: Q - deduplicate ṣ”|f@ẆQƑ A monadic Link that accepts a list of characters and yields 0 (falsey) if redundant, or 1 (truthy) otherwise (i.e. inverted).
ṣ”|f@ẆQƑ - Link: list of characters, T ṣ”| - split {T} at '|' characters -> Parts Ẇ - non-empty sublists of {T} -> Substrings @ - with swapped arguments: f - filter-keep -> all of the Substrings that are Parts Ƒ - is invariant under?: Q - deduplicate ṣ”|f@ẆQƑ A monadic Link that accepts a list of characters and yields 0 (falsey) if redundant, or 1 (truthy) otherwise (i.e. inverted).
ṣ”|f@ẆQƑ - Link: list of characters, T ṣ”| - split {T} at '|' characters -> Parts Ẇ - non-empty sublists of {T} -> Substrings @ - with swapped arguments: f - filter-keep -> all of the Substrings that are Parts Ƒ - is invariant under?: Q - deduplicate 
ṣ”|ẇþ`§²Ƒṣ”|f@ẆQƑ A monadic Link that accepts a list of characters and yields 0 (falsey) if redundant, or 1 (truthy) otherwise (i.e. inverted).
ṣ”|ẇþ`§²Ƒṣ”|f@ẆQƑ - Link: list of characters, T ṣ”| - split {T} at '|' characters ` - use that as both arguments> of:Parts þ Ẇ - non-empty sublists makeof a{T} table-> of:Substrings ẇ @ - sublistwith existsswapped in?arguments: f (N.B. when- T=[] (AKA "") wefilter-keep get-> [[0]],all asof the empty list isn't counted) § Substrings that -are sumsParts Ƒ - is that invariant under?: ²Q - square all valuesdeduplicate ṣ”|ẇþ`§²Ƒ A monadic Link that accepts a list of characters and yields 0 (falsey) if redundant, or 1 (truthy) otherwise (i.e. inverted).
ṣ”|ẇþ`§²Ƒ - Link: list of characters, T ṣ”| - split {T} at '|' characters ` - use that as both arguments of: þ - make a table of: ẇ - sublist exists in? (N.B. when T=[] (AKA "") we get [[0]], as the empty list isn't counted) § - sums Ƒ - is that invariant under?: ² - square all values ṣ”|f@ẆQƑ A monadic Link that accepts a list of characters and yields 0 (falsey) if redundant, or 1 (truthy) otherwise (i.e. inverted).
ṣ”|f@ẆQƑ - Link: list of characters, T ṣ”| - split {T} at '|' characters -> Parts Ẇ - non-empty sublists of {T} -> Substrings @ - with swapped arguments: f - filter-keep -> all of the Substrings that are Parts Ƒ - is invariant under?: Q - deduplicate ṣ”|ẇþ`§²Ƒ A monadic Link that accepts a list of characters and yields 0 (falsey) if redundant, or 1 (truthy) otherwise (i.e. inverted).
ṣ”|ẇþ`§²Ƒ - Link: list of characters, T ṣ”| - split {T} at '|' characters ` - use that as both arguments of: þ - make a table of: ẇ - sublist exists in? (N.B. when T=[] (AKA "") we get [[0]] at, thisas point,the notempty [[]]list orisn't [[1]]counted) § - sums Ƒ - is that invariant under?: ² - square all values ṣ”|ẇþ`§²Ƒ A monadic Link that accepts a list of characters and yields 0 (falsey) if redundant, or 1 (truthy) otherwise (i.e. inverted).
ṣ”|ẇþ`§²Ƒ - Link: list of characters, T ṣ”| - split {T} at '|' characters ` - use that as both arguments of: þ - make a table of: ẇ - sublist exists in? (N.B. when T=[] (AKA "") we get [[0]] at this point, not [[]] or [[1]]) § - sums Ƒ - is that invariant under?: ² - square all values ṣ”|ẇþ`§²Ƒ A monadic Link that accepts a list of characters and yields 0 (falsey) if redundant, or 1 (truthy) otherwise (i.e. inverted).
ṣ”|ẇþ`§²Ƒ - Link: list of characters, T ṣ”| - split {T} at '|' characters ` - use that as both arguments of: þ - make a table of: ẇ - sublist exists in? (N.B. when T=[] (AKA "") we get [[0]], as the empty list isn't counted) § - sums Ƒ - is that invariant under?: ² - square all values