Computes the product F*G of Weyl polynomial F and G in normal form.
Weyl.WeylMul(F,G):WeylPolynom
This method multiplies P and Q and returns <formula>P*Q</formula> as a WeylPolynom.