projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 69c88d4) | patch
Add new methods for RealAlgebraicNumber (#7907)
authorGereon Kremer <gkremer@stanford.edu>
Mon, 10 Jan 2022 21:29:45 +0000 (13:29 -0800)
committerGitHub <noreply@github.com>
Mon, 10 Jan 2022 21:29:45 +0000 (15:29 -0600)
commit2532f336739081a977b9143e60d775337aad7f18
tree12394a62a65fd1325d26cd590ee639d4037fdedbtree
parent69c88d4cb47b00b807281771bf0e7637f3dda37bcommit | diff
Add new methods for RealAlgebraicNumber (#7907)

This PR adds some new methods for the RealAlgebraicNumber class: division, computing the (multiplicative) inverse and a specialization of std::hash.
src/util/real_algebraic_number_poly_imp.cpp diff | blob | history
src/util/real_algebraic_number_poly_imp.h diff | blob | history
test/unit/util/real_algebraic_number_black.cpp diff | blob | history