From: Christophe R. <Chr...@un...> - 2005-06-10 07:17:44
|
> symdiff x y = sub (union x y) (inter x y) > or > sub x y = inter x (symdiff x y) > > Of course one can easily define both with only membership > test and fold. > > Perhaps if the symmetric difference was provided and named > > symdiff > > it would be clear that 'diff' was the substraction. > > sub and symdiff are better name anyway ... -- Christophe Raffalli Université de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tél: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Chr...@un... www: http://www.lama.univ-savoie.fr/~RAFFALLI --------------------------------------------- IMPORTANT: this mail is signed using PGP/MIME At least Enigmail/Mozilla, mutt or evolution can check this signature. The public key is stored on www.keyserver.net --------------------------------------------- |