aboutsummaryrefslogtreecommitdiff
path: root/src/input/pat.input.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-07-17 08:38:12 +0000
committerdos-reis <gdr@axiomatics.org>2008-07-17 08:38:12 +0000
commitcd673c287c1499a8ca28d3519dcf237492ebea1c (patch)
tree4e71eb7ce4a71f0cc11e1fb9ced2da87e7525391 /src/input/pat.input.pamphlet
parent5231d91460271f0e9e0e3231bae94ba0931067ba (diff)
downloadopen-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.pamphlet1
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