- android - 多次调用 OnPrimaryClipChangedListener
- android - 无法更新 RecyclerView 中的 TextView 字段
- android.database.CursorIndexOutOfBoundsException : Index 0 requested, 光标大小为 0
- android - 使用 AppCompat 时,我们是否需要明确指定其 UI 组件(Spinner、EditText)颜色
我有包含关系运算符、符号和常量的表达式。我想重新排列表达式,以便(在可能的范围内)所有常数项都在关系运算符的一侧,而其余项在另一侧。例如,我想重新排列:
x - 5 > y - z
到:
x - y + z > 5
是否有现有的 sympy 方法来执行此操作?如果没有,我应该从哪里开始扩展 sympy?
最佳答案
有点令人惊讶的是,我找不到一种“开箱即用”的方法。您可以使用this question中的方法使任何一个变量成为不等式左侧 (LHS) 的唯一主语,但我似乎无法使常数项成为主语。
因此,我编写了自己的版本并在下面重现。我已经在给定的示例和其他几个示例中对其进行了测试。它试图根据可选参数使右侧 (RHS) 由零或仅包含常数项组成。很可能存在失败的极端情况 - 谨慎使用/修改。
import sympy
from sympy.core.relational import Relational
mult_by_minus_one_map = {
None: '==',
'==': '==',
'eq': '==',
'!=': '!=',
'<>': '!=',
'ne': '!=',
'>=': '<=',
'ge': '<=',
'<=': '>=',
'le': '>=',
'>': '<',
'gt': '<',
'<': '>',
'lt': '>',
}
def move_inequality_constants(ineq, zero_on_right=False):
l = ineq.lhs
r = ineq.rhs
op = ineq.rel_op
all_on_left = l - r
if zero_on_right:
return Relational(all_on_left, sympy.sympify(0), op)
else:
coeff_dict = all_on_left.as_coefficients_dict()
var_types = coeff_dict.keys()
new_rhs = sympy.sympify(0)
for s in var_types:
if s == 1:
all_on_left = all_on_left - coeff_dict[s]
new_rhs = new_rhs - coeff_dict[s]
if new_rhs < 0:
all_on_left = all_on_left * -1
new_rhs = new_rhs * -1
op = mult_by_minus_one_map[op]
return Relational(all_on_left,new_rhs,op)
# test code to demo function below
from sympy.abc import x,y,z
test_ineqs = [ x - 5 > y - z,
x**2 + x - 5 > y + x**2 - z,
x + 5 > y - z,
x**3 + y**2 >= x + 5*y - z - 15]
for k in test_ineqs:
print('Re-arranging '+ str(k))
kn = move_inequality_constants(k)
print('Gives '+str(kn))
print('Or equivalently ' + str(move_inequality_constants(k, True)))
print('====')
Re-arranging x - 5 > y - z
Gives x - y + z > 5
Or equivalently x - y + z - 5 > 0
====
Re-arranging x**2 + x - 5 > x**2 + y - z
Gives x - y + z > 5
Or equivalently x - y + z - 5 > 0
====
Re-arranging x + 5 > y - z
Gives -x + y - z < 5
Or equivalently x - y + z + 5 > 0
====
Re-arranging x**3 + y**2 >= x + 5*y - z - 15
Gives -x**3 + x - y**2 + 5*y - z <= 15
Or equivalently x**3 - x + y**2 - 5*y + z + 15 >= 0
关于python - 如何重新排列包含关系运算符的 sympy 表达式,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/30225348/
在下面的程序中,SymPy 似乎不理解被积函数是乘积的导数。有没有办法让它返回u*v ? import sympy x = sympy.symbols('x', real=True) u = symp
我有两个单变量函数,f(x)和 g(x) ,我想替换 g(x) = y重写 f(x)正如一些 f2(y) . 这是一个有效的简单示例: In [240]: x = Symbol('x') In [24
我需要以字符串的形式接受用户输入,将其解析为一个 sympy 表达式,然后求解一个变量。大多数用户允许的函数与 sympy 函数匹配,除了 log2(x) 等同于 sympy 的 log(x, 2)。
当 Function 出现在方程中或者是要求解的目标时,sympy 的 solve 函数似乎无法求解某些方程。 为了解决这个问题,我想创建一个通用函数,它会自动用同名的 Symbol 替换表达式中的
尽管 radsimp函数看起来正是我想要的: from sympy import radsimp, sqrt, symbols v1, v2 = symbols('v1 v2') radsimp(1
在动态系统中,我的基值都是时间的函数,d(t)。我使用 d = Function('d')(t) 创建变量 d,其中 t = S('t') 显然,d 的导数(变化率,如速度等)很常见。但是 diff(
我有各种涉及 UndefinedFunction 实例的 SymPy 表达式: f = Function('f') g = Function('g') e = f(x) / g(x) 如何获取出现在此
我试图使用 sympy 解决斐波那契数列的递推关系。我得到了一个与教科书不同的答案。不知道我哪里弄错了。 我的同情码 from sympy import * f=Function('f') var('
我设置了 Anaconda 2.0.0 (Win 64)。 它有 SymPy 0.7.5。 我将 Spyder(Anaconda 附带的 2.3.0rc)配置为使用符号数学: 工具 > 首选项 > i
我是 sympy 的新手,并且正在学习它。我正在浏览堆栈交换中关于使用 sympy 符号求解具有初始条件的微分方程组的文档和问题。 我有一个简单的 ODE-s 系统 ( dV/dt ) = -(
x,i,n = symbols("x i n") summation(x,(i,1,n)) 我如何制作 x由 i 索引? 最佳答案 没有数字上限,它不会做任何事情,但除此之外,您可以使用类似函数的表达
关闭。这个问题不满足Stack Overflow guidelines .它目前不接受答案。 想改善这个问题吗?更新问题,使其成为 on-topic对于堆栈溢出。 5年前关闭。 Improve thi
我正在尝试在 Jupyter 笔记本中使用 sympy 以可重复的方式记录和执行一系列数学计算。 如果我定义以下内容: from sympy import * init_printing() x, y
当我打字时 >python > from sympy import * > x=symbols('x') > integrate(1/4/sin(1/3*x),x) 输出是 0.375*log(cos
如果我们知道变量满足某个方程,是否可以简化 SymPy 中的表达式?例如,在 Mathematica 中我们可以这样写: Simplify[a+b-c, a+b==c] 当然,在这种情况下可以解决 a
在 sympy 中,如何声明一个对子函数中的多个变量具有多个限制的 Piecewise 函数? 这是我的背景和尝试: from sympy import Piecewise, Symbol, exp
我想使用 sympy 求解以下简单方程 2^(x-y)=1 其中 x 和 y 是 +ve 整数 我的预期结果是 x=y 当我尝试使用 sympy 求解时 x = Symbol('x') y = Sym
我有一个表达式列表,例如 4.0*x[0] + 5.0*x[10] + 1 = 0我想根据 [4.0, 0, 0, ..., 5.0, ... , 1] 等系数将它们转换为向量。原因是我的一些方程可能
当我打字时 >python > from sympy import * > x=symbols('x') > integrate(1/4/sin(1/3*x),x) 输出是 0.375*log(cos
我想对 SU(2) 的一般矩阵进行计算,即我有一个 a,b=symbols('a,b') m=Matrix([[a,b],[-conjugate(b), conjugate(a)]]) 经过一些计算,
我是一名优秀的程序员,十分优秀!