This functionality distinguishes between user-defined symbolic constants and variable parameters.
In the following case,
is a variable parameter:
>
|
|
>
|
|
| (2.1) |
Whereas, in the following situation, alpha is a user-defined symbolic constant, and it must be matched exactly by "alpha" for the pattern to be successfully returned. The first call to fouriercos will not return an answer for this reason--because 4 is not the same as alpha--while the second will.
>
|
|
>
|
|
| (2.2) |
>
|
|
| (2.3) |
The rest of these examples use variable parameters as opposed to symbolic constants:
>
|
|
>
|
|
| (2.4) |
>
|
|
>
|
|
>
|
|
| (2.5) |
>
|
|
>
|
|
>
|
|
| (2.6) |
>
|
|
>
|
|
>
|
|
| (2.7) |
>
|
|
>
|
|
>
|
|
| (2.8) |
>
|
|
>
|
|
>
|
|
| (2.9) |
>
|
|
>
|
|
>
|
|
| (2.10) |
You can specify conditions on the parameters to be matched:
>
|
|
>
|
|
| (2.11) |
>
|
|
>
|
|
>
|
|
>
|
|
| (2.12) |
>
|
|
| (2.13) |
>
|
|
>
|
|
>
|
|
>
|
|
| (2.14) |
>
|
|
| (2.15) |