[Home] [prev] [up] [next]     ((src/gseries.as))

10 Generating Series

 10.1 OrdinaryGeneratingSeries
 10.2 ExponentialGeneratingSeries
 10.3 CycleIndexSeries

This file implements ordinary and exponential generating series as well as cycle index series by means of formal power series. The code is tested in the file test/gseries.as.nw.

307⟨* 13⟩+≡   ⊲196  365 ⊳
-------------------------------------------------------------------
----
---- Combinat
---- Copyright (C) Ralf Hemmecke <ralf@hemmecke.de>
---- svn co svn://svn.risc.uni-linz.ac.at/hemmecke/combinat/
----
-------------------------------------------------------------------

#include "combinat"
macro {
        V == CycleIndexVariable;
        NonNegativeMachineInteger == MachineInteger;
        T == SparseIndexedPowerProduct(V, NonNegativeMachineInteger);
        P == SparseDistributedPolynomial(Q, V, T);
        PrimePowerProduct == SparseIndexedPowerProduct(I, I);
}
⟨dom: OrdinaryGeneratingSeries 311⟩
⟨dom: ExponentialGeneratingSeries 316⟩
⟨dom: CycleIndexVariable 329⟩
⟨dom: CycleIndexSeries 330⟩

Defines:
PrimePowerProduct, used in chunks 103, 104a, and 357–59.

Uses CycleIndexVariable 329, I 47, MachineInteger 67, Q 47, SparseDistributedPolynomial 526, and SparseIndexedPowerProduct 506.

[Home] [prev] [up] [next]     ((src/gseries.as))