aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/term.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-05-09 22:31:07 +0000
committerdos-reis <gdr@axiomatics.org>2009-05-09 22:31:07 +0000
commit2e9dc79676f737f2b905560a8a70d8fbed27b04a (patch)
treed60514a4e0de2779d03b35d4441998e96f3549c4 /src/algebra/term.spad.pamphlet
parent4b4a0dc6ce39b7ee849f81ddf66355713f0cbf27 (diff)
downloadopen-axiom-2e9dc79676f737f2b905560a8a70d8fbed27b04a.tar.gz
* algebra/term.spad.pamphlet (zero?$Arity): New.
(one?$Arity): Likewise. * algebra/op.spad.pamphlet (BasicOperator): Now belongs to OperatorCategory(Symbol). (operator$BasicOperator): One more overload. * algebra/expr.spad.pamphlet (operator$Expression): Tidy. * algebra/fspace.spad.pamphlet (elt$ExpressionSpace): Likewise. * algebra/kl.spad.pamphlet (kernel$Kernel): Likewise.
Diffstat (limited to 'src/algebra/term.spad.pamphlet')
-rw-r--r--src/algebra/term.spad.pamphlet10
1 files changed, 8 insertions, 2 deletions
diff --git a/src/algebra/term.spad.pamphlet b/src/algebra/term.spad.pamphlet
index ff88acfe..6a9071c7 100644
--- a/src/algebra/term.spad.pamphlet
+++ b/src/algebra/term.spad.pamphlet
@@ -21,7 +21,7 @@
)abbrev domain ARITY Arity
++ Author: Gabriel Dos Reis
++ Date Created: December 04, 2008
-++ Date Last Updated: December 04, 2008
+++ Date Last Updated: May 09, 2009
++ Description:
++ This domain implements the arity of a function or an operator,
++ e.g. the number of arguments that an operator can take. An
@@ -33,9 +33,15 @@ Arity(): Public == Private where
arbitrary: %
++ aribitrary is the arity of a function that accepts any
++ number of arguments.
+ zero?: % -> Boolean
+ ++ \spad{zero? a} holds if \spad{a} is the arity of niladic function.
+ one?: % -> Boolean
+ ++ \spad{one? a} holds if \spad{a} is the arity of nullary function.
Private == add
Rep == SingleInteger
arbitrary == per(-1)
+ zero? a == zero? rep a
+ one? a == one? rep a
hash x == hash rep x
x = y == rep x = rep y
coerce(x: %): OutputForm ==
@@ -78,7 +84,7 @@ OperatorCategory(S: SetCategory): Category ==
\section{License}
<<license>>=
---Copyright (C) 2007-2008, Gabriel Dos Reis
+--Copyright (C) 2007-2009, Gabriel Dos Reis
--All rights reserved.
--
--Redistribution and use in source and binary forms, with or without