The Representation of Power Series
Power series are represented in
Mathematica as
SeriesData objects.
The power series is printed out as a sum of terms, ending with
O
raised to a power.
| Out[1]= |  |
Internally, however, the series is stored as a
SeriesData object.
Out[2]//InputForm= |
| |  |
By using
SeriesData objects, rather than ordinary expressions, to represent power series,
Mathematica can keep track of the order and expansion point, and do operations on the power series appropriately. You should not normally need to know the internal structure of
SeriesData objects.
You can recognize a power series that is printed out in standard output form by the presence of an
O[x] term. This term mimics the standard mathematical notation

, and represents omitted terms of order

. For various reasons of consistency,
Mathematica uses the notation
O[x]^n for omitted terms of order

, corresponding to the mathematical notation

, rather than the slightly more familiar, though equivalent, form

.
Any time that an object like
O[x] appears in a sum of terms,
Mathematica will in fact convert the whole sum into a power series.
The presence of
O
makes
Mathematica convert the whole sum to a power series.
| Out[3]= |  |
Series objects can involve fractional powers.
| Out[4]= |  |
Here is the series' internal representation.
Out[5]//InputForm= |
| |  |
Series can involve logarithmic terms.
| Out[6]= |  |
The logarithmic factors appear explicitly inside the
SeriesData coefficient list.
Out[7]//InputForm= |
| |  |