share/vector/vector.dem

   1 load("vector");
   2
   3 /* *****  This DEMO appears to be broken.  Please use the VECT
   4 package on the SHARE directory. - JPG 6/5/78  ***** */
   5
   6 /* First, we establish p, q, f, and g as vector entities: */
   7 declare([p, q, f, g], nonscalar);
   8 /* To attempt to prove the following vector identity: */
   9 p cross q dotdel f cross g + q cross f dotdel p cross g +
  10         f cross p dotdel q cross g = 0;
  11 /* Now determine the expansion of: */
  12 laplacian %pi*(s+h) = div 3*s*p;