zeroieme 发表于 2012-7-3 04:44:13

被Mathematica的bug气失眠了，求确认

版本 7.0
PolynomialQ函数

In:=PolynomialQ[x1,x2]
Out:=True

In:=PolynomialQ[Log,x2]
Out:=True

In:=PolynomialQ[Log,xn]
Out:=True

mathematica 发表于 2012-7-3 08:22:36

第二个参数似乎只能是x,而不可以是x1

wayne 发表于 2012-7-3 09:27:37

1# zeroieme
失眠不至于吧,呵呵.

============
第一个第二个都是可以理解的.因为都是关于变量的常量表达式,所以是True.

第三个我也吃惊了,查了文档,发现:
The varineed not be symbols; PolynomialQ+f^2,f] -> True.
就明白了:
PolynomialQ 的第二个参数是既可以是变量,也可以是表达式.
如果前面的表达式是后面的表达式的多项式的形式,PolynomialQ 就返回True
另外需要注意的是,表达式都是Unevaluated的符号形式的.PolynomialQ 执行的是pattern matching 算法.
所以楼主的第三个也是常量多项式.
============

所以,个人理解,应该不是bug

wayne 发表于 2012-7-3 09:46:43

才发现,楼主帖子的时间戳是 凌晨4点44,
这个,.....
熬夜不好啊,
熬夜容易长胡子,长痘痘的

zeroieme 发表于 2012-7-3 11:33:33

才发现,楼主帖子的时间戳是 凌晨4点44,
这个,.....
熬夜不好啊,
熬夜容易长胡子,长痘痘的
wayne 发表于 2012-7-3 09:46 http://bbs.emath.ac.cn/images/common/back.gif
谢谢关心，不是熬夜，是临睡发现的问题不吐不快。调了2天的程序被玩死。

PolynomialQ[f+f^2,f] -> True.
没问题

但PolynomialQ[f+f^2,AnyOne] -> True.
问题就大了
PolynomialQ, x]                  False

PolynomialQ, Sqrt]         True
PolynomialQ, Exp]            True
PolynomialQ, Log]             True
…………

而x下标本来是下标不同数字代表不同变量，却成为x的函数。

wayne 发表于 2012-7-3 11:57:08

5# zeroieme
PolynomialQ+f^2,AnyOne] -> True.没关系.
PolynomialQ]+f^2,f] -> True.就是有问题了.

而x下标本来是下标不同数字代表不同变量，却成为x的函数。
这有何不可了?
这就相当于多元函数 f(x,y) =x*y+x^2+y^2关于x的常数项是 y^2 一样

wayne 发表于 2012-7-3 12:07:53

查了一下wikipedia的多项式环的词条.
多项式形如:
http://upload.wikimedia.org/wikipedia/zh/math/6/1/2/61214cd04788a9ba1e6926baa7c6ef08.png
这里的 X只是一个形式符号.

可以对比一下这些结果:a =.; PolynomialQ, {x, y}]a = Sin; PolynomialQ, {x, y}]a =.; y =.; x = Sin; PolynomialQ x y^2 - b Sin, {x, y}]a =.; y =.; x = Sin; PolynomialQ f y^2 - b Sin, {x, y}]

zeroieme 发表于 2012-7-3 13:06:12

5# zeroieme
PolynomialQ+f^2,AnyOne] -> True.没关系.
PolynomialQ]+f^2,f] -> True.就是有问题了.


这有何不可了?
这就相当于多元函数 f(x,y) =x*y+x^2+y^2关于x的常数项是 ...
wayne 发表于 2012-7-3 11:57 http://bbs.emath.ac.cn/images/common/back.gif

跟我给的例子不同吧
这个是正常的
PolynomialQ, x]
False

一旦自变量x换成随便一个x的非直接计算函数，那么结果必然True
PolynomialQ, Sign]-> True
PolynomialQ, Sin]-> True

ClearAll["Global`*"];   PolynomialQ, g]-> True

zgg___ 发表于 2012-7-3 16:22:49

貌似不是bug，赫赫，PolynomialQ], Sin]的结果就不是True的。

zeroieme 发表于 2012-7-3 19:18:13

貌似不是bug，赫赫，PolynomialQ], Sin]的结果就不是True的。
zgg___ 发表于 2012-7-3 16:22 http://bbs.emath.ac.cn/images/common/back.gif
要是永远错的我还可以反着用:@


新案例
{PolynomialQ, PolynomialQ,
PolynomialQ, PolynomialQ,
PolynomialQ}

{True, True, True, True, True}
页: [1] 2
查看完整版本: 被Mathematica的bug气失眠了，求确认