Physics[Vectors][`+`]  add algebraic Vectors
Physics[Vectors][`.`]  compute the dot product of algebraic Vectors
Physics[Vectors][`&x`]  compute the cross product of algebraic Vectors

Calling Sequence


A + B
A . B
A &x B


Parameters


A, B



any algebraic expressions, including explicit (projected) or implicit (nonprojected) vectors





Description


•

The addition, subtraction, dot and cross product of the algebraic vectors of the Physics[Vectors] subpackage are accomplished by the operators +, , ., and &x respectively. When entering &x, it is recommended to make explicit the precedence of operations by using parentheses ( ) because the infix operators & have higher precedence than the standard operations [+, *, , ^].

•

The `%+` `%.` and `%&x` are the inert forms of `+` `.` and &x, that is: if used as in a function call, such as `%.`(A, B), they represent the same mathematical operations while holding the operations unperformed. To activate the operations use value.

•

These operations commands of the Physics[Vectors] subpackage are designed to work with nonprojected vector functions, as well as with cartesian, cylindrical or spherical projections (see Physics[Vectors]). In the case of projected vector functions, it is required that the vectors entering a given expression are all projected into one and the same orthonormal vector base.

•

Both projected and nonprojected vectors of the Physics[Vectors] subpackage can also represent 3Dvectorial noncommutative quantum operators  see for instance the Quantum Mechanics section, of Physics, examples (this page opens only in the Standard Graphical User Interface). In this case, the scalar product of two vectorial quantum operators is defined as follows.


When the quantum operator vectors A_ and B_ are not projected, the product operations return unevaluated


When the and are projected, that is, their components in one of the cartesian, cylindrical, or spherical bases are known, the scalar and cross products of these noncommutative quantum operators are respectively symmetrized and antisymmetrized as follows:


Examples of the use of 3D vectorial quantum operators are found in the Quantum Mechanics section of Physics, examples.

•

All the received arguments are checked for consistency before a result is returned; no matter the complexity of (maybe) nested expressions. For instance, if the addition of a vector with a scalar, or the standard product * between two vectors is found inside an expression, the calculations are interrupted and an error message is presented.

•

To multiply a scalar function times a vector you can use either . or the usual multiplication operator *.



Examples


>


 (1) 
>


 (2) 
>


 (3) 
>


 (4) 
>


 (5) 
>


 (6) 
>


 (7) 
>


 (8) 
>


 (9) 
Operations between nonprojected vectors are implemented. For that purpose, either set the postfix identification for nonprojected vectors using the Setup command, or use the default loaded with the Vectors package, that is the underscore _. For illustration purposes we set this postfix identification here again, and so objects like , and represent nonprojected vectors, with the underscore representing a mimicry for the usual "arrow on top"
The following could be any sequence of characters.
>


 (10) 
The basic operation with nonprojected vectors return normalized so mathematically equivalent expressions written in different manners are identified as mathematically equal.
Normal form for dot product of Vectors.
>


 (11) 
Normal form for cross product of Vectors.
>


 (12) 
Basic identities are recognized.
>


 (13) 
Expansion rules
>


 (14) 
>


 (15) 
The triple product has the cyclic property
>


 (16) 
>



