diff options
Diffstat (limited to 'src/algebra/pfr.spad.pamphlet')
| -rw-r--r-- | src/algebra/pfr.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/pfr.spad.pamphlet b/src/algebra/pfr.spad.pamphlet index eeaa4c2f..21f36929 100644 --- a/src/algebra/pfr.spad.pamphlet +++ b/src/algebra/pfr.spad.pamphlet @@ -231,7 +231,7 @@ PartialFraction(R: EuclideanDomain): Cat == Capsule where 0 == [0$R, nil()$LfTerm] 1 == [1$R, nil()$LfTerm] - characteristic() == characteristic()$R + characteristic == characteristic$R coerce(r): % == [r, nil()$LfTerm] coerce(n): % == [(n :: R), nil()$LfTerm] |