Series Order#

This file provides some utility classes which are useful when working with unknown, known, and infinite series orders for univariate power series.

This code is based on the work of Ralf Hemmecke and Martin Rubey’s Aldor-Combinat, which can be found at http://www.risc.uni-linz.ac.at/people/hemmecke/aldor/combinat/index.html. In particular, the relevant section for this file can be found at http://www.risc.uni-linz.ac.at/people/hemmecke/AldorCombinat/combinatsu30.html.

class sage.combinat.species.series_order.InfiniteSeriesOrder#

Bases: sage.combinat.species.series_order.SeriesOrderElement

class sage.combinat.species.series_order.SeriesOrderElement#

Bases: object

class sage.combinat.species.series_order.UnknownSeriesOrder#

Bases: sage.combinat.species.series_order.SeriesOrderElement

sage.combinat.species.series_order.bounded_decrement(x)#

EXAMPLES:

sage: from sage.combinat.species.series_order import *
sage: u = UnknownSeriesOrder()
sage: bounded_decrement(u)
Unknown series order
sage: bounded_decrement(4)
3
sage: bounded_decrement(0)
0
sage.combinat.species.series_order.increment(x)#

EXAMPLES:

sage: from sage.combinat.species.series_order import *
sage: u = UnknownSeriesOrder()
sage: increment(u)
Unknown series order
sage: increment(2)
3