The present invention is a method for searching an identity base for identities that can be applied to a given formula. The method includes transforming the formulas from an identity base into a standard form, creating a set of code words for said identity base, constructing a lexicographical tree of a code word set of said identity base, and outputting a list of formula numbers from said identity base.

La présente invention est une méthode pour rechercher une base d'identité les identités qui peuvent être appliquées à une formule donnée. La méthode inclut transformer les formules d'une base d'identité en format standard, créant un ensemble de mots de code pour ladite base d'identité, construisant un arbre lexicographique avec d'un ensemble de mot de code de ladite base d'identité, et produisant une liste de nombres de formule de ladite base d'identité.