diff options
Diffstat (limited to 'src/algebra/mappkg.spad.pamphlet')
| -rw-r--r-- | src/algebra/mappkg.spad.pamphlet | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/algebra/mappkg.spad.pamphlet b/src/algebra/mappkg.spad.pamphlet index 18814966..6bd8d8dd 100644 --- a/src/algebra/mappkg.spad.pamphlet +++ b/src/algebra/mappkg.spad.pamphlet @@ -124,6 +124,7 @@ MappingPackage1(A:SetCategory): MPcat == MPdef where MPdef == add import MappingPackageInternalHacks1(A) + import %peq: (A,A) -> Boolean from Foreign Builtin a: A faa: A -> A @@ -134,13 +135,13 @@ MappingPackage1(A:SetCategory): MPcat == MPdef where fixedPoint faa == g0 := GENSYM()$Lisp g1 := faa g0 - EQ(g0, g1)$Lisp => error "All points are fixed points" + %peq(g0,g1) => error "All points are fixed points" GEQNSUBSTLIST([g0]$Lisp, [g1]$Lisp, g1)$Lisp fixedPoint(fll, n) == g0 := [(GENSYM()$Lisp):A for i in 1..n] g1 := fll g0 - or/[EQ(e0,e1)$Lisp@Boolean for e0 in g0 for e1 in g1] => + or/[%peq(e0,e1) for e0 in g0 for e1 in g1] => error "All points are fixed points" GEQNSUBSTLIST(g0, g1, g1)$Lisp |