Computational techniques for proving identities in symmetric compositions

Abstract

We present in this work a complete session in a Mathematica notebook. The aim of this notebook is to check identities in symmetric compositions. This notebook is a complement of our work [1] and it has all the explicit computations. We refer the reader to that paper which can be seen in http://www.uibk.ac.at/mathematik/loos/jordan/index.html. 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.