diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-06-07 16:23:51 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-06-07 16:23:51 +0000 |
| commit | f8913372cea43183d427cbe3d00c4967a840329b (patch) | |
| tree | 0d650b74174ea15413221f1f6448b7870f0ab0c2 /src/algebra/fspace.spad.pamphlet | |
| parent | 03ca123dfb990c5ea8dde05b6f10902e4a4019b9 (diff) | |
| download | open-axiom-f8913372cea43183d427cbe3d00c4967a840329b.tar.gz | |
* algebra/kl.spad.pamphlet (name$Kernel): Remove.
* algebra/d01weights.spad.pamphlet: Adjust.
* algebra/fs2expxp.spad.pamphlet: Likewise.
* algebra/fs2ups.spad.pamphlet: Likewise.
* algebra/fspace.spad.pamphlet: Likewise.
* algebra/limitps.spad.pamphlet: Likewise.
* algebra/transsolve.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/fspace.spad.pamphlet')
| -rw-r--r-- | src/algebra/fspace.spad.pamphlet | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/algebra/fspace.spad.pamphlet b/src/algebra/fspace.spad.pamphlet index 2a25eb6e..1768016e 100644 --- a/src/algebra/fspace.spad.pamphlet +++ b/src/algebra/fspace.spad.pamphlet @@ -184,7 +184,8 @@ ExpressionSpace(): Category == Defn where allk l == reduce("setUnion", [allKernels f for f in l], nil$List(K)) operators f == [operator k for k in allKernels f] height f == reduce("max", [height k for k in kernels f], 0) - freeOf?(x:%, s:SY) == not member?(s, [name k for k in allKernels x]) + freeOf?(x:%, s:SY) == + not member?(s, [name operator k for k in allKernels x]) distribute x == unwrap([k for k in allKernels x | is?(k, oppren)], x) box(l:List %) == opbox l paren(l:List %) == oppren l @@ -1058,6 +1059,8 @@ FunctionSpaceFunctions2(R, A, S, B): Exports == Implementation where <<license>>= --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. --All rights reserved. +--Copyright (C) 2007-2009, Gabriel Dos Reis. +--All rights reserved. -- --Redistribution and use in source and binary forms, with or without --modification, are permitted provided that the following conditions are |