TensorAlgebra

 Author: Kurt Pagani
 Date Created: Thu Jan 30 23:04:02 CET 2020
 Date Revised: Thu Sep 09 23:57:51 CET 2022
 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.
 --
 Notes: Actually the algebra is over FreeModule(R,B), however, there
 seems to be no method in FriCAS to extract the parameters R and B?


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