solve the system of generating function equations associated with an attribute grammar

はじめる前に
新機能一覧
Maple ワークシートの作成
Mapleワークシートを共有
Maple ウィンドウのカスタマイズ
Maple システムのカスタマイズ
コネクティビティ
Mathematics
数学
- テンソル解析
- パッケージ
- ファンクションアドバイザ
- ベキ級数
- ベクトル解析
- 不活性関数
- 代数
- 因数分解と方程式解法
- 基本数学
- 基本的な注意事項
- 変分法
- 変換
- 幾何
- 微分代数方程式
- 微分幾何学
- 微分方程式
- 微積分
- 数
- 数値計算
- 数学関数
- 数論
- 最適化
- 特殊関数
- 統計
- 線形代数
- 群論
- 評価
- 論理
- 過去のパッケージ
- 金融
- 離散数学
  - グラフ理論
  - 組合せ論
    - combinat
    - gfun
    - Permutations
    - 変換
    - 組み合わせ構造
    - !
    - binomial
    - MOLS
  - 総和と差分方程式
  - 離散変換
  - OrderBasis コマンド
  - 積
- piecewise examples
- グラフ電卓
- 区分関数
物理
プログラミング
グラフィックス
Student パッケージ
Science and Engineering
科学・エンジニアリング
アプリケーションと例題
リファレンス
システム
MapleSim
MapleSim ツールボックス
MapleSim ヘルプ
Tasks
Toolboxes
エラーメッセージガイド
マニュアル
数学アプリ

combstruct[agfmomentsolve] - solve the system of generating function equations associated with an attribute grammar

	Calling Sequence
	agfmomentsolve(eqns, num, neweqns)

Parameters

eqns	-	set of multivariate generating function equations
num	-	number of times to differentiate; non-negative integer
neweqns	-	(optional) set of equations that Maple attempts to solve

Description

•

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 . Thus, if these cannot be solved, fail is returned.

•	For information on how to write combstruct grammar specifications, see combstruct and combstruct[specification].

Examples

First, obtain a system of equations by using gfeqns or agfeqns.

The following two examples use the variable to mark the number of internal nodes in a nonplane tree.

(1)

(2)

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 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 , and setting this variable to 1. That is, the value of the system that agfmomentsolve(eqns, 1) attempts to solve.

(3)

{T[1](z) = -exp(-LambertW(-z))/(-1+z*exp(-LambertW(-z))), T[2](z) = -z*exp(-LambertW(-z))/(-1+z*exp(-LambertW(-z))), Z[1](z) = 1, Z[2](z) = z}

(4)

[T[1](z) = exp(-LambertW(-z))+z*T[1](z)*exp(-LambertW(-z)), T[2](z) = z*T[2](z)*exp(-LambertW(-z))+z*exp(-LambertW(-z)), Z[1](z) = 1, Z[2](z) = z]

(5)

The coefficient of of , , is the number of trees with nodes, and is the total sum of all trees with nodes for the number of internal nodes. The average number of internal nodes for a tree on nodes is .