TensorAlgebra

 Author: Kurt Pagani
 Date Created: Thu Jan 30 23:04:02 CET 2020
 License: BSD
 References:
   https://en.wikipedia.org/wiki/Tensor_algebra
 Description:
  Quote Ref:
  -- Non-commutative polynomials
  -- Quotients
  Because of the generality of the tensor algebra, many other algebras
  of interest can be constructed by starting with the tensor algebra and
  then imposing certain relations on the generators, i.e. by constructing
  certain quotient algebras of T(V). Examples of this are the
  exterior algebra, the symmetric algebra, Clifford algebras,
  the Weyl algebra and universal enveloping algebras.

OrderedObjectList

 Description:
   This domain implements ordered objects such that the type
   has OrderedSet. Adapted from OrderedVariableList.
object : T -> Union(%,"failed") 
 object(s) returns a member of the object set or failed