diff options
Diffstat (limited to 'src/algebra/mappkg.spad.pamphlet')
| -rw-r--r-- | src/algebra/mappkg.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/mappkg.spad.pamphlet b/src/algebra/mappkg.spad.pamphlet index 6600874e..133f28fe 100644 --- a/src/algebra/mappkg.spad.pamphlet +++ b/src/algebra/mappkg.spad.pamphlet @@ -140,7 +140,7 @@ MappingPackage1(A:SetCategory): MPcat == MPdef where fixedPoint(fll, n) == g0 := [(GENSYM()$Lisp):A for i in 1..n] g1 := fll g0 - or/[EQ(e0,e1)$Lisp for e0 in g0 for e1 in g1] => + or/[EQ(e0,e1)$Lisp@Boolean for e0 in g0 for e1 in g1] => error "All points are fixed points" GEQNSUBSTLIST(g0, g1, g1)$Lisp |