Derive automatically uses the rules of vector and matrix algebra to simplify and normalize expressions involving vectors and matrices.  If the variables a, b, and c are declared to be vectors (see the Author > Variable Domain command8MNT4Y), the following transformations are used:


 a``  ⇒  a

(a^-1)`  ⇒  a`^-1

(a + b)`  ⇒  a` + b`

(a · b)`  ⇒  b` · a`

a · (b + c)  ⇒  a · b + a · c

(b + c) · a  ⇒  b · a + c · a

(a · b) · c  ⇒  a · (b · c)

(a · b)^-1    ⇒  b^-1 · a^-1 

DET(a^-1)  ⇒  1/DET(a)


Other Vectors and MatricesVectors_and_Matrices topics