[top][index]
search for:

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

This operator may be used as a binary operator in an expression like x ** y. The user may install binary methods for handling such expressions with code such as

              X ** Y := (x,y) -> ...
where X is the class of x and Y is the class of y.

Methods for ** :

  • AffineVariety ** Ring
  • ChainComplex ** ChainComplex -- tensor product
  • ChainComplex ** ChainComplexMap -- tensor product
  • ChainComplex ** GradedModule -- tensor product
  • ChainComplex ** Module
  • ChainComplexMap ** ChainComplex -- tensor product
  • ChainComplexMap ** ChainComplexMap -- tensor product
  • ChainComplexMap ** Module
  • CoherentSheaf ** CoherentSheaf -- tensor product of coherent sheaves
  • Expression ** Expression
  • Expression ** Holder
  • Expression ** NonAssociativeProduct
  • Expression ** OneExpression
  • Expression ** Thing
  • GradedModule ** ChainComplex -- tensor product
  • GradedModule ** GradedModule
  • GradedModule ** Module
  • Holder ** Expression
  • Holder ** Holder
  • Holder ** NonAssociativeProduct
  • Holder ** OneExpression
  • Matrix ** Matrix -- tensor product of matrices
  • Matrix ** Module -- tensor product
  • Matrix ** QQ
  • Matrix ** Ring -- tensor product
  • Matrix ** RingElement
  • Matrix ** ZZ
  • Module ** ChainComplex
  • Module ** ChainComplexMap
  • Module ** GradedModule
  • Module ** Matrix
  • Module ** Module -- tensor product of modules
  • Module ** Ring -- tensor product
  • Monoid ** Monoid -- tensor product of monoids
  • MonomialOrdering ** MonomialOrdering
  • NonAssociativeProduct ** Expression
  • NonAssociativeProduct ** Holder
  • NonAssociativeProduct ** NonAssociativeProduct
  • OneExpression ** Expression
  • OneExpression ** Holder
  • PolynomialRing ** PolynomialRing
  • PolynomialRing ** QuotientRing
  • ProjectiveVariety ** Ring
  • QQ ** Matrix
  • QQ ** RingElement
  • QuotientRing ** PolynomialRing
  • QuotientRing ** QuotientRing
  • Ring ** Ring -- tensor product
  • RingElement ** Matrix
  • RingElement ** QQ
  • RingElement ** RingElement
  • RingElement ** ZZ
  • RingMap ** Module -- a binary operator, usually used for tensor product
  • Set ** Set -- Cartesian product
  • Tally ** Tally -- Cartesian product of tallies
  • Thing ** Expression
  • ZZ ** Matrix
  • ZZ ** RingElement

  • [top][index]
    search for: