Internally, Z3 USES real algebraicNumbers for representing the solution.
在内部，Z3使用真实代数数字用于表示解。
2
This paper discusses an algebraic property of values of rational degrees of triangle functions. We obtain that they are all algebraicNumbers.
本文讨论了三角函数在有理度数上的取值的代数性质，得出其取值均为代数数。
3
Then he considers the case of algebraicnumbers and obtains some results like the following: Every real algebraic number field of finite degree is non-inductive;