/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/generic-deriving-1.13.1/src/Generics/Deriving/ |
H A D | Eq.hs | 193 geq (Arg a _) (Arg b _) = geq a b function 203 geq = (==) function 207 geq = (==) function 211 geq = (==) function 214 geq = (==) function 218 geq = (==) function 222 geq = (==) function 225 geq = (==) function 229 geq = (==) function 233 geq = (==) function [all …]
|
/dports/devel/stack/stack-2.7.3/_cabal_deps/generic-deriving-1.14/src/Generics/Deriving/ |
H A D | Eq.hs | 193 geq (Arg a _) (Arg b _) = geq a b function 203 geq = (==) function 207 geq = (==) function 211 geq = (==) function 214 geq = (==) function 218 geq = (==) function 222 geq = (==) function 225 geq = (==) function 229 geq = (==) function 233 geq = (==) function [all …]
|
/dports/multimedia/handbrake/ffmpeg-4.4/libavfilter/ |
H A D | vf_geq.c | 229 if (!geq->expr_str[Y] && !geq->expr_str[G] && !geq->expr_str[B] && !geq->expr_str[R]) { in geq_init() 234 geq->is_rgb = !geq->expr_str[Y]; in geq_init() 236 …if ((geq->expr_str[Y] || geq->expr_str[U] || geq->expr_str[V]) && (geq->expr_str[G] || geq->expr_s… in geq_init() 242 if (!geq->expr_str[U] && !geq->expr_str[V]) { in geq_init() 244 geq->expr_str[U] = av_strdup(geq->expr_str[Y]); in geq_init() 245 geq->expr_str[V] = av_strdup(geq->expr_str[Y]); in geq_init() 248 if (!geq->expr_str[U]) geq->expr_str[U] = av_strdup(geq->expr_str[V]); in geq_init() 249 if (!geq->expr_str[V]) geq->expr_str[V] = av_strdup(geq->expr_str[U]); in geq_init() 265 (!geq->expr_str[G] || !geq->expr_str[B] || !geq->expr_str[R]) in geq_init() 267 (!geq->expr_str[U] || !geq->expr_str[V] || !geq->expr_str[A])) { in geq_init() [all …]
|
/dports/multimedia/ffmpeg/ffmpeg-4.4.1/libavfilter/ |
H A D | vf_geq.c | 229 if (!geq->expr_str[Y] && !geq->expr_str[G] && !geq->expr_str[B] && !geq->expr_str[R]) { in geq_init() 234 geq->is_rgb = !geq->expr_str[Y]; in geq_init() 236 …if ((geq->expr_str[Y] || geq->expr_str[U] || geq->expr_str[V]) && (geq->expr_str[G] || geq->expr_s… in geq_init() 242 if (!geq->expr_str[U] && !geq->expr_str[V]) { in geq_init() 244 geq->expr_str[U] = av_strdup(geq->expr_str[Y]); in geq_init() 245 geq->expr_str[V] = av_strdup(geq->expr_str[Y]); in geq_init() 248 if (!geq->expr_str[U]) geq->expr_str[U] = av_strdup(geq->expr_str[V]); in geq_init() 249 if (!geq->expr_str[V]) geq->expr_str[V] = av_strdup(geq->expr_str[U]); in geq_init() 265 (!geq->expr_str[G] || !geq->expr_str[B] || !geq->expr_str[R]) in geq_init() 267 (!geq->expr_str[U] || !geq->expr_str[V] || !geq->expr_str[A])) { in geq_init() [all …]
|
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/ffmpeg/libavfilter/ |
H A D | vf_geq.c | 229 if (!geq->expr_str[Y] && !geq->expr_str[G] && !geq->expr_str[B] && !geq->expr_str[R]) { in geq_init() 234 geq->is_rgb = !geq->expr_str[Y]; in geq_init() 236 …if ((geq->expr_str[Y] || geq->expr_str[U] || geq->expr_str[V]) && (geq->expr_str[G] || geq->expr_s… in geq_init() 242 if (!geq->expr_str[U] && !geq->expr_str[V]) { in geq_init() 244 geq->expr_str[U] = av_strdup(geq->expr_str[Y]); in geq_init() 245 geq->expr_str[V] = av_strdup(geq->expr_str[Y]); in geq_init() 248 if (!geq->expr_str[U]) geq->expr_str[U] = av_strdup(geq->expr_str[V]); in geq_init() 249 if (!geq->expr_str[V]) geq->expr_str[V] = av_strdup(geq->expr_str[U]); in geq_init() 265 (!geq->expr_str[G] || !geq->expr_str[B] || !geq->expr_str[R]) in geq_init() 267 (!geq->expr_str[U] || !geq->expr_str[V] || !geq->expr_str[A])) { in geq_init() [all …]
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/ffmpeg/libavfilter/ |
H A D | vf_geq.c | 229 if (!geq->expr_str[Y] && !geq->expr_str[G] && !geq->expr_str[B] && !geq->expr_str[R]) { in geq_init() 234 geq->is_rgb = !geq->expr_str[Y]; in geq_init() 236 …if ((geq->expr_str[Y] || geq->expr_str[U] || geq->expr_str[V]) && (geq->expr_str[G] || geq->expr_s… in geq_init() 242 if (!geq->expr_str[U] && !geq->expr_str[V]) { in geq_init() 244 geq->expr_str[U] = av_strdup(geq->expr_str[Y]); in geq_init() 245 geq->expr_str[V] = av_strdup(geq->expr_str[Y]); in geq_init() 248 if (!geq->expr_str[U]) geq->expr_str[U] = av_strdup(geq->expr_str[V]); in geq_init() 249 if (!geq->expr_str[V]) geq->expr_str[V] = av_strdup(geq->expr_str[U]); in geq_init() 265 (!geq->expr_str[G] || !geq->expr_str[B] || !geq->expr_str[R]) in geq_init() 267 (!geq->expr_str[U] || !geq->expr_str[V] || !geq->expr_str[A])) { in geq_init() [all …]
|
/dports/multimedia/gstreamer1-libav/gst-libav-1.16.2/gst-libs/ext/libav/libavfilter/ |
H A D | vf_geq.c | 121 if (!geq->expr_str[Y] && !geq->expr_str[G] && !geq->expr_str[B] && !geq->expr_str[R]) { in geq_init() 126 geq->is_rgb = !geq->expr_str[Y]; in geq_init() 128 …if ((geq->expr_str[Y] || geq->expr_str[U] || geq->expr_str[V]) && (geq->expr_str[G] || geq->expr_s… in geq_init() 134 if (!geq->expr_str[U] && !geq->expr_str[V]) { in geq_init() 136 geq->expr_str[U] = av_strdup(geq->expr_str[Y]); in geq_init() 137 geq->expr_str[V] = av_strdup(geq->expr_str[Y]); in geq_init() 140 if (!geq->expr_str[U]) geq->expr_str[U] = av_strdup(geq->expr_str[V]); in geq_init() 141 if (!geq->expr_str[V]) geq->expr_str[V] = av_strdup(geq->expr_str[U]); in geq_init() 157 (!geq->expr_str[G] || !geq->expr_str[B] || !geq->expr_str[R]) in geq_init() 159 (!geq->expr_str[U] || !geq->expr_str[V] || !geq->expr_str[A])) { in geq_init() [all …]
|
/dports/emulators/vice/vice-3.5/src/lib/libffmpeg/libavfilter/ |
H A D | vf_geq.c | 108 if (!geq->expr_str[Y] && !geq->expr_str[G] && !geq->expr_str[B] && !geq->expr_str[R]) { in geq_init() 113 geq->is_rgb = !geq->expr_str[Y]; in geq_init() 115 …if ((geq->expr_str[Y] || geq->expr_str[U] || geq->expr_str[V]) && (geq->expr_str[G] || geq->expr_s… in geq_init() 121 if (!geq->expr_str[U] && !geq->expr_str[V]) { in geq_init() 123 geq->expr_str[U] = av_strdup(geq->expr_str[Y]); in geq_init() 124 geq->expr_str[V] = av_strdup(geq->expr_str[Y]); in geq_init() 127 if (!geq->expr_str[U]) geq->expr_str[U] = av_strdup(geq->expr_str[V]); in geq_init() 128 if (!geq->expr_str[V]) geq->expr_str[V] = av_strdup(geq->expr_str[U]); in geq_init() 141 (!geq->expr_str[G] || !geq->expr_str[B] || !geq->expr_str[R]) in geq_init() 143 (!geq->expr_str[U] || !geq->expr_str[V] || !geq->expr_str[A])) { in geq_init() [all …]
|
/dports/emulators/libretro-vice/vice-libretro-5725415/vice/src/lib/libffmpeg/libavfilter/ |
H A D | vf_geq.c | 108 if (!geq->expr_str[Y] && !geq->expr_str[G] && !geq->expr_str[B] && !geq->expr_str[R]) { in geq_init() 113 geq->is_rgb = !geq->expr_str[Y]; in geq_init() 115 …if ((geq->expr_str[Y] || geq->expr_str[U] || geq->expr_str[V]) && (geq->expr_str[G] || geq->expr_s… in geq_init() 121 if (!geq->expr_str[U] && !geq->expr_str[V]) { in geq_init() 123 geq->expr_str[U] = av_strdup(geq->expr_str[Y]); in geq_init() 124 geq->expr_str[V] = av_strdup(geq->expr_str[Y]); in geq_init() 127 if (!geq->expr_str[U]) geq->expr_str[U] = av_strdup(geq->expr_str[V]); in geq_init() 128 if (!geq->expr_str[V]) geq->expr_str[V] = av_strdup(geq->expr_str[U]); in geq_init() 141 (!geq->expr_str[G] || !geq->expr_str[B] || !geq->expr_str[R]) in geq_init() 143 (!geq->expr_str[U] || !geq->expr_str[V] || !geq->expr_str[A])) { in geq_init() [all …]
|
/dports/math/reduce/Reduce-svn5758-src/packages/foreign/gurobi/ |
H A D | gurobi.tst | 5 gurobi_addconstraintfast('geq, {-2, -2}, -3); 6 gurobi_addconstraintfast('geq, {1, 0}, 1); 7 gurobi_addconstraintfast('geq, {0, 1}, 1); 23 gurobi_addconstraintfast('geq, {3, 2}, 1); 24 gurobi_addconstraintfast('geq, {2, 0}, 1); 25 gurobi_addconstraintfast('geq, {0, 2}, 1); 35 gurobi_addconstraintfast('geq, {3, 2}, 1); 36 gurobi_addconstraintfast('geq, {2, 0}, 1); 37 gurobi_addconstraintfast('geq, {0, 2}, 1);
|
/dports/audio/rhvoice/RHVoice-1.2.4/src/third-party/cldr/tools/java/org/unicode/cldr/util/ |
H A D | UnitPreferences.java | 30 public final Rational geq; field in UnitPreferences.UnitPreference 34 public UnitPreference(Rational geq, String unit, String skeleton) { in UnitPreference() argument 35 this.geq = geq; in UnitPreference() 42 int diff = geq.compareTo(o.geq); in compareTo() 54 return Objects.hash(geq, unit); in hashCode() 68 …public void add(String quantity, String usage, String regions, String geq, String skeleton, String… in add() argument 78 Rational newGeq = geq == null || geq.isEmpty() ? Rational.ONE : Rational.of(geq); in add() 144 + (geq == Rational.ONE ? "" : "[@geq=\"" + geq + "\"]") in getPath() 170 Rational geq = converter.parseRational(String.valueOf(up.geq)); in getFastMap() local 171 Rational value = converter.convert(geq, unit, baseUnit, false); in getFastMap() [all …]
|
/dports/lang/yap/yap-6.2.2/packages/chr/Benchmarks/ |
H A D | ta.chr | 12 X := N geq(X,N) 95 geq(X,N1) \ geq(X,N2) <=> N2 =< N1 | true. 102 dist(X,Y,D), geq(X,MX) \ geq(Y,MY1) <=> 138 geq(X,M) 169 geq(X,M). 189 fincl(X,Y), geq(X,N) ==> geq(Y,N). 191 bincl(X,Y), geq(X,N) ==> geq(Y,N). 235 geq(X1,0), 236 geq(X2,0), 287 geq(Y4,2), [all …]
|
/dports/lang/swi-pl/swipl-8.2.3/packages/chr/Benchmarks/ |
H A D | ta.chr | 12 X := N geq(X,N) 95 geq(X,N1) \ geq(X,N2) <=> N2 =< N1 | true. 102 dist(X,Y,D), geq(X,MX) \ geq(Y,MY1) <=> 138 geq(X,M) 169 geq(X,M). 189 fincl(X,Y), geq(X,N) ==> geq(Y,N). 191 bincl(X,Y), geq(X,N) ==> geq(Y,N). 235 geq(X1,0), 236 geq(X2,0), 287 geq(Y4,2), [all …]
|
/dports/math/gap/gap-4.11.0/pkg/NConvex-2019.12.10/examples/ |
H A D | linear_program.g | 9 #! $y \geq -x+200\newline\newline$ 10 #! We bring the inequalities to the form $b+AX\geq 0$, we get: 11 #! $\newline -100+x\geq 0 \newline$ 12 #! $200-x \geq 0 \newline$ 13 #! $-80+y \geq 0 \newline$ 14 #! $170 -y \geq 0 \newline$ 15 #! $-200 +x+y \geq 0 \newline$
|
/dports/math/reduce/Reduce-svn5758-src/packages/redlog/ofsf/ |
H A D | ofsfbnf.red | 144 (neq . drop) (geq . drop) (greaterp . drop))) 146 (neq . drop) (geq . keep1) (greaterp . geq))) 220 (neq . neq) (geq . geq) (greaterp . false))) 224 (neq . true) (geq . geq) (greaterp . geq))) 226 (neq . neq) (geq . true) (greaterp . neq))) 302 (neq . nil) (geq . nil) (greaterp . nil))) 304 (neq . nil) (geq . t) (greaterp . nil))) 306 (neq . t) (geq . nil) (greaterp . nil))) 308 (neq . nil) (geq . t) (greaterp . nil))) 310 (neq . t) (geq . t) (greaterp . t)))); [all …]
|
H A D | ofsfvslists-alists.red | 115 {1, -1, 'geq} . { 120 {1, nil, 'geq} . { 129 {1, 1, 'geq} . { 280 {2, -1, 'geq} . { 292 {2, nil, 'geq} . { 306 {2, 1, 'geq} . { 553 {3, -1, 'geq} . { 592 {3, 1, 'geq} . { 764 {1, 1, 'geq} . { 905 {2, 1, 'geq} . { [all …]
|
/dports/cad/jspice3/jspice3-2.5/src/lib/dev/dio/ |
H A D | dioacld.c | 23 double geq; local 35 geq = here->DIOgd; 39 *(here->DIOnegNegPtr ) += geq; 41 *(here->DIOposPrimePosPrimePtr ) += geq + gspr; 44 *(here->DIOnegPosPrimePtr ) -= geq; 47 *(here->DIOposPrimeNegPtr ) -= geq;
|
H A D | diopzld.c | 23 double geq; local 35 geq = here->DIOgd; 39 *(here->DIOnegNegPtr ) += geq + xceq*s->real; 41 *(here->DIOposPrimePosPrimePtr ) += geq + gspr + xceq*s->real; 44 *(here->DIOnegPosPrimePtr ) -= geq + xceq*s->real; 47 *(here->DIOposPrimeNegPtr ) -= geq + xceq*s->real;
|
/dports/math/gap/gap-4.11.0/pkg/CddInterface-2020.01.01/examples/ |
H A D | linear_programs.g | 6 #! $$100\leq x \leq 200,80\leq y\leq 170,y \geq -x+200.$$ 7 #! We bring the inequalities to the form $b+AX\geq 0$ and get: 8 #! $$-100+x\geq 0, 200-x \geq 0, -80+y \geq 0, 170 -y \geq 0,-200 +x+y \geq 0.$$
|
/dports/cad/ngspice_rework/ngspice-35/src/spicelib/devices/dio/ |
H A D | diopzld.c | 22 double geq; in DIOpzLoad() local 33 geq= *(ckt->CKTstate0 + here->DIOconduct); in DIOpzLoad() 36 *(here->DIOnegNegPtr ) += geq + xceq * s->real; in DIOpzLoad() 38 *(here->DIOposPrimePosPrimePtr ) += geq + gspr + xceq * s->real; in DIOpzLoad() 41 *(here->DIOnegPosPrimePtr ) -= geq + xceq * s->real; in DIOpzLoad() 44 *(here->DIOposPrimeNegPtr ) -= geq + xceq * s->real; in DIOpzLoad()
|
H A D | dioacld.c | 21 double geq; in DIOacLoad() local 32 geq= *(ckt->CKTstate0 + here->DIOconduct); in DIOacLoad() 35 *(here->DIOnegNegPtr ) += geq; in DIOacLoad() 37 *(here->DIOposPrimePosPrimePtr ) += geq+gspr; in DIOacLoad() 40 *(here->DIOnegPosPrimePtr ) -= geq; in DIOacLoad() 43 *(here->DIOposPrimeNegPtr ) -= geq; in DIOacLoad()
|
/dports/print/easylatex/easylatex-0.08/testFiles/ |
H A D | nakedEqnsInequalities.tex.correct | 15 \\a &\geq d 33 \\ \textrm{if $m \geq n$, } && c(v_1 v_2 \ldots v_{n-1} v_n) &\geq c(v_1 v_2 \ldots v_{n-1} v_m) 34 \\&& c(v_a v_b \ldots v_c, v_x v_y \ldots v_z) + c(v_d v_e \ldots v_f, v_q v_r \ldots v_s) &\geq c… 41 \\ \textrm{if $m \geq n$, } && d &\geq e 42 \\&& f &\geq g
|
/dports/cad/ngspice_rework/ngspice-35/src/spicelib/devices/cap/ |
H A D | capload.c | 24 double geq; in CAPload() local 67 error = NIintegrate(ckt,&geq,&ceq,here->CAPcapac, in CAPload() 74 *(here->CAPposPosPtr) += m * geq; in CAPload() 75 *(here->CAPnegNegPtr) += m * geq; in CAPload() 76 *(here->CAPposNegPtr) -= m * geq; in CAPload() 77 *(here->CAPnegPosPtr) -= m * geq; in CAPload()
|
/dports/math/pari/pari-2.13.3/src/functions/sums/ |
H A D | sumnumlagrangeinit | 8 default, assume that the remainder $R(n) = \sum_{m \geq n} f(m)$ 10 $$R(n) = \sum_{m \geq n} f(n) \approx \sum_{i\geq 1} a_i / n^i$$ 15 $$ R(n) = n^{-\beta} \sum_{i\geq 1} a_i / n^i $$ 18 $$R(n) = g(n) \sum_{i\geq 1} a_i / n^i$$ 24 $$R_\alpha(n) = g(n) \sum_{i\geq 1} a_i / n^{i\alpha}$$ 60 $R_1(n)$ is of the form $n^{-1/3} \sum_{i\geq 0} a_i / n^i$, i.e. 61 $n^{2/3} \sum_{i\geq 1} a_i / n^i$. The explains the wrong result
|
/dports/math/reduce/Reduce-svn5758-src/csl/embedded/ |
H A D | u55.lsp | 53 false) (geq 1) (leq 1) (greaterp false) (lessp false) (cong 1) (ncong 54 false)) (neq (equal false) (neq 1) (geq 3 . greaterp) (leq 3 . lessp) ( 55 greaterp 2) (lessp 2) (cong nil) (ncong 2)) (geq (equal 2) (neq 3 . 56 greaterp) (geq 1) (leq 3 . equal) (greaterp 2) (lessp false) (cong nil) 57 (ncong 5 . greaterp)) (leq (equal 2) (neq 3 . lessp) (geq 3 . equal) ( 59 greaterp (equal false) (neq 1) (geq 1) (leq false) (greaterp 1) (lessp 60 false) (cong nil) (ncong nil)) (lessp (equal false) (neq 1) (geq false) 62 2) (neq nil) (geq nil) (leq nil) (greaterp nil) (lessp nil) (cong 1) ( 63 ncong false)) (ncong (equal false) (neq 1) (geq 4 . greaterp) (leq 4 . 98 (c!:install 'ofsf_mkstrict '(ofsf_mkstrict leq lessp geq greaterp) [all …]
|