Add Chinese Remainder Theorem, discrete log, discrete root