fixing bug in fpoly-chinese-remainder