ChineseRemaindering

Next: combine Up: Commutative Algebra Previous: morphism Contents Index

ChineseRemaindering

$\begin{usage} import from ChineseRemaindering R \end{usage}$

$\begin{params} {\em R} & \htmlref{\texttt{EuclideanDomain}}{EuclideanDomain} & an Euclidean Domain.\\\end{params}$

$\begin{descr} ChineseRemaindering~provided Garner's Chinese Remaindering Algorithm for an arbitrary Euclidean Domain. \end{descr}$

Exports

combine: (R,R) $\to$ (R,R) $\to$ R combine interpolated result with new modulus.

interpolate: (List R,List R) $\to$ R interpolate given residues and moduli.

if R has IntegerCategory then
combine: (R,MachineInteger) $\to$ (R,MachineInteger) $\to$ R combine with new modulus.

Subsections

combine
interpolate

Manuel Bronstein 2000-12-13

`combine`:	(R,R) $\to$ (R,R) $\to$ R	combine interpolated result with new modulus.
`interpolate`:	(`List` R,`List` R) $\to$ R	interpolate given residues and moduli.