Talk:Partition representations

"We consider two partitions of a vector to be identical if they match, ignoring prototypes."

If two arrays match, their prototypes also match.

If the final phrase has any non-trivial meaning that must be one of:

• "ignoring zero-length divisions"
• "ignoring divisions of any length that match their own prototypes."

In neither case do they coincide with the prototype of the partition itself unless the first division is itself one or other of them. The second could be formed from a blank length of the original vector so could not be ignored.

I suggest using "zero-length divisions". --Phil Last (talk) 16:02, 27 January 2020 (UTC)

Couldn't a division be empty without being zero-length? Adám Brudzewsky (talk)

Certainly it could if by "empty" you mean my second case above "match their own prototype". Inserted divisions would necessarily be of zero length. A non-zero-length division matching its prototype must therefore contain some of the original data. And if my assertion of necessity is questionable then no divisions can be ignored as no distinction can be made between data and insertions.

But to return to the main point. The original sentence is either a tautology or ambiguous. The word "prototype" does not belong there. Phil Last (talk) 23:32, 27 January 2020 (UTC)