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, named same_shape_as, in respect of shape

  • Reasoning: 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

minimum_dimensions

2

whole number, from 1 to 16

How many dimensions an array needs. Two, because a single length is a coincidence rather than a shape.