diff options
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 |