diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-07-17 08:38:12 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-07-17 08:38:12 +0000 |
| commit | cd673c287c1499a8ca28d3519dcf237492ebea1c (patch) | |
| tree | 4e71eb7ce4a71f0cc11e1fb9ced2da87e7525391 /src/input/pat.input.pamphlet | |
| parent | 5231d91460271f0e9e0e3231bae94ba0931067ba (diff) | |
| download | open-axiom-cd673c287c1499a8ca28d3519dcf237492ebea1c.tar.gz | |
* input/pat.input.pamphlet (square): Define square an operatpr.
Diffstat (limited to 'src/input/pat.input.pamphlet')
| -rw-r--r-- | src/input/pat.input.pamphlet | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/input/pat.input.pamphlet b/src/input/pat.input.pamphlet index 2f6535ba..53ff68ca 100644 --- a/src/input/pat.input.pamphlet +++ b/src/input/pat.input.pamphlet @@ -14,6 +14,7 @@ -- Input for page PatternMatching )clear all +square := operator 'square rule square(x) == x*x fact(n | n > 0) == n * fact(n - 1) fact(0) == 1 |