diff options
Diffstat (limited to 'src/algebra/fspace.spad.pamphlet')
| -rw-r--r-- | src/algebra/fspace.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/fspace.spad.pamphlet b/src/algebra/fspace.spad.pamphlet index 5618839b..2a25eb6e 100644 --- a/src/algebra/fspace.spad.pamphlet +++ b/src/algebra/fspace.spad.pamphlet @@ -610,7 +610,7 @@ FunctionSpace(R: SetCategory): Category == Definition where -- cannot use new()$Symbol because of possible re-instantiation gendiff := "%%0"::SY - characteristic() == characteristic()$R + characteristic == characteristic$R coerce(k:K):% == k::MP::% symsub(sy, i) == concat(string sy, convert(i)@String)::SY numerator x == numer(x)::% |