The Representation of Power Series

Power series are represented in the Wolfram System as SeriesData objects.

The power series is printed out as a sum of terms, ending with O[x] raised to a power:
In[1]:=
Click for copyable input
Out[1]=
Internally, however, the series is stored as a SeriesData object:
In[2]:=
Click for copyable input
Out[2]//InputForm=

By using SeriesData objects, rather than ordinary expressions, to represent power series, the Wolfram System 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, the Wolfram System 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, the Wolfram System will in fact convert the whole sum into a power series.

The presence of O[x] makes the Wolfram System convert the whole sum to a power series:
In[3]:=
Click for copyable input
Out[3]=
Series objects can involve fractional powers:
In[4]:=
Click for copyable input
Out[4]=
Here is the internal representation of the series:
In[5]:=
Click for copyable input
Out[5]//InputForm=
Series can involve logarithmic terms:
In[6]:=
Click for copyable input
Out[6]=
The logarithmic factors appear explicitly inside the SeriesData coefficient list:
In[7]:=
Click for copyable input
Out[7]//InputForm=