这篇日报

主要是“复合”那块我感觉有些地方需要讨论，其他没细看

其一，在“复合”的定义中，作者直接将一个形式幂 $g\in R[[x]]$ 自乘 $i$ 次放到未定元 $x^i=(0,\dots,1,0,\dots)$ 的位置上，这么做的合理性我不是很理解。

目前我的理解是很可能作者定义了一个 $R[[x]]$ 到解析函数的对应（这种理解的确更好扩展，而且似乎没有出过问题，但是同样需要很谨慎），并在此基础上对某个收敛域的幂级数进行定义。那么这样还有问题，这就产生了第二点。

其二，在“复合”一部分的第二个例题中，认为 $f(x)=\frac{1}{1-x}$ 复合 $x-1$ 是不存在的，理由是级数：

不存在。这里我打八百个问号。首先这个东西已经是标准形式，没必要展开了。其次展开也不能那么展开，有没有一种可能是它本身就不能交换，而不是什么“且不说能不能交换，就是交换了也不存在”的问题。或者是我完全理解错了（悲）

其他还有一些小问题：

1. 生成函数、形式幂级数和多项式是三个不同的概念，没有什么“生成函数，也称形式幂级数，多项式”之说。
2. $a_i$ 必须要属于 $\mathbb P$，不能是什么“也可以是生成函数，或者其它的东西”。

除了开头和复合部分其他都没细看，就先提出这些点拿出来问一问 。