wyuan; frac1; Add isReducedFrac(); AC.