maxima - 在 Maxima 中求解分段函数

Question

我试图在 Maxima 中解决分段函数，但没有返回任何函数的解决方案:

piecewiseExample(x) := if (x < 5) then x*2 else x/2;

solve([piecewiseExample(x) = 4], [x]);
//result: [(if x<5 then 2*x else x/2)=4]

Maxima 是否有可能获得这样一个方程的解？

Answer 1

在简单的情况下，您可以解决任何地方的每个分支并过滤解决方案:

solve_and_filter(eq, var, p):= block([so: solve(eq, var), prederror: true],
  sublist(so, lambda([c], p(rhs(c))))) $

pw_solve(pw, var):= map(lambda([L],
    solve_and_filter(first(L), var, second(L))), pw) $

/* represent piecewise equation as a list of equation-predicate pairs
   [ [eq1, pred1], [eq2, pred2], ... ] */
pw: [ [x*2 = 4, lambda([x], x< 5)],
      [x/2 = 4, lambda([x], x>=5)]] $

/* solve every `eq' and filter solutions using `pred' */
pw_solve(pw, x);