Home
last modified time | relevance | path

Searched defs:to_rational (Results 1 – 25 of 39) sorted by relevance

12

/dports/math/cgal/CGAL-5.3/include/CGAL/
H A Dto_rational.h29 to_rational(double x) in to_rational() function
H A DMP_Float.h295 T to_rational() const in to_rational() function
/dports/math/pynac/pynac-pynac-0.7.27/ginac/
H A Dnormal.cpp879 ex ex::to_rational(exmap & repl) const in to_rational() function in GiNaC::ex
885 ex ex::to_rational(lst & repl_lst) const in to_rational() function in GiNaC::ex
927 ex basic::to_rational(exmap & repl) const in to_rational() function in GiNaC::basic
940 ex symbol::to_rational(exmap & repl) const in to_rational() function in GiNaC::symbol
956 ex numeric::to_rational(exmap & repl) const in to_rational() function in GiNaC::numeric
992 ex power::to_rational(exmap & repl) const in to_rational() function in GiNaC::power
1023 ex expairseq::to_rational(exmap & repl) const in to_rational() function in GiNaC::expairseq
H A Dex_utils.h96 inline ex to_rational(const ex & thisex, lst & repl_lst) in to_rational() function
99 inline ex to_rational(const ex & thisex, exmap & repl) in to_rational() function
/dports/math/gambit/gambit-16.0.1/src/python/gambit/lib/
H A Dutil.h86 inline Rational to_rational(const char *p_value) in to_rational() function
/dports/math/py-sympy/sympy-1.9/sympy/polys/domains/
H A Dmpelements.py125 def to_rational(ctx, s, limit=True): member in MPContext
H A Drealfield.py106 def to_rational(self, element, limit=True): member in RealField
/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dold_interval.h41 rational const & to_rational() const { SASSERT(!is_infinite()); return m_value; } in to_rational() function
/dports/math/py-Diofant/Diofant-0.13.0/diofant/domains/
H A Dmpelements.py136 def to_rational(self, s, limit=True): member in MPContext
H A Drealfield.py106 def to_rational(self, element, limit=True): member in RealField
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/
H A Dold_interval.h41 rational const & to_rational() const { SASSERT(!is_infinite()); return m_value; } in to_rational() function
/dports/math/z3/z3-z3-4.8.13/src/util/
H A Dhwf.h120 void to_rational(hwf const & x, scoped_mpq & o) { to_rational(x, o.m(), o); } in to_rational() function
H A Ds_integer.h121 rational to_rational() const { return rational(m_val); } in to_rational() function
H A Dmpf.h141 void to_rational(mpf const & x, scoped_mpq & o) { to_rational(x, o.m(), o); } in to_rational() function
/dports/math/py-z3-solver/z3-z3-4.8.10/src/util/
H A Dhwf.h120 void to_rational(hwf const & x, scoped_mpq & o) { to_rational(x, o.m(), o); } in to_rational() function
H A Ds_integer.h121 rational to_rational() const { return rational(m_val); } in to_rational() function
H A Dmpf.h141 void to_rational(mpf const & x, scoped_mpq & o) { to_rational(x, o.m(), o); } in to_rational() function
H A Drational.h437 rational to_rational() const { return *this; } in to_rational() function
/dports/math/z3/z3-z3-4.8.13/src/math/hilbert/
H A Dhilbert_basis.h50 static rational to_rational(checked_int64<check> const& i) { in to_rational() function
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/hilbert/
H A Dhilbert_basis.h50 static rational to_rational(checked_int64<check> const& i) { in to_rational() function
/dports/math/GiNaC/ginac-1.8.2/ginac/
H A Dnormal.cpp2601 ex ex::to_rational(exmap & repl) const in to_rational() function in GiNaC::ex
2613 ex basic::to_rational(exmap & repl) const in to_rational() function in GiNaC::basic
2626 ex symbol::to_rational(exmap & repl) const in to_rational() function in GiNaC::symbol
2642 ex numeric::to_rational(exmap & repl) const in to_rational() function in GiNaC::numeric
2678 ex power::to_rational(exmap & repl) const in to_rational() function in GiNaC::power
2709 ex expairseq::to_rational(exmap & repl) const in to_rational() function in GiNaC::expairseq
H A Dstructure.h182 ex to_rational(exmap & repl) const override { return inherited::to_rational(repl); } in to_rational() function
/dports/math/z3/z3-z3-4.8.13/src/ast/
H A Dpb_decl_plugin.cpp299 rational pb_util::to_rational(parameter const& p) const { in to_rational() function in pb_util
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/
H A Dpb_decl_plugin.cpp299 rational pb_util::to_rational(parameter const& p) const { in to_rational() function in pb_util
/dports/math/gambit/gambit-16.0.1/library/src/enummixed/
H A Dlrsenum.cc524 Rational to_rational(lrs_mp Nin, lrs_mp Din) in to_rational() function

12