Suppose I have a finite set of operators and I would like to know the dimension of the Lie algebra that they generate (but do not require a basis). The only method I can find is to recursively compute all pairwise commutators from the set until it stops growing, as described in this question.
Is the above procedure the best we can do, or is there a quicker method?
