The command Simplify(vc) uses the equations of vc in order to simplify the value of vc.

$\mathrm{with}\left(\mathrm{ValuesUnderConstraints}\right)\:$

mysimplifier := proc(v, eqs::list(`=`)) return :-Eval(v, eqs) mod 2; end proc;

$\mathrm{mysimplifier}≔\mathbf{proc}\left(v\,\mathrm{eqs}::\left(\mathrm{list}\left(\mathrm{`=`}\right)\right)\right)\mathbf{return}:-\mathrm{Eval}\left(v\,\mathrm{eqs}\right)\mathbf{mod}2\mathbf{end\; proc}$

$\mathrm{vc}≔\mathrm{ValueUnderConstraints}\left(\left[a+b\right]\,\left[a+b=100\,a-b=2\right]\,\varnothing \,\mathrm{mysimplifier}\right)$

$\mathrm{vc}≔⟨\text{value}\left\{a+b\right\}\text{when}\left[a-51=0\,b-49=0\right]⟩$

$\mathrm{Simplify}\left(\mathrm{vc}\right)$

$⟨\text{value}\left\{0\right\}\text{when}\left[a-51=0\,b-49=0\right]⟩$

$p≔\mathrm{Simplifier}\left(\mathrm{vc}\right)\;$$\mathrm{eval}\left(p\right)$

$p≔\mathbf{proc}\left(v\,\mathrm{eqs}::\left(\mathrm{list}\left(\mathrm{`=`}\right)\right)\right)\mathbf{return}:-\mathrm{Eval}\left(v\,\mathrm{eqs}\right)\mathbf{mod}2\mathbf{end\; proc}$

$\mathbf{proc}\left(v\,\mathrm{eqs}::\left(\mathrm{list}\left(\mathrm{`=`}\right)\right)\right)\mathbf{return}:-\mathrm{Eval}\left(v\,\mathrm{eqs}\right)\mathbf{mod}2\mathbf{end\; proc}$

$\mathrm{vc}≔\mathrm{ValueUnderConstraints}\left(\left[a+b\right]\,\left[a+b=100\,a-b=2\right]\right)$

$\mathrm{vc}≔⟨\text{value}\left\{a+b\right\}\text{when}\left[a-51=0\,b-49=0\right]⟩$

$\mathrm{Simplify}\left(\mathrm{vc}\right)$

$⟨\text{value}\left\{100\right\}\text{when}\left[a-51=0\,b-49=0\right]⟩$

$p≔\mathrm{Simplifier}\left(\mathrm{vc}\right)\;$$\mathrm{eval}\left(p\right)$

$p≔\mathbf{proc}\left(v\,\mathrm{eqs}::\left(\mathrm{list}\left(\mathrm{`=`}\right)\right)\right)\mathbf{return}\mathrm{eval}\left(\mathrm{subsindets}\left(v\,\mathrm{PolyhedralSets}:-\mathrm{QuasiPolynomials}:-\mathrm{QuasiPolynomial}\,\mathrm{qp}\→\mathrm{function}:-\mathrm{Eval}\left(\mathrm{qp}\,\mathrm{eqs}\right)\right)\,\mathrm{eqs}\right)\mathbf{end\; proc}$

$\mathbf{proc}\left(v\,\mathrm{eqs}::\left(\mathrm{list}\left(\mathrm{`=`}\right)\right)\right)\mathbf{return}\mathrm{eval}\left(\mathrm{subsindets}\left(v\,\mathrm{PolyhedralSets}:-\mathrm{QuasiPolynomials}:-\mathrm{QuasiPolynomial}\,\mathrm{qp}\→\mathrm{function}:-\mathrm{Eval}\left(\mathrm{qp}\,\mathrm{eqs}\right)\right)\,\mathrm{eqs}\right)\mathbf{end\; proc}$

Rui-Juan Jing, Yuzhuo Lei, Christopher F. S. Maligec, Marc Moreno Maza: "Counting the Integer Points of Parametric Polytopes: A Maple Implementation." Proceedings of Computer Algebra in Scientific Computing - 26th International Workshop (CASC) 2024: 140-160, Lecture Notes in Computer Science, vol. 14938, Springer.

The ValuesUnderConstraints[Simplify] command was introduced in Maple 2025.

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