如何在千里马中强制 0^0 为 1？

Question

在许多级数和多项式中都适合将0^0视为1。

很遗憾，Maxima 认为是expt。

如何强制？

Answer 1

试试这个。使用tellsimp 定义一个不同的规则来简化0^0。

(%i1) display2d : false $
(%i2) simp : false $
(%i3) tellsimp (0^0, 1);
(%o3) [\^rule1,simpexpt]
(%i4) simp : true $
(%i5) 0^0;
(%o5) 1
(%i6) sum (k^k, k, 0, 5);
(%o6) 3414

请注意，您必须在定义规则之前禁用简化（通过simp:false$），否则会应用默认简化（会触发错误）。