Now let's finish up with a quick summary of the things that we've covered in this
lecture. the main topic has been the symbolic
method for labelled classes, and particularly the transfer theorem shows
how the constructions that we consider transfer to operations on generating
functions. So we consider the disjoint union
operation. And the main one, which is the labelled
product operation, where we, we relabel objects in all possible ways.
And we would get a product on the generating function, sequences of length
k, which we would generate in function a to the z to the k, sequence of any length
1 over 1 minus. Same with sets of length k or sets of any
size, and cycles of length k or cycles of any size.
And there's many others that people have defined, like the box product which has a
corresponding operation on the generating function.
with these basic operations and just a few examples, there's many, many other
examples in the book. we were able to define a whole host of
commonatorial classes. all with a relatively simple description
and then leading to Directly from the transfer theorem to exponential equations
that exponential generating functions have to satisfy.
And we have variations on these to lead to a, a huge variety of different common
notarial classes and still have a specific equation that the generating
functions have to satisfy. That fits with our overview to analyze
properties of a large combinatorial structures, we use the symbolic method to
get directly generating function equation.
now its, important to note that the equations that we get vary widely in
nature. Some of them are quite simple, some of
them are quite complicated. but those are the generating functions of
the counting sequences that we seek. so in the second part where we derive
asymptotics from generating functions, we're also going to need general tools
that can handle all of these different types, of generating functions.