description:
is-mbr(ket, sp) returns |yes> if 'ket' is in 'sp', else |no>
examples:
is-mbr(|b>, |a> + |b> + |c>)
|yes>
is-mbr(|c>, 0.3|a> + 2|b> + 9.7|c> + 13|d>)
|yes>
is-mbr(|x>, 0.3|a> + 2|b> + 9.7|c> + 13|d>)
|no>
friends |Fred> => |Jack> + |Harry> + |Ed> + |Mary> + |Rob> + |Patrick> + |Emma> + |Charlie>
is-mbr(|Ed>, friends |Fred>)
|yes>
is-mbr(|Frank>, friends |Fred>)
|yes>
is-mbr(|Jane>, friends |Fred>)
|no>
see also:
mbr