parent, prec, [is_gen=False]) |
add_bigoh,
base_ring,
common_prec,
copy,
degree,
derivative,
exp,
list,
O,
prec,
trunc,
unit_part,
V,
valuation
Further documentation:
prec) |
Returns the power series of precision at most prec got by
adding
prec
to f, where q is the variable.
prec) |
Return this series plus
prec
. Does not change
self.
) |
The precision of
is by definition
.
[prec=Infinity]) |
Polynomial obtained from power series by truncating.
) |
Suppose self factors as
with
nonzero. Then this function returns
.
n) |
If
, then this function returns
.
Instances of class PowerSeries also have the following special methods:
__add__,
__call__,
__cmp__,
__div__,
__getitem__,
__getslice__,
__invert__,
__mod__,
__mul__,
__pow__,
__radd__,
__rdiv__,
__repr__,
__setitem__,
__sub__,
_latex_,
_mul
Further documentation:
other) |
Comparison of self and other.
We say two approximate power series are equal, if they agree
for all coefficients up to the *minimum* of the precisions of
each. Thus, e.g.,
is equal to
.
This is how PARI defines equality of power series, but not how
MAGMA defines equality. (MAGMA would declare f and g
unequal.) I side with PARI, because even if
,
we don't really know whether f equals g, since we don't know
the coefficients of
.
) |
Inverse of the power series, which we assume to have nonzero constant term so that the inverse is again a power series.
See About this document... for information on suggesting changes.