| /dports/math/py-piranha/piranha-0.11/pyranha/ |
| H A D | types.py | 45 rational = _t.rational variable
|
| /dports/math/barvinok/barvinok-0.41.5/ |
| H A D | polysign_glpk.c | 89 int rational) in constraints_affine_minmax_sign()
147 int rational = !POL_ISSET(options->MaxRays, POL_INTEGER); in glpk_polyhedron_affine_sign() local
|
| /dports/multimedia/mkvtoolnix/mkvtoolnix-65.0.0/src/common/ |
| H A D | math_fwd.h | 30 rational(Tnumerator &&numerator, in rational() function
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/polly/lib/External/isl/ |
| H A D | isl_aff_map.c | 65 __isl_take isl_aff *aff, int rational) in isl_basic_map_from_aff2()
132 __isl_take isl_multi_aff *maff, int rational) in isl_basic_map_from_multi_aff2()
346 isl_bool rational; in isl_map_from_pw_multi_aff() local
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/polly/lib/External/isl/ |
| H A D | isl_aff_map.c | 65 __isl_take isl_aff *aff, int rational) in isl_basic_map_from_aff2()
132 __isl_take isl_multi_aff *maff, int rational) in isl_basic_map_from_multi_aff2()
348 isl_bool rational; in isl_map_from_pw_multi_aff_internal() local
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/polly/lib/External/isl/ |
| H A D | isl_aff_map.c | 65 __isl_take isl_aff *aff, int rational) in isl_basic_map_from_aff2()
132 __isl_take isl_multi_aff *maff, int rational) in isl_basic_map_from_multi_aff2()
348 isl_bool rational; in isl_map_from_pw_multi_aff_internal() local
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/polly/lib/External/isl/ |
| H A D | isl_aff_map.c | 65 __isl_take isl_aff *aff, int rational) in isl_basic_map_from_aff2()
132 __isl_take isl_multi_aff *maff, int rational) in isl_basic_map_from_multi_aff2()
348 isl_bool rational; in isl_map_from_pw_multi_aff_internal() local
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/polly/lib/External/isl/ |
| H A D | isl_aff_map.c | 65 __isl_take isl_aff *aff, int rational) in isl_basic_map_from_aff2()
132 __isl_take isl_multi_aff *maff, int rational) in isl_basic_map_from_multi_aff2()
344 isl_bool rational; in isl_map_from_pw_multi_aff() local
|
| /dports/math/z3/z3-z3-4.8.13/examples/msf/SolverFoundation.Plugin.Z3/ |
| H A D | Utils.cs | 24 public static ArithExpr GetNumeral(Context context, Rational rational, Sort sort = null) in GetNumeral()
|
| /dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.Numerical/ |
| H A D | TresholdDB.cs | 35 static RationalThreshold rational = new RationalThreshold (10); field in Mono.CodeContracts.Static.Analysis.Numerical.ThresholdDB
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/examples/msf/SolverFoundation.Plugin.Z3/ |
| H A D | Utils.cs | 24 public static ArithExpr GetNumeral(Context context, Rational rational, Sort sort = null) in GetNumeral()
|
| /dports/math/cocoalib/CoCoALib-0.99712/src/tests/ |
| H A D | test-FloatApprox1.C | 47 const MantExp2 rational = MantissaAndExponent2(q,MantBits); in program() local
|
| /dports/math/mppp/mppp-0.26/test/ |
| H A D | rational_stream_format.cpp | 54 using rational = rational<S::value>; in operator ()() typedef
|
| H A D | rational_neg.cpp | 39 using rational = rational<S::value>; in operator ()() typedef
|
| H A D | rational_hash.cpp | 40 using rational = rational<S::value>; in operator ()() typedef
|
| H A D | rational_abs.cpp | 39 using rational = rational<S::value>; in operator ()() typedef
|
| /dports/math/giacxcas/CoCoALib-0.99700/src/tests/ |
| H A D | test-FloatApprox1.C | 47 const MantExp2 rational = MantissaAndExponent2(q,MantBits); in program() local
|
| /dports/math/py-Diofant/Diofant-0.13.0/diofant/core/ |
| H A D | sympify.py | 61 def sympify(a, locals=None, convert_xor=True, strict=False, rational=False, argument
|
| /dports/math/singular/Singular-Release-4-2-1/factory/ |
| H A D | cf_factory.cc | 268 CFFactory::rational ( long num, long den ) in rational() function in CFFactory
275 CFFactory::rational ( const mpz_ptr num, const mpz_ptr den, bool normalize ) in rational() function in CFFactory
|
| /dports/devel/libsigrok/libsigrok-0.5.2/tests/ |
| H A D | strutil.c | 118 struct sr_rational rational; in test_rational() local
131 struct sr_rational rational; in test_rational_fail() local
|
| /dports/math/cgal/CGAL-5.3/examples/Algebraic_foundations/ |
| H A D | implicit_interoperable_dispatch.cpp | 40 CGAL::Quotient<int> rational(1,3); // == 1/3 in main() local
|
| /dports/multimedia/avidemux-qt5/avidemux_2.7.6/avidemux_core/ADM_coreMuxer/src/ |
| H A D | ADM_muxerUtils.cpp | 27 void rescaleFps(uint32_t fps1000, AVRational *rational) in rescaleFps()
|
| /dports/multimedia/avidemux/avidemux_2.7.6/avidemux_core/ADM_coreMuxer/src/ |
| H A D | ADM_muxerUtils.cpp | 27 void rescaleFps(uint32_t fps1000, AVRational *rational) in rescaleFps()
|
| /dports/multimedia/avidemux-cli/avidemux_2.7.6/avidemux_core/ADM_coreMuxer/src/ |
| H A D | ADM_muxerUtils.cpp | 27 void rescaleFps(uint32_t fps1000, AVRational *rational) in rescaleFps()
|
| /dports/multimedia/avidemux-plugins/avidemux_2.7.6/avidemux_core/ADM_coreMuxer/src/ |
| H A D | ADM_muxerUtils.cpp | 27 void rescaleFps(uint32_t fps1000, AVRational *rational) in rescaleFps()
|