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

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