IM2_FreeModule_ring()

const Ring * IM2_FreeModule_ring

(

const FreeModule *

F

)

FreeModule interface routines

A FreeModule in the engine is always over a specific ring, and is graded using the degree monoid of the ring. Monomials in a free module are ordered, either in a way determined by the ordering in the ring, or using an induced (Schreyer) monomial ordering (in the case when the ring is a polynomial ring of some sort)

General notes: these are immutable objects, at least once they are returned by the engine

BUGS/TODO: the Schreyer orders produced by sum,tensor, symm,exterior, and submodule, ignore the current tie breaker values. Also: I might keep all freemodules for a ring unique. This is not currently done.

Definition at line 15 of file freemodule.cpp.

{ return F->get_ring(); }

References FreeModule::get_ring().