« View all new features in Mathematica 9  previous  |  next 
New in Mathematica 9Built-in Symbolic Tensors

Derive and Verify Vector Identities 

Simplify expressions involving combinations of cross products and dot products in any dimension.

Famous three-dimensional identities.

In[1]:=
Click for copyable input
X
Out[1]=
In[2]:=
Click for copyable input
X
Out[2]=
In[3]:=
Click for copyable input
X
Out[3]=

Less famous three-dimensional identities.

In[4]:=
Click for copyable input
X
Out[4]=
In[5]:=
Click for copyable input
X
Out[5]=

Two four-dimensional identities.

In[6]:=
Click for copyable input
X
Out[6]=
In[7]:=
Click for copyable input
X
Out[7]=