A vector in dimension 3:

Properties of tensor products of the vector:

An identity valid for any three-dimensional vector:

Declare vectors of any dimension:

Compute properties of tensors formed from those vectors:

Work with vectors in symbolic dimension:

A real vector:

Declare several objects as vectors:

Extract their properties:

Check identities:

Check whether a vector belongs to a given domain:

Conditions involving symbolic parameters may be converted into simpler conditions:

Check a subdomain relation:

Check vector identities:

Commutativity of the dot product with vectors:

Vectors can also be defined using Arrays with rank 1. These two assumptions are equivalent:

Vectors cannot contain other lists:

Two alternative ways of checking numerical vectors:

Addition of symbolic and explicit vectors is determined by the Listable attribute of Plus:

Hence, listability will in general affect operations that simultaneously involve both symbolic and explicit vectors.

The zero vector may be represented as 0 in symbolic computations:

Dimension 0 is not accepted:

{} is interpreted in a special way in Element, such that it returns True irrespectively of the domain used: