diff options
Diffstat (limited to 'src/algebra/combfunc.spad.pamphlet')
| -rw-r--r-- | src/algebra/combfunc.spad.pamphlet | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/algebra/combfunc.spad.pamphlet b/src/algebra/combfunc.spad.pamphlet index ffbf5887..aa560163 100644 --- a/src/algebra/combfunc.spad.pamphlet +++ b/src/algebra/combfunc.spad.pamphlet @@ -398,6 +398,7 @@ dummy variable is introduced to make the indexing variable \lq local\rq. IndexedExponents K, K, R, SMP, F) K2fact(k, l) == + kf : F empty? [v for v in variables(kf := k::F) | member?(v, l)] => kf empty?(args:List F := [facts(a, l) for a in argument k]) => kf is?(k, opperm) => |