operators – predefined overloaded operators.

Several standard overloaded operators are predefined in the operators library.

Details:

Several standard overloaded operators are predefined in the operators library. Most of them are in operators::overloaded. They are automatically overloaded by several domains and categories of MuPAD's library and can be further overloaded by operators::overloaded::declareSignature.

plus2 – overloaded binary addition

operators::plus2(obj1, obj2)

Adds the two objects obj1 and obj2. Raises an error if there is no signature matching the domains of the two objects.

_plus – overloaded addition

operators::_plus(obj1, )

Adds the objects passed in parameters by calling successively operators::plus2 from left to right.

mult2 – overloaded binary multiplication

operators::mult2(obj1, obj2)

Multiplies the two objects obj1 and obj2. Raise an error if there is no signature matching the domains of the two objects.

_mult – overloaded multiplication

operators::_mult(obj1, )

Multiplies the objects passed in parameters by calling successively operators::mult2 from left to right.

power – Raising to a power

operators::power(obj1, pow)

Raises the object obj1 to the power pow. Raises an error if there is no signature matching the domains of the two objects.

tensor2 – tensor product of two elements

operators::tensor2(obj1, obj2)

Computes the tensor product of the objects obj1 and obj2. Raises an error if there is no signature matching the domains of the two objects.

tensor – tensor products

operators::tensor(obj1, )

Computes the tensor product of the objects passed in parameters by calling successively operators::tensor2 from left to right.

scalar – scalar product

operators::scalar(obj1, obj2)

Computes the scalar product of the objects obj1 and obj2. Raises an error if there is no signature matching the domains of the two objects.

mu – Linearization of the product

operators::mu(obj1)

mu is the linearization of the product using tensor products. It computes the product of the tensor object obj1. Raises an error if there is no signature matching the domain of the object.

coproduct – Coproduct

operators::coproduct(obj1)

Computes the coproduct of the object obj1. Raises an error if there is no signature matching the domain of the object.

antipode – Antipode operation in Hopf algebras

operators::antipode(obj1)

Computes the antipode of the object obj1. Raises an error if there is no signature matching the domain of the object.