solve the system of generating function equations associated with an attribute grammar
agfmomentsolve(eqns, num, neweqns)
set of multivariate generating function equations
number of times to differentiate; non-negative integer
(optional) set of equations that Maple attempts to solve
The agfmomentsolve function accepts a set of multivariate generating functions. It attempts to solve the system of generating functions where the equations are differentiated num times with respect to each variable aside from size. It then evaluates the equations with each nonsize variable set to 1.
The functions are returned as univariate functions. Thus, it is important that the first variable marks size. The agfmomentsolve function is useful for finding averages and higher moments.
The modified equations are returned by using the third argument, neweqns. If it is specified, it is assigned to the system of equations.
If the solving computation is intensive, you can interrupt it and recover the equations. This allows you to intervene with some manual manipulation or specialized solving methods.
The agfmomentsolve function relies on solutions obtained by agfmomentsolve(eqns, num-j) where j=1..num. Thus, if these cannot be solved, fail is returned.
For information on how to write combstruct grammar specifications, see combstruct and combstruct[specification].
First, obtain a system of equations by using gfeqns or agfeqns.
The following two examples use the variable u to mark the number of internal nodes in a nonplane tree.
eqns0 ≔ agfeqns⁡T=Prod⁡Z,Set⁡T,h⁡T=Prod⁡0,Set⁡h⁡T+1,labeled,z,u,h
eqns1 ≔ gfeqns⁡T=Prod⁡Z,Prod⁡E,Set⁡T,E=Ε,labeled,z,u,E
Given the equations, it is possible to solve the generating function for the number of trees. This can be obtained from the univariate system which is obtained from the multivariate system with u set to 1. Further, cumulative generating functions for the number of internal nodes in a binary tree is determined by differentiating the multivariate generating function with respect to u, and setting this variable to 1. That is, the value of the system that agfmomentsolve(eqns, 1) attempts to solve.
The coefficient of zn of T⁡z, coeff⁡T⁡z,z,n, is the number of trees with n nodes, and coeff⁡T2⁡z,z,n is the total sum of all trees with n nodes for the number of internal nodes. The average number of internal nodes for a tree on n nodes is coeff⁡T2⁡z,z,ncoeff⁡T⁡z,z,n.
sol ≔ agfmomentsolve⁡eqns0,2:
This agfmomentsolve function yields information that can be used to compute the variance.
Download Help Document