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.

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

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

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