FiniteFreeModule

Exports

• CopyableType
  Module R
  add!:	(%, R, V) $\to$ %	In-place addition of a monomial
  apply:	(%, TREE) $\to$ TREE	Conversion to an expression tree
  apply:	(OUT, %, Symbol) $\to$ OUT	Write an element to a port
  coefficient:	(%, V) $\to$ R	Extraction of a coefficient
  coefficient:	(%, MachineInteger) $\to$ R	Extraction of a coefficient
  lift:	(Derivation R, V $\to$ %) $\to$ % $\to$ %	Extend a derivation
  	(R $\to$ R, V $\to$ %) $\to$ % $\to$ %	Extend a morphism
  monomial:	(R, V) $\to$ %	Creation of a monomial

• where

• OUT	==	TextWriter
  TREE	==	ExpressionTree