我有MuPAD和Maple,我想使用其中一个软件执行以下操作:
第二张照片显示了一个真实的例子。
答案 0 :(得分:2)
假设您的长表达式名为expr
。然后这样做
TypeTools:-AddType(
MyCos,
cos(satisfies(x-> x::`+` and {a*t, -b*t} subset {op(x)} or x = b*t-a*t))
):
subex:= select(T-> T::MyCos or T::`*` and membertype(MyCos, {op(T)}), expr);
现在subex
是您想要的子表达式。如果您想要加上系数,那么只需执行eval(subex, cos= 1)
。
请注意,这不会找到像(a-b)*t+alpha
这样的部分因素参数。如果您需要找到这些,请告诉我。