Kronecker增量的符号简化和
问题描述如何以渐近形式简化KroneckerDelta表达式的和？例如考虑Sum(KroneckerDelta(i,j),(i,0,n-1))或Sum(KroneckerDelta(i,j,(0,n-1)),(i,0,n-1))：fromsympyimport*fromsympy
发布：2022-10-16 标签：sumsympysimplifykronecker-product
简化数学表达式的策略
问题描述我有一个表示数学表达式的结构良好的树.例如，给定字符串:"1+2-3*4/5"，它被解析为:Ihaveawell-formedtreethatrepresentsamathematicalexpression.Forexample,giventhestring:"1+2-
发布：2022-10-16 标签：mathalgorithmsimplify
如何在 Z3 中实现自定义简化策略?
问题描述在我的工具中，我使用将常量与整数变量进行比较的条件(例如yInmytool,Iuseconditionsthatcompareconstantstointegervariables(forexampley<100).Often,therearemultiplecondit
发布：2022-10-16 标签：c++z3simplify
获得 mathematica 用另一个方程来简化表达式
问题描述我有一个非常复杂的mathematica表达式，我想通过使用一个新的、可能是无量纲的参数来简化它.IhaveaverycomplicatedmathematicaexpressionthatI'dliketosimplifybyusinganew,possiblydime
发布：2022-10-16 标签：wolfram-mathematicasimplify
Sympy:用平方和根化简小复合分数
问题描述我遇到了以下情况(在Sympy1.8中):Ihavegotthefollowingsituation(inSympy1.8):fromsympyimport*u=symbols('u')#notnecessarilypositiveterm=sqrt(1/u**2)/sq
发布：2022-10-16 标签：sympysimplifyfractions
Sympy:简化平方的平方根
问题描述Sympy似乎无法简化涉及变量平方根的表达式:在[28]中:a=x**2在[29]中:b=a**(1/2)在[30]中:b出[30]:0.5⎛2⎞⎝x⎠在[31]中:b.simplify()出[31]:0.5⎛2⎞⎝x⎠我不认为它适用于simplify的其他变体，特别是我
发布：2022-10-16 标签：pythonsympysimplify
Sympy - 简化域内的表达式
问题描述Sympy能否自动简化包含此类术语的表达式:cos(x)/(cos(x)**2)**(1/2)在我感兴趣的域中可以简化为10<=x<=pi/2?(可以在该域中简化的其他术语示例:acos(cos(x));sqrt(sin(x)**2);sqrt(cos(2*x)+1);等
发布：2022-10-16 标签：sympysimplify
简化正则表达式“ab|a|b"
问题描述(如何)可以简化以下正则表达式:(How)couldthefollowingregexbesimplified:ab|a|b?我正在寻找一个不那么冗余的，即只有一个a和一个b.可能吗?I'mlookingforalessredundantone,i.e.withonlyo
发布：2022-10-16 标签：regexsimplifyredundancy
如何自动删除取消自己的提交?
问题描述我有一个有很多提交的开发分支.这些提交包括真实的"更改(例如添加功能)以及临时更改(例如在一次提交中添加测试代码，然后在以后的提交中将其删除).Ihaveadevelopmentbranchwithmanycommits.Thesecommitsinclude"real"
发布：2022-10-16 标签：gitrebasesimplify
Prolog - 简化导数
问题描述所以我这个学期刚开始使用Prolog，并得到了实现一个非常基本的d(function,variable,derivative)的作业，我是这样做的:d(X,X,1):-!.d(C,X,0):-原子(C).％，(C\=X).d(X**E,X,E*X**(E-1)).d(U+
发布：2022-10-16 标签：prologsimplifyprolog-defaulty