diff options
Diffstat (limited to 'src/algebra/complet.spad.pamphlet')
| -rw-r--r-- | src/algebra/complet.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/complet.spad.pamphlet b/src/algebra/complet.spad.pamphlet index 73cff0fb..d71d3f74 100644 --- a/src/algebra/complet.spad.pamphlet +++ b/src/algebra/complet.spad.pamphlet @@ -100,7 +100,7 @@ OrderedCompletion(R:SetCategory): Exports == Implementation where fininf: (B, R) -> % 1 == [1$R] - characteristic() == characteristic()$R + characteristic == characteristic$R fininf(b, r) == r > 0 => [b] @@ -242,7 +242,7 @@ OnePointCompletion(R:SetCategory): Exports == Implementation where fininf: R -> % 1 == 1$R - characteristic() == characteristic()$R + characteristic == characteristic$R fininf r == zero? r => error "Undefined product" |