Am 18.03.2012 18:30, schrieb Sergiu Ivanov:
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}.
It's a TransformedSet, maybe?
--
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.
