I am interested in programmatically working with constructible numbers (the closure of the rational numbers under square roots). In order to perform comparisons between numbers I believe I would need a unique (symbolic) representation for them. Does such a thing exist, or what are relevant references for this kind of thing?
No comments:
Post a Comment