breduce

breduce [ in <mod-exp> : ] <term> .

Reduce the given term in the given module, if <mod-exp> is given, otherwise in the current module.

For breduce equations, possibly conditional, possibly behavioral, are taken into account for reduction.

Related: reduce, execute