[next][previous][up][top][index]
search for:

^ -- a binary operator, usually used for exponents

x ^ y -- a binary operator used for powers and raising nets.

When computing powers, one of the following methods is used.

  • SimplePowerMethod -- compute powers by multiplying
  • BinaryPowerMethod -- compute powers by squaring
  • In addition, if n is 0, then the unit element (class x)#1 is returned. If n is negative, then the method named InverseMethod will be called.

    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 ^ :

  • CC ^ ZZ
  • ChainComplex ^ Array
  • ChainComplex ^ ZZ
  • ChainComplexMap ^ Array
  • ChainComplexMap ^ ZZ
  • CoherentSheaf ^ ZZ
  • Expression ^ Expression
  • Expression ^ Holder
  • Expression ^ OneExpression
  • Expression ^ Thing
  • Expression ^ ZeroExpression
  • GradedModuleMap ^ Array
  • GradedModuleMap ^ ZZ
  • Holder ^ Expression
  • Holder ^ Holder
  • Holder ^ OneExpression
  • Holder ^ ZeroExpression
  • Ideal ^ ZZ -- power of an ideal
  • MarkUpList ^ MarkUpList
  • Matrix ^ [...] -- select some rows of blocks
  • Matrix ^ {...} -- select some rows of a matrix
  • Matrix ^ ZZ
  • Module ^ [...] -- projection onto some factors of a direct sum module
  • Module ^ {...} -- projection map from a free module
  • Module ^ ZZ -- make a direct sum of several copies of a module
  • MonomialIdeal ^ ZZ
  • Net ^ ZZ -- raise a net
  • Ring ^ {...} -- make a free module
  • Ring ^ ZZ -- make a free module
  • RingElement ^ ZZ
  • ScriptedFunctor ^ Thing
  • SheafOfRings ^ List
  • SheafOfRings ^ ZZ
  • String ^ Sequence
  • String ^ ZZ
  • Thing ^ Expression
  • Thing ^ QQ
  • ZeroExpression ^ Expression
  • ZeroExpression ^ Holder
  • ZeroExpression ^ ZeroExpression

  • [next][previous][up][top][index]
    search for: