up previous next
CRT    --    Chinese Remainder Theorem


Syntax
CRT(R1: INT, M1: INT, R2: INT, M2: INT): RECORD

Description
This function combines two residue-modulus pairs (R1,M1) and (R2,M2) using the Chinese Remainder Theorem to produce a single residue-modulus pair (R,M) such that R = R1 mod M1 and R = R2 mod M2 , and |R| < M . The moduli M1 and M2 must be coprime (hence M = M1*M2 ).

Example
/**/  CRT(2,3, 4,5);
record[modulus := 15, residue := -1]

See Also