3
3
package on the SHARE directory. - JPG 6/5/78 ***** */
5
5
/* First, we establish p, q, f, and g as vector entities: */
6
DECLARE([p, q, f, g], NONSCALAR);
6
declare([p, q, f, g], nonscalar);
7
7
/* To attempt to prove the following vector identity: */
8
8
p cross q dotdel f cross g + q cross f dotdel p cross g +
9
9
f cross p dotdel q cross g = 0;
10
10
/* Now determine the expansion of: */