On Sun, Mar 18, 2012 at 7:03 PM, Saptarshi Mandal
<[email protected]> wrote:
> I like Isomorphic. It gets the idea across anyhow.
The problem with Isomorphic is that the resulting set may not actually
be isomorphic to the initial set. Consider (in the current notation):
Isomorphic(Lambda(x, 0), S.Naturals)
This constructs {0} from N; definitely {0} is far from being
isomorphic to N (in the category of sets).
The situation is even clearer in the case of finite sets. For example,
Isomorphic(Lambda(x, x**2), FiniteSet(-1,1))
which constructs {1} from {-1,1}.
Sergiu
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sympy?hl=en.
