UnivariateFreeAlgebra

Exports

• LinearArithmeticType R
  add!:	(%, R, Z) $\to$ %	In-place addition of a monomial
  add!:	(%, R, Z, %) $\to$ %	In-place product and sum
  apply:	(%, TREE) $\to$ TREE	Conversion to an expression tree
  apply:	(OUT, %, Symbol) $\to$ OUT	Write an element to a port
  coefficient:	(%, Z) $\to$ R	Extraction of a coefficient
  coefficients:	% $\to$ Generator R	Iterate over all the coefficients
  map:	(R $\to$ R) $\to$ % $\to$ %	Lift a mapping
  map!:	(R $\to$ R) $\to$ % $\to$ %	Lift a mapping
  monom:	$\to$ %	Term with degree 1 and coefficient 1
  monomial:	(R, Z) $\to$ %	Creation of a monomial
  setCoefficient!:	(%, Z, R) $\to$ %	In-place replacement of a coefficient
  shift:	(%, Z) $\to$ %	Exponent translation
  shift!:	(%, Z) $\to$ %	Exponent translation

• where

• OUT	==	TextWriter
  TREE	==	ExpressionTree
  Z	==	Integer