UnivariateSkewPolynomialCategory

Exports

• UnivariatePolynomialAlgebra R
  apply:	(%, R, R) $\to$ R	Apply a skew-polynomial to a scalar

• if R has Field then
  

• leftDivide:	(%, %) $\to$ (%, %)	Left Euclidean division
  leftExtendedGcd:	(%, %) $\to$ (%, %, %)	Left extended Euclidean algorithm
  leftGcd:	(%, %) $\to$ %	Greatest common left divisor
  leftLcm:	(%, %) $\to$ %	Least common left multiple
  leftQuotient:	(%, %) $\to$ %	Left Euclidean quotient
  leftRemainder:	(%, %) $\to$ %	Left Euclidean remainder
  rightDivide:	(%, %) $\to$ (%, %)	Right Euclidean division
  rightExtendedGcd:	(%, %) $\to$ (%, %, %)	Right extended Euclidean algorithm
  rightGcd:	(%, %) $\to$ %	Greatest common right divisor
  rightLcm:	(%, %) $\to$ %	Least common right multiple
  rightQuotient:	(%, %) $\to$ %	Right Euclidean quotient
  rightRemainder:	(%, %) $\to$ %	Right Euclidean remainder
  sparseLeftMultiple:	(%, Integer) $\to$ %	Left-Multiple in $k[x^n]$

• if R has IntegralDomain then
  

• NonCommutativeIntegralDomain
  monicLeftDivide:	(%, %) $\to$ (%, %)	Left Euclidean division
  monicRightDivide:	(%, %) $\to$ (%, %)	Right Euclidean division
  monicSparseLeftMultiple:	(%, Integer) $\to$ %	Left-Multiple in $k[x^n]$