TerwilligerAlgebra(R, [, F [, p]]) returns the Terwilliger algebra
(subconstituent algebra [9], [10], [11])
of R over the field F at the point p.
If F is not given, then the function assume that the coefficient field is the
rational number field.
If p is not given, then the function assume that the point is 1.
