Definition at line 395 of file freemod.cpp.
References FreeModule(), result(), schreyer, and FreeModule_symm::value().
Referenced by IM2_FreeModule_symm().