  We present in this work a complete session in a Mathematica notebook. The aimof this notebook is to check identities in symmetric compositions. Thisnotebook is a complement of our work [1] and it has all the explicitcomputations. We refer the reader to that paper which can be seen inhttp://www.uibk.ac.at/mathematik/loos/jordan/index.html. First of all we willpresent a few number of comands in order to simplify identities by extractingscalars, SOut. The rest of the strategy holds on the powerfull of usingpatterns and rules.
First of all we will present a few number of comands in order to simplify identities by extracting scalars, SOut. The rest of the strategy holds on the powerfull of using patterns and rules.