LinearCombinationFraction

Next: Up: Commutative Algebra Previous: / Contents Index

LinearCombinationFraction

$\begin{usage} LinearCombinationFraction(R, LR, Q, LQ): Category \end{usage}$

$\begin{params} {\em R} & \htmlref{\texttt{IntegralDomain}}{IntegralDomain} & a... ...nearCombinationType}}{LinearCombinationType} Q & a type over Q\\\end{params}$

$\begin{descr} LinearCombinationFraction(R, LR, Q, LQ) is a category for domains... ...iding conversions between types integral and rational coefficients. \end{descr}$

Exports

: (Q, LR) $\to$ LQ Product of a fraction by an integral element

makeIntegral: LQ $\to$ (R, LR) Conversion to an integral element

makeRational: LR $\to$ LQ Conversion to a rational element

if Q has FractionByCategory0 R
makeIntegralBy: LQ $\to$ (Integer, LR) Conversion to an integral element

if Q has FractionFieldCategory0 R
normalize: LR $\to$ (R, LQ) Conversion to a monic rational element

Subsections

makeIntegral
makeIntegralBy
makeRational
normalize

Manuel Bronstein 2000-12-13

:	(Q, LR) $\to$ LQ	Product of a fraction by an integral element
`makeIntegral`:	LQ $\to$ (R, LR)	Conversion to an integral element
`makeRational`:	LR $\to$ LQ	Conversion to a rational element