想在mathematica里存一个线性空间（函数空间），然后给一个新的函数，可以判断是不是在这个线性空间里。
函数是n元多项式，但指数和系数都会含参，n是给定的。
现在的办法是把函数和table做一个对应，然后定义对应的table之间的运算，再设k[i]作为系数求和，然后和需要判定的函数按每个单项式有个等式（系数相等），这些构成一个线性方程组，最后用LinearSolve来看有没有解。
但可能是含参的缘故，最后会出一些bug，尤其是项数比较多的时候。

……你问得具体些吧。