search

vermaseren / form

The FORM project for symbolic manipulation of very big expressions
GNU General Public License v3.0
1.15k stars 136 forks source link

Cannot match empty cyclesymmetric function with ranged wildcard #388

Open benruijl opened 3 years ago

benruijl commented 3 years ago 
CF f(c);

L F = f;

id f(?a) = 1; * does not match

Print +s;
.end
vermaseren commented 3 years ago

This is something moderately dubious. cyclesymmetric is not really defined when there are no arguments. It can be changed of course. It is also simple to hack around it by putting first id f = 1;

On 1 Jul 2021, at 12:55, Ben Ruijl @.***> wrote:

CF f(c);

L F = f;

id f(?a) = 1; * does not match

Print +s; .end — 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/388, or unsubscribe https://github.com/notifications/unsubscribe-auth/ABJPCEQTH4VKJ4GFSCD5ILDTVRCR7ANCNFSM47UIJEIQ.