Function sequant::pow

Function Documentation

ExprPtr sequant::pow(ExprPtr base, rational exponent)

raises a scalar or a c-number tensor leaf to a rational power

A Constant or Variable base gives a Power, a c-number tensor base a TensorPower. Exponents of nested powers are composed when that is exact: for a TensorPower T^a and exponent b, (T^a)^b = T^{ab} for real T only if b is an integer or a has an odd numerator.

Parameters:
Throws:

Exception – if base is not supported or the composition is inexact