7.14.1 Tensor Component Index Target

Tensor Component Index Target is the specific index tuple designated to receive a new value during a component assignment operation, identifying exactly which entry of the tensor's component table is intended to be set or overwritten by the value being assigned.

The Role of the Target Within Assignment

Marking the Destination of an Assigned Value

Whereas an extraction operation reads a value out of a chosen index tuple, an assignment operation writes a value into one, and the index target is precisely the tuple that identifies where that written value is to be stored.

Distinguishing the Target From the Assigned Value

The index target and the value being assigned are two separate pieces of information required for a complete assignment instruction: the target specifies the location, while the value specifies the content to be placed there, and an assignment is only fully defined once both are given together.

Specifying a Valid Target

Matching the Tensor's Rank

A valid index target must supply exactly as many index values as the tensor has argument slots, since a target with too few or too many index values does not correspond to any single entry of the component table.

Respecting the Dimensional Bounds

Every value within the index target must lie within the valid range determined by the dimension of the underlying space, since a target referencing an index value outside this range does not correspond to any real position within the component table.

Targets and Structural Constraints

Targets Constrained by Symmetry

If the tensor being assigned to is declared symmetric across certain index positions, setting a value at one index target implicitly determines the value that must also appear at every other target obtained by permuting those positions, so a single assignment can affect more than one nominal target simultaneously.

Targets Forbidden by Antisymmetry

If the tensor is declared antisymmetric across certain positions, an index target that repeats a value within those positions cannot be freely assigned any value other than zero, since antisymmetry mathematically forces such an entry to vanish regardless of what value an assignment might otherwise attempt to place there.

Targets in Systematic Assignment

Iterating Over Targets to Build a Full Tensor

Constructing a tensor's entire component table from scratch typically proceeds by iterating over every valid index target in turn and assigning the appropriate value at each one, mirroring the systematic iteration used during exhaustive extraction but in the reverse direction of writing rather than reading.

Partial Assignment to Selected Targets

In some situations, only a subset of index targets receives an explicit assignment, with the remaining entries left at a default value such as zero, a common practice when constructing sparse tensors in which most entries are known in advance to be trivial.

Diagrammatic Illustration

An index target pictured as a highlighted destination cell awaiting a new value within the component table.

Significance of the Index Target in Tensor Construction

Precision as a Safeguard Against Error

Because an index target uniquely determines which entry of the tensor is affected, precise specification of the target is essential; an incorrectly specified target silently places the assigned value into the wrong cell, potentially corrupting the tensor without any immediately visible sign of error.

Complement to the Extraction Operation

The index target concept mirrors the index tuple used in extraction, and together the two form a matched pair of operations, reading from and writing to the same underlying addressable structure, that together allow a tensor's component table to be both inspected and constructed entry by entry.