19
edits
Talk:Partition representations: Difference between revisions
Jump to navigation
Jump to search
Talk:Partition representations (view source)
Revision as of 14:25, 30 January 2020
, 14:25, 30 January 2020no edit summary
No edit summary |
No edit summary |
||
| Line 25: | Line 25: | ||
Part of the problem is that you seem to be using [[prototype]] to mean [[Type]]. The prototype of an array <source lang=apl inline>A</source> has the same structure as <source lang=apl inline>⊃A</source>, 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. | Part of the problem is that you seem to be using [[prototype]] to mean [[Type]]. The prototype of an array <source lang=apl inline>A</source> has the same structure as <source lang=apl inline>⊃A</source>, 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 1983 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) | |||
There's no such thing as an "inserted division". | There's no such thing as an "inserted division". | ||
--[[User:Marshall|Marshall]] ([[User talk:Marshall|talk]]) 15:34, 28 January 2020 (UTC) | --[[User:Marshall|Marshall]] ([[User talk:Marshall|talk]]) 15:34, 28 January 2020 (UTC) | ||
If the representation you were advocating contains a two in ⍺ rather than a one I should describe the division immediately prior to that which contains the datum in ⍵ corresponding to that two as having been "inserted".[[User:Phil Last|Phil Last]] ([[User talk:Phil Last|talk]]) 14:25, 30 January 2020 (UTC) | |||
''"should they be the same?"'' Your question, which you don't answer. I should say NO! | |||