diff options
author | dos-reis <gdr@axiomatics.org> | 2009-05-09 22:31:07 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-05-09 22:31:07 +0000 |
commit | 2e9dc79676f737f2b905560a8a70d8fbed27b04a (patch) | |
tree | d60514a4e0de2779d03b35d4441998e96f3549c4 /src/algebra/term.spad.pamphlet | |
parent | 4b4a0dc6ce39b7ee849f81ddf66355713f0cbf27 (diff) | |
download | open-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.pamphlet | 10 |
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 |