aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/equation2.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/equation2.spad.pamphlet')
-rw-r--r--src/algebra/equation2.spad.pamphlet2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/equation2.spad.pamphlet b/src/algebra/equation2.spad.pamphlet
index 169df9ed..e0d3bd30 100644
--- a/src/algebra/equation2.spad.pamphlet
+++ b/src/algebra/equation2.spad.pamphlet
@@ -213,7 +213,7 @@ Equation(S: Type): public == private where
(S has factor : S -> Factored S) =>
eq0 := rightZero eq
[equation(rcf.factor,0) for rcf in factors factor lhs eq0]
- (S has Polynomial Integer) =>
+ (S is Polynomial Integer) =>
eq0 := rightZero eq
MF ==> MultivariateFactorize(Symbol, IndexedExponents Symbol, _
Integer, Polynomial Integer)