logic=string

For an explanation of these logics, see Formats,SMTLIB.

The Simplify(expr) command applies several heuristics to simplify redundant expressions in expr.

For details on the format of the input expr, see SMTLIB[ToString].

As the SMT-LIB format requires each symbol to have a declared type, Maple will attempt to infer types for any unassigned names occurring in expr.

A type for a particular variable can be forced by using the assume or assuming commands and placing an appropriate assumption on the variable.

Remove redundant clauses from a conjunction.

with(SMTLIB):

Simplify(x>0 or And(a=0,a*c^2=0)) assuming real;

$\neg \left(x\le 0.\right)\vee a=0.$

Perform the same simplification over the integers.

Simplify(x>0 or And(a=0,a*c^2=0)) assuming integer;

$\neg \left(x\le 0\right)\vee a=0$

The SMTLIB[Simplify] command was introduced in Maple 2018.

For more information on Maple 2018 changes, see Updates in Maple 2018.