The SameStructure command accepts two expressions, inert or otherwise, and compares their structure.  If they are the same in value and structure then this command returns true, otherwise false.

Structural equivalence is determined by replacing all numeric constants in both a and b with variables and ensuring that the resulting expressions are equal using Maple's default data-structure normalization.  Replacing constants removes the influence of most automatic simplifications like integer arithmetic and fraction reduction.  

This function is part of the InertForm package, so it can be used in the short form SameStructure(..) only after executing the command with(InertForm). However, it can always be accessed through the long form of the command by using InertForm[SameStructure](..).

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

$\mathrm{SameStructure}\left(\mathrm{`\%/`}\left(2\,4\right)\,\frac{1}{2}\right)$

$\mathrm{false}$

$\mathrm{SameStructure}\left(\mathrm{`\%+`}\left(2\,4\right)\,\mathrm{`\%+`}\left(4\,2\right)\right)$

$\mathrm{true}$

$\mathrm{SameStructure}\left(\mathrm{`\%*`}\left(2\,4\right)\,\mathrm{`\%*`}\left(4\,2\right)\right)$

$\mathrm{true}$

$\mathrm{SameStructure}\left(\mathrm{`\%*`}\left(2\,\mathrm{`\%*`}\left(4\,6\right)\right)\,\mathrm{`\%*`}\left(\mathrm{`\%*`}\left(4\,6\right)\,2\right)\right)$

$\mathrm{true}$

$\mathrm{SameStructure}\left(\mathrm{`\%*`}\left(6\,\mathrm{`\%*`}\left(4\,2\right)\right)\,\mathrm{`\%*`}\left(\mathrm{`\%*`}\left(4\,6\right)\,2\right)\right)$

$\mathrm{true}$

$\mathrm{SameStructure}\left(\left(x+1\right)\left(y+2\right)\,xy+2x+y+2\right)$

$\mathrm{false}$

$\mathrm{SameStructure}\left(\left(x+5\right)\left(x+3\right)\,x^2+8x+15\right)$

$\mathrm{false}$

$\mathrm{SameStructure}\left(-1\left(\mathrm{`\%+`}\left(y\,2\right)\right)\,-y-2\right)$

$\mathrm{true}$

$\mathrm{SameStructure}\left(-1\left(\mathrm{`\%/`}\left(y\,2\right)\right)\,-\frac{y}{2}\right)$

$\mathrm{true}$

$\mathrm{SameStructure}\left(1\left(\mathrm{`\%+`}\left(y\,2\right)\right)\,y+2\right)$

$\mathrm{true}$

$\mathrm{SameStructure}\left(\mathrm{`\%+`}\left(\mathrm{`-`}\left(x\right)\,1\right)\,-\left(\mathrm{`\%+`}\left(x\,\mathrm{`-`}\left(1\right)\right)\right)\right)$

$\mathrm{true}$

$\mathrm{SameStructure}\left(\mathrm{\%sin}\left(x\right)\,\sin \left(x\right)\right)$

$\mathrm{true}$

$\mathrm{SameStructure}\left(\mathrm{\%int}\left(x\,x\right)\,\frac{x^2}{2}\right)$

$\mathrm{false}$

$\mathrm{SameStructure}\left(\mathrm{`\%^`}\left(y\,\mathrm{`-`}\left(1\right)\right)\,\mathrm{`\%/`}\left(1\,y\right)\right)$

$\mathrm{true}$

$\mathrm{SameStructure}\left(y=1-x\,y=1-x\right)$

$\mathrm{true}$

$\mathrm{SameStructure}\left(1-x=y\,y=1-x\right)$

$\mathrm{false}$

$\mathrm{SameStructure}\left(x+y=1\,y=1-x\right)$

$\mathrm{false}$

The InertForm[SameStructure] command was introduced in Maple 2018.

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