UnivariateFreeFiniteAlgebra

Exports

• CopyableType
  UnivariateFreeAlgebra R
  coerce:	Vector R $\to$ %	Create a polynomial
  companion:	% $\to$ DenseMatrix R	Companion matrix
  degree:	% $\to$ Z	The degree of a polynomial
  generator:	% $\to$ Generator MON	Make an iterator
  leadingCoefficient:	% $\to$ R	The leading coefficient
  leadingMonomial:	% $\to$ (R, Z)	The leading term
  monomial!:	(%, R, Z) $\to$ %	In-place monomial
  momonial?:	% $\to$ Boolean	Test for a monomial
  reductum:	% $\to$ %	All terms except the leading one
  revert:	% $\to$ %	Left-Right reversion
  terms:	% $\to$ Generator MON	Make an iterator
  times:	(%, %, Z, Z) $\to$ %	Partial product
  trailingCoefficient:	% $\to$ R	The lowest coefficient
  trailingDegree:	% $\to$ Z	Degree of the lowest term
  trailingMonomial:	% $\to$ (R, Z)	The lowest term
  vectorize!:	Vector R $\to$ % $\to$ Vector R	Conversion to a vector

• where

• MON	==	Cross(R, Z)
  Z	==	Integer

• if $R$ has Field then
  

• monic:	% $\to$ %	Make monic
  monic!:	% $\to$ %	Make monic

• if R has GcdDomain then
  

• content:	% $\to$ R	Polynomial content
  	(%, Automorphism R) $\to$ R
  primitive:	% $\to$ (R, %)	Content and primitive part
  	(%, Automorphism R) $\to$ (R, %)
  primitivePart:	% $\to$ %	Primitive part
  	(%, Automorphism R) $\to$ %

• if $R$ has CharacteristicZero then
  

• CharacteristicZero

• if $R$ has FiniteCharacteristic then
  

• FiniteCharacteristic

• if $R$ has HashType then
  

• HashType

• if $R$ has QRing then
  

• QRing

• if $R$ has Ring then
  

• Algebra R
  random:	(Integer, Integer) $\to$ %	Creation of a random polynomial

• if $R$ has SerializableType then
  

• SerializableType