2

我正在使用该MathNet.Symbolics库来简化代数公式,例如

string f = Infix.Print(Infix.ParseOrThrow("L+H+L+H"))

我正确地得到f="2*L+2*H"

当我需要减去其中两个公式时,我的问题就出现了:

string f = Infix.Print(Infix.ParseOrThrow("L+H+L+H - (L+H)"))

在这里我得到f="2*L+2*H - (L+H)"而不是(L+H)

我应该怎么做才能得到正确的简化?

4

1 回答 1

2

Math.NET Symbolics 在构造表达式时始终应用自动简化,因此甚至不存在非规范化形式。这对于保持代数算法的复杂度较低是必不可少的,但故意非常有限。这实际上是一个术语规范化,而不是简化。

该表达式2*H + 2*L - (H + L)在技术上确实是规范化/自动简化的形式,但是当使用Infix.PrintStrict它时,这可能会更加明显,可读性要低得多,但可以准确地显示表达式在内部是如何表示的:2*H + 2*L + (-1)*(H + L).

有很多代数例程可以用来操作和简化这样的表达式,在这种情况下,一个简单的代数展开就可以解决问题:

var e1 = Infix.ParseOrThrow("L+H+L+H");
var e2 = Infix.ParseOrThrow("L+H");
var e3 = e1 - e2;
// or: var e3 = Infix.ParseOrThrow("L+H+L+H - (L+H)");

var expanded = Algebraic.Expand(e3);
Infix.Print(expanded); // prints "H + L"
于 2015-07-31T07:05:13.773 回答