The command AreEqual(vc1,vc2) checks whether vc1 and vc2 have the same value and the same set of constraints.

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

$\mathrm{vc1}≔\mathrm{ValueUnderConstraints}\left(\left[M^2-4\right]\,\left[M\,N\right]\,\left[\right]\,\left[M-4\right]\,\left[\right]\,\left[\right]\,\left\{N\right\}\right)$

$\mathrm{vc1}≔⟨\text{value}\left\{M^2-4\right\}\text{when}\left[0\le M-4\right]⟩$

$\mathrm{vc2}≔\mathrm{ValueUnderConstraints}\left(\left[N^2-4\right]\,\left[M\,N\right]\,\left[\right]\,\left[N-4\right]\,\left[\right]\,\left[\right]\,\left\{N\right\}\right)$

$\mathrm{vc2}≔⟨\text{value}\left\{N^2-4\right\}\text{when}\left[0\le N-4\right]⟩$

$\mathrm{vc3}≔\mathrm{ValueUnderConstraints}\left(\left[N^2-4\right]\,\left[N\,M\right]\,\left[\right]\,\left[N-4\right]\,\left[\right]\,\left[\right]\,\left\{N\right\}\right)$

$\mathrm{vc3}≔⟨\text{value}\left\{N^2-4\right\}\text{when}\left[0\le N-4\right]⟩$

$\mathrm{vc4}≔\mathrm{ValueUnderConstraints}\left(\left[5\right]\,\left[M\,N\right]\,\left[N-3\right]\,\left[\right]\,\left[\right]\,\left[\right]\,\left\{N\right\}\right)$

$\mathrm{vc4}≔⟨\text{value}\left\{5\right\}\text{when}\left[-N+3=0\right]⟩$

$\mathrm{AreEqual}\left(\mathrm{vc1}\,\mathrm{vc2}\right)$

$\mathrm{false}$

$\mathrm{AreEqual}\left(\mathrm{vc1}\,\mathrm{vc3}\right)$

$\mathrm{false}$

$\mathrm{AreEqual}\left(\mathrm{vc2}\,\mathrm{vc3}\right)$

$\mathrm{true}$

$\mathrm{AreEqual}\left(\mathrm{vc1}\,\mathrm{vc4}\right)$

$\mathrm{false}$

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[AreEqual] command was introduced in Maple 2025.

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