(1)から(4)までのボタンを押すと、(5)のリストにいくつかの等式が表示されます。
(5)のリストから式を選んで(6)のボタンを押すと、(9)のテキストボックスに選択した等式が追加されます。
(7)のボタンを押すと、(5)のリストの選択された等式が削除されます。
(8)のボタンを押すと、(9)のテキストボックスの内容が削除されます。
2つの等式を選んで(2つの等式が(9)のテキストボックスに表示された状態にして)、(10)から(14)のボタンを押すと、 2つの式を組み合わせた式が、(17)のリストに表示されます。等式は1つだけ選択することもでき、その場合はその同じ等式を2つ選択したことになります。
(15)のボタンを押すと、(17)のリストの内容が削除されます。
(17)のリストの等式を選択して(16)のボタンを押すと、選択した等式が(5)のリストに追加されます。
両辺が同じ「a + b = a + b」、「a * b = a * b」は必要ないはずなので改善すべきなのですが今はこのままとします。なぜこうなっているのか詳しいことはわからなくなってしまったのですが、以下のような理由のようです。将来的には改善しようとしていったんこのような仕様にしたものが、そのままになっているのかもしれません。
第2の等式の左辺(左辺から右辺に変換する場合)が第1の等式の右辺(左辺から右辺に変換する場合)の一部分になっているときに等式を組み合わせることができるようになっています。どちらも他方の一部分になっていない場合は直接組み合わせることができないため、いったん「a + b = a + b」、「a * b = a * b」と組み合わせて一方の式が他方の一部分になるようにする必要があります。