/// <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());
}
