Definition at line 388 of file FreeAlgebra.cpp.
References addScalarMultipleOf(), coefficientRing(), and result().