Applying vector identities, revisited



-----Neilen Marais wrote: -----

>Presumably I need to add a rule that will expand
>curl(a + b) to curl(a) + curl(b) first. How may I do this?

Try declare("curl",additive).

(%i1) load(vect)$
(%i2) declare("curl",additive)$
(%i3) curl(a+b);
(%o3) curl(b)+curl(a)
(%i4) remove("curl",additive);
(%o4) done
(%i5) curl(a+b);
(%o5) curl(b+a)

Barton