From 903486e44d8cb2fd57e2df9515be4c3e0e4f5369 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 26 Oct 2011 12:46:05 +0000
Subject: minor cleanups

---
 src/algebra/boolean.spad.pamphlet | 4 ++--
 src/algebra/data.spad.pamphlet    | 2 +-
 src/algebra/sgcf.spad.pamphlet    | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'src/algebra')

diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet
index 62c02779..7db25b9f 100644
--- a/src/algebra/boolean.spad.pamphlet
+++ b/src/algebra/boolean.spad.pamphlet
@@ -638,8 +638,8 @@ KleeneTrivalentLogic(): Public == Private where
     unknown == per(1::Byte)
     true == per(2::Byte)
     x = y == rep x = rep y
-    x case true == x = true
-    x case false == x = false
+    x case true == x = true@%
+    x case false == x = false@%
     x case unknown == x = unknown
     not x ==
       x case false => true
diff --git a/src/algebra/data.spad.pamphlet b/src/algebra/data.spad.pamphlet
index 07f9144f..ed78eba4 100644
--- a/src/algebra/data.spad.pamphlet
+++ b/src/algebra/data.spad.pamphlet
@@ -47,7 +47,7 @@ Byte(): Public == Private where
     import %bcompl: % -> %        from Foreign Builtin
 
     byte(x: NonNegativeInteger): % == per x
-    sample = %icst0
+    sample == %icst0
     x = y == %beq(x,y)
     x < y == %blt(x,y)
     x > y == %bgt(x,y)
diff --git a/src/algebra/sgcf.spad.pamphlet b/src/algebra/sgcf.spad.pamphlet
index c16691d8..bf077186 100644
--- a/src/algebra/sgcf.spad.pamphlet
+++ b/src/algebra/sgcf.spad.pamphlet
@@ -363,7 +363,7 @@ SymmetricGroupCombinatoricFunctions(): public == private where
     listYoungTableaus(lambda) ==
       ytab      : M I
       younglist : L M I := nil$(L M I)
-      lattice   := nextLatticePermutation(lambda,nil,false)
+      lattice   := nextLatticePermutation(lambda,nil$L(I),false)
       until null lattice repeat
         ytab      := makeYoungTableau(lambda,lattice)
         younglist := append(younglist,[ytab]$(L M I))$(L M I)
-- 
cgit v1.2.3