Julia Symbolics无法简化派生表达式
我在《朱莉娅》中使用了符号学软件包，它似乎没有简化表达式的派生。
例如：
@variables r
Dr = Differential(r)
simplify(expand_derivatives(Dr((2/r)^2)))
结果
(-4(2 / (r^2))) / r
如果我改为手工创建派生表达式，那么simplify非常有用
simplify((-4*(2 / (r^2))) / r)
给予
-8 / (r^3)
正如预期的那样。
为什么simplify不能正确处理由微分创建的表达式？
共有1个答案
使用expand=true。设置代码：
using Symbolics
@variables r
Dr = Differential(r)
现在：
julia> simplify(expand_derivatives(Dr((2/r)^2)); expand=true)
-8 / (r^3)
请注意，simplify（-4（2/（r^2）））/r）之所以有效，是因为（-4（2/（r^2））/r在到达该函数之前已被简化：
julia> -4(2 / (r^2)) / r
-8 / (r^3)
-
大多数C程序员都知道空基类优化是一种技术/习惯用法。空的子类会发生什么？例如 与EBO类似，应该有一个EDO声明，由于派生类不提供任何其他成员，也不向其参数化类型引入任何虚拟成员，因此它不需要更多内存。考虑到可能出现类似情况的各种情况（多重继承、单一继承……）： 这样的优化标准/可能吗？ 如果是，这种优化的机制是什么，它们与EBO相似吗？ 注意：使用从参数化类型派生的类模板是相当典型的。主题是在这
-
从JLS中考虑下面的文章，它描述了在类型推断过程中方法引用表达式的还原过程。 形式的约束公式，其中T提到至少一个推理变量，减少如下： ... 否则，如果方法参考准确（§15.13.1），则让P1。。。，Pn是T的函数类型的参数类型，让F1。。。，Fk是潜在适用方法的参数类型。该约束减少为一组新的约束，如下所示： –在n=K1的特殊情况下，P1类型的参数将作为调用的目标引用。方法引用表达式的形式必须
-
如何简化这个正则呢？ 或者是否有其他实现方式(正则)？
-
问题内容： 我有这两个查询。我不知道如何将它们组合在一起以创建派生表。我想将第二个查询用作主查询，并在主查询的FROM子句中使用第一个查询。 问题答案： 您是否只想将结果放在同一张表中？只需执行以下操作：
-
问题内容： 根据PHP文档，可以在具有以下限制的类中初始化属性： “此声明可以包括一个初始化，但是此初始化必须是一个常量值，也就是说，它必须能够在编译时进行评估，并且必须不依赖于运行时信息才能进行评估。” 我正在尝试初始化数组并遇到一些问题。虽然这很好用： 这会产生语法错误： 甚至不被接受： 这表明它不是array（）语言构造的限制。 现在，我最后一次检查时，“ 4 + 1”等于一个常数值，不仅应
-
C++ 中的继承是类与类之间的关系，是一个很简单很直观的概念，与现实世界中的继承类似，例如儿子继承父亲的财产。 继承（Inheritance）可以理解为一个类从另一个类获取成员变量和成员函数的过程。例如类 B 继承于类 A，那么 B 就拥有 A 的成员变量和成员函数。 在C++中， 派生（ Derive ）和继承是一个概念，只是站的角度不同。继承是儿子接收父亲的产业，派生是父亲把产业传承给儿子。