Power -- the class of all power expressions

Description

Power is a type of Expression representing a power.

Normally power expressions with an exponent equal to 1 will not be produced. But it is desirable for factor to return a product of powers, and some of them will have 1 as exponent. The routines for printing of expressions will take this into account, suppress exponents equal to 1, and arrange for parenthesization correctly.

Functions and methods returning a power expression :

Expression ^ Expression -- see Expression -- the class of all expressions

Methods that use a power expression :

RingMap Power (missing documentation)
substitute(Power,Thing) -- see substitute -- substituting values for variables

For the programmer

The object Power is a header type, with ancestor classes Expression < BasicList < Thing.