Skip to content

Commit

Permalink
Correction by @Adam-Vandervorst for space intersection
Browse files Browse the repository at this point in the history
  • Loading branch information
TeamSPoon committed Aug 29, 2024
1 parent e8d0e6c commit 3a58804
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@
(add-atom &space2 (superpose ((= (foo $a $b) (+ $a $b)) (foo 1 2) (foo 5 6) (foo 5 10) (foo 9 9) (foo (foo 1 2) 3))))
!(assertEqual
(intersection (get-atoms &space1) (get-atoms &space2))
(superpose ((foo 1 2) (foo (foo 1 2) 3)))
(superpose ((= (foo $x $y) (+ $x $y)) (foo 1 2) (foo (foo 1 2) 3)))
)

;; Test intersection with a space having a unique atom
Expand Down

0 comments on commit 3a58804

Please sign in to comment.