id all does not generate all options for arguments that are terms

[benruijl]

In principle id all should go through all permutations in the following example:

  #-
  S   x1,x2,x3;
  CF f;
  L F = f(x1*x2*x3);

  id all f(x1?*x2?*x3?) = f(x1,x2,x3);

  Print +s;
  .end

but it only yields

   F =
       + f(x1,x2,x3)
      ;

[vermaseren]

Same problem as always: matching products involving symbols (or functions and symbols) are separate routines. This is still waiting for the new pattern matcher.

Jos

On 20 jul. 2017, at 11:45, Ben Ruijl notifications@github.com wrote:

In principle id all should go through all permutations in the following example:

-

S x1,x2,x3; CF f; L F = f(x1x2x3);

id all f(x1?x2?x3?) = f(x1,x2,x3);

Print +s; .end but it only yields

F =

• f(x1,x2,x3) ; — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/vermaseren/form/issues/224, or mute the thread https://github.com/notifications/unsubscribe-auth/AFLxEu1sEiFVzYfbGNfeOnlh-Tj9HKmSks5sPyGjgaJpZM4Od2h4.