| /dports/math/linbox/linbox-1.6.3/linbox/algorithms/polynomial-matrix/ |
| H A D | matpoly-mult-fft-wordsize-three-primes.inl | 68 void mul (Matrix1 &c, const Matrix2 &a, const Matrix3 &b, size_t max_rowdeg=0) const { function in LinBox::PolynomialMatrixThreePrimesFFTMulDomain
81 integer bound=integer(_p-1)*integer(_p-1) local
87 void mul (MatrixP &c, const MatrixP &a, const MatrixP &b, size_t max_rowdeg=0) const { function in LinBox::PolynomialMatrixThreePrimesFFTMulDomain
100 integer bound=integer(_p-1)*integer(_p-1) local
227 integer bound=integer(_p-1)*integer(_p-1) local
238 const integer& bound, bool smallLeft=true) const {
|
| H A D | matpoly-mult-fft-multiprecision.inl | 76 void mul (PMatrix1 &c, const PMatrix2 &a, const PMatrix3 &b, size_t max_rowdeg=0) const { function in LinBox::PolynomialMatrixFFTMulDomain
85 integer bound=maxA*maxB*uint64_t(a.coldim())*uint64_t(std::min(a.size(),b.size())); local
106 integer bound=maxA*maxB*integer((uint64_t)a.coldim()); local
143 … const integer& maxA, const integer& maxB, const integer& bound, size_t max_rowdeg=0) const {
227 integer bound=integer(RNS._basis[l]-1)*integer(RNS._basis[l]-1) local
360 integer bound=integer(smallRNS._basis[l]-1)*integer(smallRNS._basis[l]-1) local
428 const integer& maxA, const integer& maxB, const integer& bound,
595 void mul (Matrix1 &c, const Matrix2 &a, const Matrix3 &b, size_t max_rowdeg=0) const { function in LinBox::PolynomialMatrixFFTMulDomain
611 void mul (MatrixP_F &c, const MatrixP_F &a, const MatrixP_F &b, size_t max_rowdeg=0) const { function in LinBox::PolynomialMatrixFFTMulDomain
616 …integer bound=2*_p*_p*integer((uint64_t)a.coldim())*integer((uint64_t)std::min(a.size(),b.size())); local
|
| H A D | matpoly-mult-fft-recint.inl | 77 void mul (PMatrix1 &c, const PMatrix2 &a, const PMatrix3 &b, size_t max_rowdeg=0) const { function in LinBox::PolynomialMatrixFFTMulDomain
86 integer bound=maxA*maxB*uint64_t(a.coldim())*uint64_t(std::min(a.size(),b.size())); local
105 integer bound=maxA*maxB*integer((uint64_t)a.coldim()); local
123 const integer& maxA, const integer& maxB, const integer& bound, size_t max_rowdeg=0) const {
189 integer bound=integer(RNS._basis[l]-1)*integer(RNS._basis[l]-1) local
238 integer bound=integer(smallRNS._basis[l]-1)*integer(smallRNS._basis[l]-1) local
335 const integer& maxA, const integer& maxB, const integer& bound,
623 void mul (Matrix1 &c, const Matrix2 &a, const Matrix3 &b, size_t max_rowdeg=0) const { function in LinBox::PolynomialMatrixFFTMulDomain
639 void mul (MatrixP_F &c, const MatrixP_F &a, const MatrixP_F &b, size_t max_rowdeg=0) const { function in LinBox::PolynomialMatrixFFTMulDomain
645 integer bound=pp*pp*integer((uint64_t)a.coldim())*integer((uint64_t)std::min(a.size(),b.size())); local
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/floats/constraints/linear/ |
| H A D | VarWeightNode.java | 50 BoundsVar bound; field in VarWeightNode
68 FloatIntervalDomain mul = FloatDomain.mulBounds(var.min(), var.max(), weight, weight); in propagate() local
110 FloatIntervalDomain mul = FloatDomain.mulBounds(var.min(), var.max(), weight, weight); in propagateAndPrune() local
|
| /dports/math/z3/z3-z3-4.8.13/src/tactic/arith/ |
| H A D | lia2card_tactic.cpp | 32 struct bound { struct in lia2card_tactic
33 unsigned m_lo;
34 unsigned m_hi;
35 expr* m_expr;
36 bound(unsigned lo, unsigned hi, expr* b): in bound() function
38 bound(): m_lo(0), m_hi(0), m_expr(nullptr) {} in bound() argument
275 …bool get_pb_sum(expr* x, rational const& mul, expr_ref_vector& args, vector<rational>& coeffs, rat… in get_pb_sum()
280 …bool get_sum(expr* x, rational const& mul, expr_ref_vector& conds, expr_ref_vector& args, vector<r… in get_sum()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/arith/ |
| H A D | lia2card_tactic.cpp | 32 struct bound { struct in lia2card_tactic
33 unsigned m_lo;
34 unsigned m_hi;
35 expr* m_expr;
36 bound(unsigned lo, unsigned hi, expr* b): in bound() argument
38 bound(): m_lo(0), m_hi(0), m_expr(nullptr) {} in bound() argument
275 …bool get_pb_sum(expr* x, rational const& mul, expr_ref_vector& args, vector<rational>& coeffs, rat… in get_pb_sum()
280 …bool get_sum(expr* x, rational const& mul, expr_ref_vector& conds, expr_ref_vector& args, vector<r… in get_sum()
|
| /dports/math/geogram/geogram-1.7.7/src/bin/fpg/ |
| H A D | Error_bound_value.cpp | 23 Error_bound_value *bound = dynamic_cast<Error_bound_value*>( value ); in downcast() local
51 Error_bound_value::mul( Abstract_value* other ) { in mul() function in Error_bound_value
|
| /dports/math/geogram/geogram-1.7.7/src/bin/fpg/FPG/ |
| H A D | Static_filter_error.h | 41 double bound = error().bound(); in add() local
60 virtual Static_filter_error* mul( Abstract_value* other ) { in mul() function
|
| /dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/coregrind/m_debuginfo/ |
| H A D | tytypes.c | 651 MaybeULong mul; in mk_MaybeULong_Nothing() local
657 MaybeULong mul; in mk_MaybeULong_Just() local
779 MaybeULong mul; in ML_() local
857 MaybeULong mul; in ML_() local
861 TyEnt* bound; in ML_() local
|
| /dports/devel/valgrind/valgrind-dragonfly-dragonfly/coregrind/m_debuginfo/ |
| H A D | tytypes.c | 651 MaybeULong mul; in mk_MaybeULong_Nothing() local
657 MaybeULong mul; in mk_MaybeULong_Just() local
779 MaybeULong mul; in ML_() local
857 MaybeULong mul; in ML_() local
861 TyEnt* bound; in ML_() local
|
| /dports/math/ntl/ntl-11.5.1/src/ |
| H A D | mat_ZZ.cpp | 67 void mul(mat_ZZ& X, const mat_ZZ& A, const mat_ZZ& B) in mul() function
104 void mul(vec_ZZ& x, const mat_ZZ& A, const vec_ZZ& b) in mul() function
139 void mul(vec_ZZ& x, const vec_ZZ& a, const mat_ZZ& B) in mul() function
211 long bound = 2+DetBound(a); in determinant() local
409 void mul(mat_ZZ& X, const mat_ZZ& A, const ZZ& b_in) in mul() function
423 void mul(mat_ZZ& X, const mat_ZZ& A, long b) in mul() function
539 long bound = 2+DetBound(A); in solve() local
657 long bound = 2+DetBound(A); in inv() local
|
| H A D | ZZX1.cpp | 92 NewFastCRTHelper::NewFastCRTHelper(long bound) in NewFastCRTHelper()
444 long bound = NumBits(da+1) + 2*MaxBits(a); in HomSqr() local
1630 long bound = 2 + NumBits(min(na, nb)) + maxa + maxb; in SSRatio() local
1730 void mul(ZZX& c, const ZZX& a, const ZZX& b) in mul() function
1789 long bound = 2 + NumBits(na) + 2*MaxBits(a); in SSSqr() local
2007 void mul(ZZX& x, const ZZX& a, const ZZ& b) in mul() function
2030 void mul(ZZX& x, const ZZX& a, long b) in mul() function
2162 long bound = max(bound1, bound2); in HomPseudoDivRem() local
2520 long bound = b_bound + MaxBits(qq) + in HomDivide() local
3108 long bound = 2+ResBound(a, b); in resultant() local
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/sat/smt/ |
| H A D | arith_axioms.cpp | 270 …olver::mk_var_bound(sat::literal lit, theory_var v, lp_api::bound_kind bk, rational const& bound) { in mk_var_bound()
448 rational mul(1); in check_idiv_bounds() local
478 …d_var_eh(theory_var v, lp::constraint_index ci1, lp::constraint_index ci2, rational const& bound) { in fixed_var_eh()
|
| /dports/math/z3/z3-z3-4.8.13/src/util/ |
| H A D | basic_interval.h | 29 typedef typename numeral_manager::numeral bound; typedef
288 void mul(interval const & a, interval const & b, interval & c) { in mul() function
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/util/ |
| H A D | basic_interval.h | 29 typedef typename numeral_manager::numeral bound; typedef
289 void mul(interval const & a, interval const & b, interval & c) { in mul() function
|
| /dports/lang/spidermonkey60/firefox-60.9.0/third_party/rust/num-iter/src/ |
| H A D | lib.rs | 74 let bound = match self.state.to_i64() { in size_hint() localVariable
311 fn mul(self, _: Foo) -> Foo { in test_range() method
|
| /dports/editors/biew/biew-610/testlab/disasm/x86/ |
| H A D | dos16.asm | 120 mul cx label
121 mul bl label
122 mul bx label
123 mul ebx label
207 bound sp,word [4] label
|
| /dports/math/rumur/rumur-2021.09.29/misc/ |
| H A D | murphi2xml.rng | 592 <define name="mul"> namedPattern
593 <element name="mul"> element
871 <element name="bound"> element
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/smt/ |
| H A D | arith_axioms.cpp | 270 …olver::mk_var_bound(sat::literal lit, theory_var v, lp_api::bound_kind bk, rational const& bound) { in mk_var_bound()
445 rational mul(1); in check_idiv_bounds() local
|
| /dports/graphics/aseprite/aseprite-1.2.9/third_party/tinyexpr/ |
| H A D | tinyexpr.c | 68 union {double value; const double *bound; const void *function;}; member
225 static double mul(double a, double b) {return a * b;} in mul() function
|
| /dports/science/vipster/vipster-1.19.1b-14-g7168a1b/external/tinyexpr/ |
| H A D | tinyexpr.c | 68 union {double value; const double *bound; const void *function;}; member
223 static double mul(double a, double b) {return a * b;} in mul() function
|
| /dports/editors/marker/Marker-2020.04.04.2/src/scidown/src/charter/src/tinyexpr/ |
| H A D | tinyexpr.c | 68 union {double value; const double *bound; const void *function;}; member
223 static double mul(double a, double b) {return a * b;} in mul() function
|
| /dports/x11/i3lock-color/i3lock-color-2.13.c.4/ |
| H A D | tinyexpr.c | 68 union {double value; const double *bound; const void *function;}; member
223 static double mul(double a, double b) {return a * b;} in mul() function
|
| /dports/devel/dev86/dev86-0.16.20/as/asm/ |
| H A D | each.asm | 9 bound bx,[esi*4] label
83 mul [esi*4] label
|
| /dports/net/bird2/bird-2.0.8/nest/ |
| H A D | rt-attr.c | 807 byte *bound = buf + bufsize - 32; in ea_format_bitfield() local
833 byte *bound = buf + size - 10; in opaque_format() local
1030 const u64 mul = 0x68576150f3d6847; in ea_hash() local
|