| /dports/math/reduce/Reduce-svn5758-src/packages/redlog/regressions/reals/rlgqe/ |
| H A D | sl9.rlg | 55 or u1 *u2 + u2 - u2 < 0 or (u1 <> 0 and u1 *u2 - 3*u1 *u2 + 5*u1 *u2
58 - 25*u1 *u2 - 9*u1 *u2 + 3*u1 *u2 + 10*u1 *u2 - 92*u1 *u2 + 90*u1 *u2
73 + 70*u1*u2 + 13*u1*u2 - 21*u1*u2 + 3*u2 - 13*u2 - 2*u2 + 38*u2 + 15*u2
112 + 3*u1 *u2 + u1*u2 + u1*u2 - u1*u2 - u1*u2 + 3*u2 + 5*u2 + u2 - u2 > 0
214 - 21*u1*u2 + 3*u2 - 13*u2 - 2*u2 + 38*u2 + 15*u2 - 9*u2 > 0 and u1 *u2
253 + 3*u1 *u2 + u1*u2 + u1*u2 - u1*u2 - u1*u2 + 3*u2 + 5*u2 + u2 - u2 > 0
361 + u1 *u2 - 4*u1 *u2 + 3*u1 *u2 + u1*u2 + u1*u2 - u1*u2 - u1*u2 + 3*u2
654 + 3*u1 *u2 + u1*u2 + u1*u2 - u1*u2 - u1*u2 + 3*u2 + 5*u2 + u2 - u2 > 0
819 + 3*u1 *u2 + u1*u2 + u1*u2 - u1*u2 - u1*u2 + 3*u2 + 5*u2 + u2 - u2 < 0
960 + 3*u1 *u2 + u1*u2 + u1*u2 - u1*u2 - u1*u2 + 3*u2 + 5*u2 + u2 - u2 < 0
[all …]
|
| /dports/databases/pg_citus/citus-10.2.3/src/test/regress/sql/ |
| H A D | recursive_relation_planning_restriction_pushdown.sql | 72 WHERE ARRAY[u2.key, u2.value] @> (ARRAY[2, 3]);
92 WHERE (CASE WHEN u2.value > 3 THEN u2.value > 2 ELSE false END);
134 WHERE int4smaller(u2.key, u2.value) = u2.key;
140 WHERE row(u2.value, 2, 3) > row(u2.value, 2, 3);
162 WHERE u2.value >
207 WHERE u2.value > 4 OR u2.value = 4;
213 WHERE u2.value > 2 and u2.time IS NULL;
221 WHERE (u2.value > 2 OR u2.value IS NULL) AND (u2.key > 4 OR u1.key > 3);
228 WHERE (u2.value > 2 OR u2.value IS NULL) OR (u2.key > 4 OR u1.key > 3);
236 WHERE (u2.value > 2 OR u2.value IS NULL) AND (u2.key > 4 OR u1.key > 3);
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/packages/geometry/ |
| H A D | old-geometry.rlg | 166 h := {u2,(u2*(u1 - u2))/u3}$
256 *u1*x2 + u2**3*x1**2 - 2*u2**3*x1 - u2**3*x2**2 + u2**3 + 2*u2**2*x1*x2 - 2*u2**
280 u1**2*u2 - 2*u1*u2 + 2*u2)*x2 - (u1*u2**2 - u2**2)}$
626 + u2**2*x1*x4 + 2*u2**2*x1 - u2**2*x2*x3 + 2*u2**2*x3 - 2*u2*x1*x4 + 2*u2*x2*x3
743 u2*u4*u5*u7 + u2*u4*u5*u9 + u2*u4*u7*x2 - u2*u4*u9*x2 + u2*u5*u7*x1 - u2*u5*u9*
900 *u2**2*x7 + u2**2*x8**2 - 4*u2**2*x9 - 4*u2**2 - 2*u2*x7*x8 - 4*u2*x8 + x7**2 -
1399 (2*u1*u2**2 - u2**3 - u2**2*u4 - u2*u3**2 - u3**2*u4)*x7 - (2*u1*u2**2 - u2**3 -
1401 (2*u1*u2**2 - u2**3 - u2**2*u4 - u2*u3**2 - u3**2*u4)*x6 + (2*u1*u2**2 - u2**3 -
1455 u1*u2 + 2*u1*u3 + u2**2*u3**2 + 4*u2**2 - 2*u2*u3 + 1)/(u1**2*u2**2 - 2*u1**2*u2
1558 u2*x1**2 - u2*x2**2))/u2$
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/packages/cdiff/examples/Denominators/ |
| H A D | KdV_denom_2_res.red | 2 phi := aa21**2*( - 120*aa21**4*u**5*u2**5 - 600*aa21**4*u**4*u1**2*u2**4 - 600*
3 aa21**4*u**4*u2**4*u4 - 1200*aa21**4*u**3*u1**4*u2**3 - 2400*aa21**4*u**3*u1**2*
4 u2**3*u4 - 1200*aa21**4*u**3*u2**3*u4**2 - 1200*aa21**4*u**2*u1**6*u2**2 - 3600*
5 aa21**4*u**2*u1**4*u2**2*u4 - 3600*aa21**4*u**2*u1**2*u2**2*u4**2 - 1200*aa21**4
6 *u**2*u2**2*u4**3 - 600*aa21**4*u*u1**8*u2 - 2400*aa21**4*u*u1**6*u2*u4 - 3600*
7 aa21**4*u*u1**4*u2*u4**2 - 2400*aa21**4*u*u1**2*u2*u4**3 - 600*aa21**4*u*u2*u4**
10 u**4*u2**3*u3 + 720*aa21**3*u**3*u1**2*u2**2*u3 + 720*aa21**3*u**3*u1*u2**4 +
12 4*u2*u3 + 2160*aa21**3*u**2*u1**3*u2**3 + 720*aa21**3*u**2*u1**2*u2**2*u5 + 1440
21 u2**2*u4 - 90*aa21**2*u**3*u2*u3**2 - 120*aa21**2*u**2*u1**2*u2*u4 - 90*aa21**2*
23 aa21**2*u**2*u2**2*u6 - 180*aa21**2*u**2*u2*u3*u5 - 120*aa21**2*u**2*u2*u4**2 -
[all …]
|
| /dports/math/freefem++/FreeFem-sources-4.6/examples/hpddm/ |
| H A D | neo-Hookean-2d-PETSc.edp | 33 F11(u1, u2)*F22(u1, u2) - F12(u1, u2)*F21(u1, u2)
38 F22(u1, u2) / J(u1, u2)
41 F11(u1, u2) / J(u1, u2)
44 -F12(u1, u2) / J(u1, u2)
47 -F21(u1, u2) / J(u1, u2)
52 Finv11(u1, u2)^2 + Finv12(u1, u2)*Finv21(u1, u2)
56 Finv12(u1, u2)*(Finv11(u1, u2) + Finv22(u1, u2))
60 Finv21(u1, u2)*(Finv11(u1, u2) + Finv22(u1, u2))
64 Finv12(u1, u2)*Finv21(u1, u2) + Finv22(u1, u2)^2
80 F11(u1, u2)*F21(u1, u2) + F12(u1, u2)*F22(u1, u2)
[all …]
|
| /dports/editors/hte/ht-e9e63373148da5d7df397d8075740d8c096ecb1d/ |
| H A D | class.h | 84 u2 start_pc;
85 u2 end_pc;
86 u2 handler_pc;
87 u2 catch_type;
92 u2 tag;
93 u2 name;
97 u2 max_stack;
104 u2 signature;
111 u2 flags;
124 u2 cpool_count;
[all …]
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/gcc.c-torture/execute/builtins/ |
| H A D | memset-chk.c | 247 } u2; variable
254 u2.buf[i] = 'a'; in reset()
262 q = u2.buf; in check()
567 if (p != u2.buf) abort (); in test6()
570 p = memset (u2.buf, A, len); in test6()
571 if (p != u2.buf) abort (); in test6()
575 if (p != u2.buf) abort (); in test6()
585 if (p != u2.buf+1) abort (); in test6()
589 if (p != u2.buf+1) abort (); in test6()
593 if (p != u2.buf+1) abort (); in test6()
[all …]
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gcc.c-torture/execute/builtins/ |
| H A D | memset-chk.c | 247 } u2; variable
254 u2.buf[i] = 'a'; in reset()
262 q = u2.buf; in check()
567 if (p != u2.buf) abort (); in test6()
570 p = memset (u2.buf, A, len); in test6()
571 if (p != u2.buf) abort (); in test6()
575 if (p != u2.buf) abort (); in test6()
585 if (p != u2.buf+1) abort (); in test6()
589 if (p != u2.buf+1) abort (); in test6()
593 if (p != u2.buf+1) abort (); in test6()
[all …]
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/testsuite/gcc.c-torture/execute/builtins/ |
| H A D | memset-chk.c | 247 } u2; variable
254 u2.buf[i] = 'a'; in reset()
262 q = u2.buf; in check()
567 if (p != u2.buf) abort (); in test6()
570 p = memset (u2.buf, A, len); in test6()
571 if (p != u2.buf) abort (); in test6()
575 if (p != u2.buf) abort (); in test6()
585 if (p != u2.buf+1) abort (); in test6()
589 if (p != u2.buf+1) abort (); in test6()
593 if (p != u2.buf+1) abort (); in test6()
[all …]
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/gcc.c-torture/execute/builtins/ |
| H A D | memset-chk.c | 247 } u2; variable
254 u2.buf[i] = 'a'; in reset()
262 q = u2.buf; in check()
567 if (p != u2.buf) abort (); in test6()
570 p = memset (u2.buf, A, len); in test6()
571 if (p != u2.buf) abort (); in test6()
575 if (p != u2.buf) abort (); in test6()
585 if (p != u2.buf+1) abort (); in test6()
589 if (p != u2.buf+1) abort (); in test6()
593 if (p != u2.buf+1) abort (); in test6()
[all …]
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gcc.c-torture/execute/builtins/ |
| H A D | memset-chk.c | 247 } u2; variable
254 u2.buf[i] = 'a'; in reset()
262 q = u2.buf; in check()
567 if (p != u2.buf) abort (); in test6()
570 p = memset (u2.buf, A, len); in test6()
571 if (p != u2.buf) abort (); in test6()
575 if (p != u2.buf) abort (); in test6()
585 if (p != u2.buf+1) abort (); in test6()
589 if (p != u2.buf+1) abort (); in test6()
593 if (p != u2.buf+1) abort (); in test6()
[all …]
|
| /dports/lang/gcc48/gcc-4.8.5/gcc/testsuite/gcc.c-torture/execute/builtins/ |
| H A D | memset-chk.c | 247 } u2; variable
254 u2.buf[i] = 'a'; in reset()
262 q = u2.buf; in check()
567 if (p != u2.buf) abort (); in test6()
570 p = memset (u2.buf, A, len); in test6()
571 if (p != u2.buf) abort (); in test6()
575 if (p != u2.buf) abort (); in test6()
585 if (p != u2.buf+1) abort (); in test6()
589 if (p != u2.buf+1) abort (); in test6()
593 if (p != u2.buf+1) abort (); in test6()
[all …]
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gcc.c-torture/execute/builtins/ |
| H A D | memset-chk.c | 247 } u2; variable
254 u2.buf[i] = 'a'; in reset()
262 q = u2.buf; in check()
567 if (p != u2.buf) abort (); in test6()
570 p = memset (u2.buf, A, len); in test6()
571 if (p != u2.buf) abort (); in test6()
575 if (p != u2.buf) abort (); in test6()
585 if (p != u2.buf+1) abort (); in test6()
589 if (p != u2.buf+1) abort (); in test6()
593 if (p != u2.buf+1) abort (); in test6()
[all …]
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/gcc.c-torture/execute/builtins/ |
| H A D | memset-chk.c | 247 } u2; variable
254 u2.buf[i] = 'a'; in reset()
262 q = u2.buf; in check()
567 if (p != u2.buf) abort (); in test6()
570 p = memset (u2.buf, A, len); in test6()
571 if (p != u2.buf) abort (); in test6()
575 if (p != u2.buf) abort (); in test6()
585 if (p != u2.buf+1) abort (); in test6()
589 if (p != u2.buf+1) abort (); in test6()
593 if (p != u2.buf+1) abort (); in test6()
[all …]
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.c-torture/execute/builtins/ |
| H A D | memset-chk.c | 247 } u2; variable
254 u2.buf[i] = 'a'; in reset()
262 q = u2.buf; in check()
567 if (p != u2.buf) abort (); in test6()
570 p = memset (u2.buf, A, len); in test6()
571 if (p != u2.buf) abort (); in test6()
575 if (p != u2.buf) abort (); in test6()
585 if (p != u2.buf+1) abort (); in test6()
589 if (p != u2.buf+1) abort (); in test6()
593 if (p != u2.buf+1) abort (); in test6()
[all …]
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/gcc.c-torture/execute/builtins/ |
| H A D | memset-chk.c | 247 } u2; variable
254 u2.buf[i] = 'a'; in reset()
262 q = u2.buf; in check()
567 if (p != u2.buf) abort (); in test6()
570 p = memset (u2.buf, A, len); in test6()
571 if (p != u2.buf) abort (); in test6()
575 if (p != u2.buf) abort (); in test6()
585 if (p != u2.buf+1) abort (); in test6()
589 if (p != u2.buf+1) abort (); in test6()
593 if (p != u2.buf+1) abort (); in test6()
[all …]
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.c-torture/execute/builtins/ |
| H A D | memset-chk.c | 247 } u2; variable
254 u2.buf[i] = 'a'; in reset()
262 q = u2.buf; in check()
567 if (p != u2.buf) abort (); in test6()
570 p = memset (u2.buf, A, len); in test6()
571 if (p != u2.buf) abort (); in test6()
575 if (p != u2.buf) abort (); in test6()
585 if (p != u2.buf+1) abort (); in test6()
589 if (p != u2.buf+1) abort (); in test6()
593 if (p != u2.buf+1) abort (); in test6()
[all …]
|
| /dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/gcc.c-torture/execute/builtins/ |
| H A D | memset-chk.c | 247 } u2; variable
254 u2.buf[i] = 'a'; in reset()
262 q = u2.buf; in check()
567 if (p != u2.buf) abort (); in test6()
570 p = memset (u2.buf, A, len); in test6()
571 if (p != u2.buf) abort (); in test6()
575 if (p != u2.buf) abort (); in test6()
585 if (p != u2.buf+1) abort (); in test6()
589 if (p != u2.buf+1) abort (); in test6()
593 if (p != u2.buf+1) abort (); in test6()
[all …]
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.c-torture/execute/builtins/ |
| H A D | memset-chk.c | 247 } u2; variable
254 u2.buf[i] = 'a'; in reset()
262 q = u2.buf; in check()
567 if (p != u2.buf) abort (); in test6()
570 p = memset (u2.buf, A, len); in test6()
571 if (p != u2.buf) abort (); in test6()
575 if (p != u2.buf) abort (); in test6()
585 if (p != u2.buf+1) abort (); in test6()
589 if (p != u2.buf+1) abort (); in test6()
593 if (p != u2.buf+1) abort (); in test6()
[all …]
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gcc.c-torture/execute/builtins/ |
| H A D | memset-chk.c | 247 } u2; variable
254 u2.buf[i] = 'a'; in reset()
262 q = u2.buf; in check()
567 if (p != u2.buf) abort (); in test6()
570 p = memset (u2.buf, A, len); in test6()
571 if (p != u2.buf) abort (); in test6()
575 if (p != u2.buf) abort (); in test6()
585 if (p != u2.buf+1) abort (); in test6()
589 if (p != u2.buf+1) abort (); in test6()
593 if (p != u2.buf+1) abort (); in test6()
[all …]
|
| /dports/lang/gcc8/gcc-8.5.0/gcc/testsuite/gcc.c-torture/execute/builtins/ |
| H A D | memset-chk.c | 247 } u2; variable
254 u2.buf[i] = 'a'; in reset()
262 q = u2.buf; in check()
567 if (p != u2.buf) abort (); in test6()
570 p = memset (u2.buf, A, len); in test6()
571 if (p != u2.buf) abort (); in test6()
575 if (p != u2.buf) abort (); in test6()
585 if (p != u2.buf+1) abort (); in test6()
589 if (p != u2.buf+1) abort (); in test6()
593 if (p != u2.buf+1) abort (); in test6()
[all …]
|
| /dports/lang/gnat_util/gcc-6-20180516/gcc/testsuite/gcc.c-torture/execute/builtins/ |
| H A D | memset-chk.c | 247 } u2; variable
254 u2.buf[i] = 'a'; in reset()
262 q = u2.buf; in check()
567 if (p != u2.buf) abort (); in test6()
570 p = memset (u2.buf, A, len); in test6()
571 if (p != u2.buf) abort (); in test6()
575 if (p != u2.buf) abort (); in test6()
585 if (p != u2.buf+1) abort (); in test6()
589 if (p != u2.buf+1) abort (); in test6()
593 if (p != u2.buf+1) abort (); in test6()
[all …]
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/gcc.c-torture/execute/builtins/ |
| H A D | memset-chk.c | 247 } u2; variable
254 u2.buf[i] = 'a'; in reset()
262 q = u2.buf; in check()
567 if (p != u2.buf) abort (); in test6()
570 p = memset (u2.buf, A, len); in test6()
571 if (p != u2.buf) abort (); in test6()
575 if (p != u2.buf) abort (); in test6()
585 if (p != u2.buf+1) abort (); in test6()
589 if (p != u2.buf+1) abort (); in test6()
593 if (p != u2.buf+1) abort (); in test6()
[all …]
|
| /dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/gcc.c-torture/execute/builtins/ |
| H A D | memset-chk.c | 247 } u2; variable
254 u2.buf[i] = 'a'; in reset()
262 q = u2.buf; in check()
567 if (p != u2.buf) abort (); in test6()
570 p = memset (u2.buf, A, len); in test6()
571 if (p != u2.buf) abort (); in test6()
575 if (p != u2.buf) abort (); in test6()
585 if (p != u2.buf+1) abort (); in test6()
589 if (p != u2.buf+1) abort (); in test6()
593 if (p != u2.buf+1) abort (); in test6()
[all …]
|
| /dports/devel/mingw32-gcc/gcc-4.8.1/gcc/testsuite/gcc.c-torture/execute/builtins/ |
| H A D | memset-chk.c | 247 } u2; variable
254 u2.buf[i] = 'a'; in reset()
262 q = u2.buf; in check()
567 if (p != u2.buf) abort (); in test6()
570 p = memset (u2.buf, A, len); in test6()
571 if (p != u2.buf) abort (); in test6()
575 if (p != u2.buf) abort (); in test6()
585 if (p != u2.buf+1) abort (); in test6()
589 if (p != u2.buf+1) abort (); in test6()
593 if (p != u2.buf+1) abort (); in test6()
[all …]
|