public static Expression Subtract(Expression a, Expression b)
{
if (Elementary.IsConstantZero(a))
{
return(Negate(b));
}
if (Elementary.IsConstantZero(b))
{
return(a);
}
TypeInference type = new TypeInference(a, b);
List <Expression> expressions = type.CastToMaxNumericList();
return(Expression.Subtract(expressions[0], expressions[1]));
}
public static Expression Divide(Expression a, Expression b)
{
if (Elementary.IsConstantZero(a))
{
return(Arithmeric.Zero());
}
if (Elementary.IsConstantOne(b))
{
return(a);
}
TypeInference type = new TypeInference(a, b);
List <Expression> expressions = type.CastToMaxNumericList();
return(Expression.Divide(expressions[0], expressions[1]));
}
