Project

General

Profile

Feature #587

Updated by John Abbott almost 7 years ago

Translate the package @HomomorphismFns.cpkg5@ HomomorphismFns into CoCoALib.
The related "utility representation" of a homomorphism as an ideal into a bigger ring should be stored inside into the @RingHom@ RingHom as a "mutable".

Back