diff options
Diffstat (limited to 'src/algebra/tree.spad.pamphlet')
| -rw-r--r-- | src/algebra/tree.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/tree.spad.pamphlet b/src/algebra/tree.spad.pamphlet index 5a82ba59..27b0d061 100644 --- a/src/algebra/tree.spad.pamphlet +++ b/src/algebra/tree.spad.pamphlet @@ -261,13 +261,13 @@ Tree(S: SetCategory): T==C where cyclicEqual?(t1, t2) == cp1 := cyclicParents t1 cp2 := cyclicParents t2 - #cp1 ^= #cp2 or null cp1 => t1 = t2 + #cp1 ~= #cp2 or null cp1 => t1 = t2 cyclicEqual4?(t1, t2, cp1, cp2) cyclicEqual4?(t1, t2, cp1, cp2) == t1 case empty => t2 case empty t2 case empty => false - 0 ^= (k := eqMemberIndex(t1, cp1, 0)) => eq?(t2, cp2 . k) + 0 ~= (k := eqMemberIndex(t1, cp1, 0)) => eq?(t2, cp2 . k) value t1 = value t2 and "and"/[cyclicEqual4?(x,y,cp1,cp2) for x in children t1 for y in children t2] |