[top][index]
search for:

GradedModule ** GradedModule -- a binary operator, usually used for tensor product

Synopsis:

  • Operator: ** -- a binary operator, usually used for tensor product
  • Input:
  • an instance of class GradedModule.
  • an instance of class GradedModule.
  • Output:
  • an instance of class GradedModule.

  • [top][index]
    search for: