1. Utilisez l'évaluation numérique et symbolique pour tester si 4i est un membre du jeu de nombres complexes.
2. Utilisez l'évaluation numérique et symbolique pour tester si -3/4 est un membre du jeu de nombres rationnels.
Comme prévu, l'évaluation numérique échoue lorsque le jeu de nombres ℚ est spécifié.
3. Utilisez l'évaluation numérique et symbolique pour tester si 2 est un membre du jeu de nombres réels.
4. Utilisez l'évaluation numérique et symbolique pour tester si 1.3 est un membre du jeu de nombres entiers.
5. Montez que les représentations exactes à virgule flottante des nombre entiers sont traitées par évaluation symbolique comme nombres rationnels.
◦ L'évaluation numérique échoue car seul l'évaluation symbolique est autorisée lorsque le jeu ℚ est spécifié.
◦ L'évaluation symbolique échoue car le test d'un nombre à virgule flottante pour l'appartenance à ℚ n'est pas défini.
◦ L'évaluation numérique échoue car seul l'évaluation symbolique est autorisée lorsque le jeu ℚ est spécifié.
◦ L'évaluation symbolique réussit car lorsque le jeu ℚ est spécifié, la représentation exacte à virgule flottante 10.0 du nombre entier 10 est traitée comme nombre rationnel et elle passe donc le test pour l'appartenance à ℚ.