maxima - MATCHDECLARE ne le premier argument comme une variable

Question

Tenir compte les énoncés suivants:

(%i1) matchdeclare([a,b], constantp); 
(%o1)        done 
(%i2) defmatch(match, a*x+b); 
(%o2)        match 
(%i3) match(2*x+3); 
(%o3)       [b = 3, a = 2] 

Je veux généraliser ce modèle dans une fonction. Mais il ne semble pas fonctionner plus:

(%i1) matchForm(test, form, constants) := block(
    matchdeclare(constants, constantp), 
    defmatch(match, form), 
    match(test) 
); 
(%o1) matchForm(test, form, constants) := 
    block(matchdeclare(constants, constantp), defmatch(match, form), match(test)) 
(%i2) test: 2*x+3; 
(%o2)        2 x + 3 
(%i3) form: a*x+b; 
(%o3)        a x + b 
(%i4) constants: [a,b]; 
(%o4)        [a, b] 
(%i5) matchForm(test, form, constants); 
defmatch: evaluation of atomic pattern yields: a x + b 
(%o5)        false 

Débogage un peu, un peu, il semble que la question est que MATCHDECLARE n'accepte pas l'argument comme une variable. Y a-t-il un moyen de faire une fonction comme j'essaye de faire en maxima?

Answer 1

Je ne l'ai pas essayé, mais: peut-être vous pouvez obtenir l'effet que vous voulez via

apply (matchdeclare, [constants, 'constantp]), 

qui évaluera constants avant d'appeler matchdeclare.