up previous next

2.15.1 Introduction to MODULEELEM

An object of type MODULEELEM in CoCoA represents a module element; in CoCoA this usually means an element of the free module P^r , where P is a polynomial ring. For v and w MODULEELEM in the same MODULE, and f RINGELEM in its base ring, the following are also MODULEELEM:

   +v, -v, f*v, v*f, v+w, v-w

See ModuleElem .