Maple 简化 - 通过其他变量表达变量

Question

我有一根绳子

W := lx1sx1ph11alpha1ph12beta2-lx1sx1ph12alpha2ph11beta1+lx2sx2ph11alpha1ph12beta2-lx2sx2ph12alpha2 ph11测试版1

我想使用带有条件的简化来删除 sx1 和 sx2:

Right := simplify(W, {sx1*alpha1 = .5*beta1, sx1*beta1 = .5*alpha1, sx2*alpha2 = .5*beta2, sx2*beta2 = .5*alpha2})

但是，枫做不到，给了我

Right := (1/2*(-lx1*ph11*ph12+lx2*ph11*ph12))*alpha2*alpha1+(1/2*(-4*lx2*ph11*ph12+4*lx1*ph11*ph12))*sx2*alpha2*sx1*alpha1

如何改进和解决？

Answer 1

W := lx1*sx1*ph11*alpha1*ph12*beta2 - lx1*sx1*ph12*alpha2*ph11*beta1
     + lx2*sx2*ph11*alpha1*ph12*beta2 - lx2*sx2*ph12*alpha2*ph11*beta1:

simplify(simplify(W, {sx1*alpha1 = 1/2*beta1, sx2*alpha2 = 1/2*beta2}),
         {sx1*beta1 = 1/2*alpha1, sx2*beta2 = 1/2*alpha2});

    1/2*ph11*ph12*(-alpha1*alpha2+beta1*beta2)*(lx1-lx2)