aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/equation2.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-01-11 03:06:06 +0000
committerdos-reis <gdr@axiomatics.org>2009-01-11 03:06:06 +0000
commit7f4d5ba0d11c5c7f5bc106655ffb07f37ed453a0 (patch)
tree16fc67934b5fd41478d4afcf7fdbff90503ed412 /src/algebra/equation2.spad.pamphlet
parent3abfe0a7f15ff760fe7c6f95957f705e1301bfc6 (diff)
downloadopen-axiom-7f4d5ba0d11c5c7f5bc106655ffb07f37ed453a0.tar.gz
* interp/compiler.boot (getSuccessEnvironment): Don't specialize
on `has'. (getInverseEnvironment): Likewise. * algebra/equation2.spad.pamphlet (factorAndSplit$Equation): Fix misuses of `has'. * interp/functor.boot (mkTypeForm): Rename from mkDomainConstructor.
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)