如何在千里马中强制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$），否则将应用默认简化（触发错误）。