Same array shape#
This page is generated from the code and must not be edited by hand.
Stored arrays with the same shape, element type and storage order, in two dimensions or more, are grouped as sharing one shape.
same_array_shape version 2
Kind of rule: Which files go together (
groups). Says which things count as the same in some respect, and so forms groups.What it concludes:
equivalent, namedsame_shape_as, in respect ofshapeReasoning:
defeasible. A conclusion is usually right, and is retracted when a rule it names concludes against it.What it reads: files, which it sorts into groups
Is it available in this version?#
Yes. The engine runs it.
What would defeat it#
What this rule concludes about something is withdrawn when any of these rules concludes about the same thing:
filesystem_noise_from_spelling: Files a computer makes on its own, such as .DS_Store or Thumbs.db, are recognized by how their names are spelled and set aside; an office program’s lock file, whose name starts ~$, is left alone, because it means somebody was at work.placeholder_from_entry_kind: A shortcut, or a file that claims a size but takes up no room on the disk, is taken to stand in for contents kept somewhere else.
Parameters#
Parameter |
Shipped value |
May be |
What it does |
|---|---|---|---|
|
|
whole number, from 1 to 16 |
How many dimensions an array needs. Two, because a single length is a coincidence rather than a shape. |