[Maxima] defmatch description

[Valery Pipin]

On Sunday 18 February 2007, Richard Fateman wrote:
> The functionality of defmatch is the same in both programs. The underlying
> implementation in Macsyma was re-done for efficiency, and may differ in
> minor respects especially when matching sums and products, but the external
> specifications should be identical.

That means that this piece of maxima manual  about defmatch is not correct
>      <pattern> is an expression containing the pattern variables <x_1>,
>      ..., <x_n> and pattern parameters, if any.  The pattern variables
because  they are  the formal parameters in the
of 'progname  and  not pattern variables
>
> Can you use the description in the Macsyma manual? Presumably a literal
> word-for-word use would violate some copyright. Rewriting it using the
> information in the Macsyma manual is probably OK.
Thanks for  explanation! Translated variant will not violate those copyritghs, 
I guess.