/// <summary> /// Get a list of algebraic and logic simplification rules /// </summary> /// <returns></returns> public static IRule[] GetSimplificationRules() { var simplificationRules = AlgebraicRules.Get() .Where(r => r.Tags.Contains(StdTags.Simplification)) .ToList(); simplificationRules.AddRange(LogicRules.Get().Where(r => r.Tags.Contains(StdTags.Simplification))); return(simplificationRules.ToArray()); }