From 7bd82b57975bbc1ff5b87fed0739815c620ecdcc Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 11 Jun 2009 21:51:23 +0000 Subject: * algebra/: Remove quotes from operator namaes in signatures. --- src/algebra/combfunc.spad.pamphlet | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/algebra/combfunc.spad.pamphlet') diff --git a/src/algebra/combfunc.spad.pamphlet b/src/algebra/combfunc.spad.pamphlet index 25e7d3e4..a6c357a0 100644 --- a/src/algebra/combfunc.spad.pamphlet +++ b/src/algebra/combfunc.spad.pamphlet @@ -83,7 +83,7 @@ CombinatorialFunction(R, F): Exports == Implementation where ++ operator(op) returns a copy of op with the domain-dependent ++ properties appropriate for F; ++ error if op is not a combinatorial operator; - "**" : (F, F) -> F + ** : (F, F) -> F ++ a ** b is the formal exponential a**b; binomial : (F, F) -> F ++ binomial(n, r) returns the number of subsets of r objects -- cgit v1.2.3