EFGModule is a reference counting smart pointer to an object of type EFGModuleBase. Its value represents an Explicitly Finitely Generated Module. Most modules in CoCoALib will probably actually be EFGModules.
For a ModuleElem v of an EFGModule we can compute v[pos]
Um.
Documentation does not exist.
There was a suggestion to merge module.* with EFGModule.* based on the reasoning that in practice all modules will (probably) be EFGModules, so the distinction is rather pointless.
EFGModule.C is jolly small -- probably some code is missing.