4,499
edits
Talk:Partition representations: Difference between revisions
Jump to navigation
Jump to search
m
Talk:Partition representations (view source)
Revision as of 10:38, 11 September 2022
, 10:38, 11 September 2022Text replacement - "</source>" to "</syntaxhighlight>"
m (Text replacement - "<source" to "<syntaxhighlight") |
m (Text replacement - "</source>" to "</syntaxhighlight>") |
||
| Line 24: | Line 24: | ||
Since we're partitioning vectors, only zero-length divisions can be [[empty]]. I've clarified also that a partition can't be empty. | Since we're partitioning vectors, only zero-length divisions can be [[empty]]. I've clarified also that a partition can't be empty. | ||
Part of the problem is that you seem to be using [[prototype]] to mean [[Type]]. The prototype of an array <syntaxhighlight lang=apl inline>A</ | Part of the problem is that you seem to be using [[prototype]] to mean [[Type]]. The prototype of an array <syntaxhighlight lang=apl inline>A</syntaxhighlight> has the same structure as <syntaxhighlight lang=apl inline>⊃A</syntaxhighlight>, so only simple scalars can match their own prototypes. It doesn't make sense to call an array a prototype in isolation: an array has a prototype but no array is a prototype. | ||
Not at all. I've understood prototypes since 1982 or 83. "If two arrays match their prototypes also match" is unquestionable. What I found questionable was the the phrase "ignoring prototypes". Does it refer to sivisions that happen to be identical to the prototype of the partition, which may or may not be of zero-length depending on whether the first element of ⍺ is greater than one or not, or does it actually mean a zero-length -division? i.e. one "inserted" [[User:Phil Last|Phil Last]] ([[User talk:Phil Last|talk]]) 14:25, 30 January 2020 (UTC) | Not at all. I've understood prototypes since 1982 or 83. "If two arrays match their prototypes also match" is unquestionable. What I found questionable was the the phrase "ignoring prototypes". Does it refer to sivisions that happen to be identical to the prototype of the partition, which may or may not be of zero-length depending on whether the first element of ⍺ is greater than one or not, or does it actually mean a zero-length -division? i.e. one "inserted" [[User:Phil Last|Phil Last]] ([[User talk:Phil Last|talk]]) 14:25, 30 January 2020 (UTC) | ||