Home
last modified time | relevance | path

Searched refs:d1 (Results 1 – 25 of 13340) sorted by relevance

12345678910>>...534

/dports/math/reduce/Reduce-svn5758-src/packages/redlog/regressions/reals/rltab/
H A Drp3sol.rlg8 d1 > 0 and d1 - 1 <= 0 and a - 1 > 0 and a - d1 = 0 and a + d1 - 1 = 0 and a + 2
9 *d1 - 2 < 0 and a + 2*d1 - 1 >= 0 and (d1 - 1 = 0 or 2*d1 - 1 < 0) or d1 > 0 and
16 a - 2*d1 > 0 and a - d1 >= 0 and a - d1 - 1 < 0 and a + d1 - 1 = 0 and 2*a - d1
140 or d1 = 0 and d1 < 0 and d1 > 0 and d1 - 1 < 0 and a - 1 = 0 or d1 > 0 and d1 -
222 or (d1 = 0 and d1 < 0 and d1 > 0 and d1 - 1 <= 0 and d1 - 1 < 0 and d1 + 1 > 0)
226 or (d1 = 0 and d1 < 0 and d1 > 0 and d1 - 1 < 0 and d1 + 1 > 0) or (d1 = 0
242 and (d1 = 0 or d1 - 1 = 0)) or (d1 <= 0 and d1 < 0 and d1 >= 0 and d1 > 0
246 d1 <= 0 and d1 < 0 and d1 >= 0 and d1 > 0 and d1 - 1 < 0 and d1 + 1 >= 0
248 and (d1 = 0 or d1 > 0 or d1 + 1 = 0)) or (d1 <= 0 and d1 < 0 and d1 > 0
252 or (d1 <= 0 and d1 < 0 and d1 > 0 and d1 - 1 <= 0 and (d1 = 0 or d1 - 1 = 0))
[all …]
H A Drp3sol.tst4 d1 > 0 and d1 - 1 <= 0 and a - 1 > 0 and a - d1 = 0 and a + d1 - 1 = 0 and a + 2
5 *d1 - 2 < 0 and a + 2*d1 - 1 >= 0 and (d1 - 1 = 0 or 2*d1 - 1 < 0) or d1 > 0 and
12 a - 2*d1 > 0 and a - d1 >= 0 and a - d1 - 1 < 0 and a + d1 - 1 = 0 and 2*a - d1
28 and a - d1 = 0 and a + d1 - 2 < 0 and a + 2*d1 - 4 = 0 or d1 > 0 and d1 - 1 < 0
31 d1 > 0 and a - d1 = 0 and a + d1 - 1 >= 0 and (d1 - 1 = 0 or 2*d1 - 1 < 0) and (
32 d1 - 1 = 0 or a + d1 - 1 = 0) and (2*d1 - 1 > 0 or a + d1 - 1 = 0) or d1 - 1 > 0
54 d1 - 1 = 0) or d1 <= 0 and d1 < 0 and d1 > 0 and 2*d1 - 1 < 0 and a - 1 = 0 or
60 + 2*d1 - 2 = 0 or d1 - 1 < 0 and a + 2*d1 - 2 < 0) and (d1 - 1 = 0 or a - d1 = 0
64 d1 - 2 <= 0) and (d1 - 1 = 0 or 2*d1 - 1 < 0 or a + 2*d1 - 2 <= 0) and (d1 - 1 =
67 d1 - 1 = 0 or a + d1 - 1 = 0) and (a + d1 - 2 = 0 or a + d1 - 1 = 0 or 2*d1 - 1
[all …]
/dports/math/reduce/Reduce-svn5758-src/packages/redlog/regressions/reals/rlgsn/
H A Drp3sol.tst4 d1 > 0 and d1 - 1 <= 0 and a - 1 > 0 and a - d1 = 0 and a + d1 - 1 = 0 and a + 2
5 *d1 - 2 < 0 and a + 2*d1 - 1 >= 0 and (d1 - 1 = 0 or 2*d1 - 1 < 0) or d1 > 0 and
12 a - 2*d1 > 0 and a - d1 >= 0 and a - d1 - 1 < 0 and a + d1 - 1 = 0 and 2*a - d1
28 and a - d1 = 0 and a + d1 - 2 < 0 and a + 2*d1 - 4 = 0 or d1 > 0 and d1 - 1 < 0
31 d1 > 0 and a - d1 = 0 and a + d1 - 1 >= 0 and (d1 - 1 = 0 or 2*d1 - 1 < 0) and (
32 d1 - 1 = 0 or a + d1 - 1 = 0) and (2*d1 - 1 > 0 or a + d1 - 1 = 0) or d1 - 1 > 0
54 d1 - 1 = 0) or d1 <= 0 and d1 < 0 and d1 > 0 and 2*d1 - 1 < 0 and a - 1 = 0 or
60 + 2*d1 - 2 = 0 or d1 - 1 < 0 and a + 2*d1 - 2 < 0) and (d1 - 1 = 0 or a - d1 = 0
64 d1 - 2 <= 0) and (d1 - 1 = 0 or 2*d1 - 1 < 0 or a + 2*d1 - 2 <= 0) and (d1 - 1 =
67 d1 - 1 = 0 or a + d1 - 1 = 0) and (a + d1 - 2 = 0 or a + d1 - 1 = 0 or 2*d1 - 1
[all …]
H A Drp3sol.rlg8 d1 > 0 and d1 - 1 <= 0 and a - 1 > 0 and a - d1 = 0 and a + d1 - 1 = 0 and a + 2
9 *d1 - 2 < 0 and a + 2*d1 - 1 >= 0 and (d1 - 1 = 0 or 2*d1 - 1 < 0) or d1 > 0 and
16 a - 2*d1 > 0 and a - d1 >= 0 and a - d1 - 1 < 0 and a + d1 - 1 = 0 and 2*a - d1
32 and a - d1 = 0 and a + d1 - 2 < 0 and a + 2*d1 - 4 = 0 or d1 > 0 and d1 - 1 < 0
35 d1 > 0 and a - d1 = 0 and a + d1 - 1 >= 0 and (d1 - 1 = 0 or 2*d1 - 1 < 0) and (
36 d1 - 1 = 0 or a + d1 - 1 = 0) and (2*d1 - 1 > 0 or a + d1 - 1 = 0) or d1 - 1 > 0
58 d1 - 1 = 0) or d1 <= 0 and d1 < 0 and d1 > 0 and 2*d1 - 1 < 0 and a - 1 = 0 or
64 + 2*d1 - 2 = 0 or d1 - 1 < 0 and a + 2*d1 - 2 < 0) and (d1 - 1 = 0 or a - d1 = 0
68 d1 - 2 <= 0) and (d1 - 1 = 0 or 2*d1 - 1 < 0 or a + 2*d1 - 2 <= 0) and (d1 - 1 =
71 d1 - 1 = 0 or a + d1 - 1 = 0) and (a + d1 - 2 = 0 or a + d1 - 1 = 0 or 2*d1 - 1
[all …]
/dports/devel/binutils/binutils-2.37/gas/testsuite/gas/mn10300/
H A Dudf.s2 udf00 d0,d1
3 udf01 d0,d1
4 udf02 d0,d1
5 udf03 d0,d1
6 udf04 d0,d1
7 udf05 d0,d1
8 udf06 d0,d1
9 udf07 d0,d1
10 udf08 d0,d1
11 udf09 d0,d1
[all …]
/dports/lang/gnatdroid-binutils-x86/binutils-2.27/gas/testsuite/gas/mn10300/
H A Dudf.s2 udf00 d0,d1
3 udf01 d0,d1
4 udf02 d0,d1
5 udf03 d0,d1
6 udf04 d0,d1
7 udf05 d0,d1
8 udf06 d0,d1
9 udf07 d0,d1
10 udf08 d0,d1
11 udf09 d0,d1
[all …]
/dports/devel/gnulibiberty/binutils-2.37/gas/testsuite/gas/mn10300/
H A Dudf.s2 udf00 d0,d1
3 udf01 d0,d1
4 udf02 d0,d1
5 udf03 d0,d1
6 udf04 d0,d1
7 udf05 d0,d1
8 udf06 d0,d1
9 udf07 d0,d1
10 udf08 d0,d1
11 udf09 d0,d1
[all …]
/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/binutils/gas/testsuite/gas/mn10300/
H A Dudf.s2 udf00 d0,d1
3 udf01 d0,d1
4 udf02 d0,d1
5 udf03 d0,d1
6 udf04 d0,d1
7 udf05 d0,d1
8 udf06 d0,d1
9 udf07 d0,d1
10 udf08 d0,d1
11 udf09 d0,d1
[all …]
/dports/devel/arm-elf-binutils/binutils-2.37/gas/testsuite/gas/mn10300/
H A Dudf.s2 udf00 d0,d1
3 udf01 d0,d1
4 udf02 d0,d1
5 udf03 d0,d1
6 udf04 d0,d1
7 udf05 d0,d1
8 udf06 d0,d1
9 udf07 d0,d1
10 udf08 d0,d1
11 udf09 d0,d1
[all …]
/dports/lang/gnatdroid-binutils/binutils-2.27/gas/testsuite/gas/mn10300/
H A Dudf.s2 udf00 d0,d1
3 udf01 d0,d1
4 udf02 d0,d1
5 udf03 d0,d1
6 udf04 d0,d1
7 udf05 d0,d1
8 udf06 d0,d1
9 udf07 d0,d1
10 udf08 d0,d1
11 udf09 d0,d1
[all …]
/dports/devel/tigcc/tigcc-0.96.b8_10/gnu/binutils-2.16.1/gas/testsuite/gas/mn10300/
H A Dudf.s2 udf00 d0,d1
3 udf01 d0,d1
4 udf02 d0,d1
5 udf03 d0,d1
6 udf04 d0,d1
7 udf05 d0,d1
8 udf06 d0,d1
9 udf07 d0,d1
10 udf08 d0,d1
11 udf09 d0,d1
[all …]
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/binutils/gas/testsuite/gas/mn10300/
H A Dudf.s2 udf00 d0,d1
3 udf01 d0,d1
4 udf02 d0,d1
5 udf03 d0,d1
6 udf04 d0,d1
7 udf05 d0,d1
8 udf06 d0,d1
9 udf07 d0,d1
10 udf08 d0,d1
11 udf09 d0,d1
[all …]
/dports/devel/djgpp-binutils/binutils-2.17/gas/testsuite/gas/mn10300/
H A Dudf.s2 udf00 d0,d1
3 udf01 d0,d1
4 udf02 d0,d1
5 udf03 d0,d1
6 udf04 d0,d1
7 udf05 d0,d1
8 udf06 d0,d1
9 udf07 d0,d1
10 udf08 d0,d1
11 udf09 d0,d1
[all …]
/dports/math/reduce/Reduce-svn5758-src/packages/redlog/regressions/reals/rlqe/
H A Drp3.rlg23 d1 - d3 + y1 - y3 < 0 and d1 + x1 - x3 >= 0 and d1 + y1 - y3 >= 0 or d1
53 (d1 = 0 and d1 < 0 and d1 > 0 and d1 - 1 < 0 and a - 1 = 0) or (d1 <= 0
57 and (d1 >= 0 or 2*d1 + 1 <= 0)) or (d1 > 0 and d1 - 1 <= 0 and a > 0
99 and (d1 - 1 = 0 or 2*d1 - 1 < 0) and (d1 - 1 = 0 or a + d1 - 1 = 0)
111 d1 > 0 and d1 - 1 <= 0 and a > 0 and a - 2*d1 > 0 and a - d1 = 0
123 and 2*a - d1 < 0) or (d1 > 0 and d1 - 1 <= 0 and a > 0 and a - 2*d1 > 0
127 and (d1 - 1 = 0 or a - d1 = 0)) or (d1 > 0 and d1 - 1 <= 0 and a > 0
163 and (d1 - 1 = 0 or a - d1 = 0) and (d1 - 1 = 0 or a + d1 - 1 = 0)
173 and (a + d1 - 1 = 0 or (a - d1 = 0 and a + 2*d1 - 2 = 0))) or (d1 > 0
229 and a + 2*d1 - 1 >= 0 and (d1 - 1 = 0 or 2*d1 - 1 < 0)) or (d1 > 0
[all …]
H A Drp2.rlg35 (d1 > 0 and b > 0 and b - 2*d1 > 0 and b - d1 = 0 and a > 0 and a - d1 = 0
39 and a - d1 = 0 and a - b + d1 = 0) or (d1 > 0 and b > 0 and b - 2*d1 > 0
45 d1 > 0 and b > 0 and b - 2*d1 > 0 and b - d1 >= 0 and a > 0 and a - d1 = 0
47 and a - b + d1 = 0) or (d1 > 0 and b > 0 and b - 2*d1 > 0 and b - d1 >= 0
49 and a > 0 and a - d1 = 0 and a - b + d1 >= 0 and (b - d1 = 0 or a - b + d1 > 0)
55 or (d1 > 0 and b > 0 and b - d1 = 0 and a > 0 and a - 2*d1 > 0 and a - d1 = 0
59 and a - d1 = 0 and a - b - d1 = 0) or (d1 > 0 and b > 0 and b - d1 = 0
61 and a > 0 and a - 2*d1 > 0 and a - d1 = 0 and a - b - d1 <= 0) or (d1 > 0
69 and a > 0 and a - 2*d1 > 0 and a - d1 >= 0 and a - b - d1 = 0) or (d1 > 0
73 and a - b + d1 <= 0 and (b - d1 = 0 or a - b + d1 = 0)) or (d1 > 0 and b > 0
[all …]
/dports/science/plumed/plumed2-2.7.2/regtest/mapping/rt-adapt/
H A Dout-path.pdb.reference3 REMARK ARG=d1.x,d1.y
7 REMARK ARG=d1.x,d1.y
11 REMARK ARG=d1.x,d1.y
15 REMARK ARG=d1.x,d1.y
19 REMARK ARG=d1.x,d1.y
23 REMARK ARG=d1.x,d1.y
27 REMARK ARG=d1.x,d1.y
31 REMARK ARG=d1.x,d1.y
35 REMARK ARG=d1.x,d1.y
39 REMARK ARG=d1.x,d1.y
[all …]
/dports/science/py-chempy/chempy-0.8.2/chempy/util/tests/
H A Dtest_arithmeticdict.py10 d3 = d1 + d2
23 d6 = d1 - d2
31 d2 = d1 + 3
34 d2 = 3 + d1
38 d3 = d1 + d2
46 d1 += 3
54 d2 = d1 - 7
57 d2 = 3 - d1
68 d1 -= 7
91 d1 *= 3
[all …]
/dports/emulators/fs-uae-launcher/fs-uae-launcher-3.0.5/amitools/data/fd/
H A Ddos_lib.fd5 Close(file)(d1)
11 DeleteFile(name)(d1)
14 UnLock(lock)(d1)
15 DupLock(lock)(d1)
19 CreateDir(name)(d1)
20 CurrentDir(lock)(d1)
24 LoadSeg(name)(d1)
33 DateStamp(date)(d1)
34 Delay(timeout)(d1)
57 FGetC(fh)(d1)
[all …]
/dports/java/jfreechart/jfreechart-1.0.17/tests/org/jfree/data/xy/
H A DCategoryTableXYDatasetTest.java71 assertTrue(d1.equals(d2)); in testEquals()
72 assertTrue(d2.equals(d1)); in testEquals()
78 assertTrue(d1.equals(d2)); in testEquals()
91 assertTrue(d1 != d2); in testCloning()
93 assertTrue(d1.equals(d2)); in testCloning()
98 assertTrue(d1.equals(d2)); in testCloning()
103 assertTrue(d1.equals(d2)); in testCloning()
115 d1.setIntervalWidth(1.23); in testCloning2()
118 assertTrue(d1 != d2); in testCloning2()
152 assertEquals(d1, d2); in testSerialization()
[all …]
/dports/databases/postgresql12-client/postgresql-12.9/src/test/regress/sql/
H A Dtimestamp.sql42 SELECT count(d1) AS three, count(DISTINCT d1) AS two FROM TIMESTAMP_TBL;
176 SELECT d1 as "timestamp",
177 date_part( 'year', d1) AS year, date_part( 'month', d1) AS month,
178 date_part( 'day', d1) AS day, date_part( 'hour', d1) AS hour,
179 date_part( 'minute', d1) AS minute, date_part( 'second', d1) AS second
182 SELECT d1 as "timestamp",
183 date_part( 'quarter', d1) AS quarter, date_part( 'msec', d1) AS msec,
187 SELECT d1 as "timestamp",
188 date_part( 'isoyear', d1) AS isoyear, date_part( 'week', d1) AS week,
189 date_part( 'isodow', d1) AS isodow, date_part( 'dow', d1) AS dow,
[all …]
/dports/databases/postgresql12-server/postgresql-12.9/src/test/regress/sql/
H A Dtimestamp.sql42 SELECT count(d1) AS three, count(DISTINCT d1) AS two FROM TIMESTAMP_TBL;
176 SELECT d1 as "timestamp",
177 date_part( 'year', d1) AS year, date_part( 'month', d1) AS month,
178 date_part( 'day', d1) AS day, date_part( 'hour', d1) AS hour,
179 date_part( 'minute', d1) AS minute, date_part( 'second', d1) AS second
182 SELECT d1 as "timestamp",
183 date_part( 'quarter', d1) AS quarter, date_part( 'msec', d1) AS msec,
187 SELECT d1 as "timestamp",
188 date_part( 'isoyear', d1) AS isoyear, date_part( 'week', d1) AS week,
189 date_part( 'isodow', d1) AS isodow, date_part( 'dow', d1) AS dow,
[all …]
/dports/databases/postgresql12-docs/postgresql-12.9/src/test/regress/sql/
H A Dtimestamp.sql42 SELECT count(d1) AS three, count(DISTINCT d1) AS two FROM TIMESTAMP_TBL;
176 SELECT d1 as "timestamp",
177 date_part( 'year', d1) AS year, date_part( 'month', d1) AS month,
178 date_part( 'day', d1) AS day, date_part( 'hour', d1) AS hour,
179 date_part( 'minute', d1) AS minute, date_part( 'second', d1) AS second
182 SELECT d1 as "timestamp",
183 date_part( 'quarter', d1) AS quarter, date_part( 'msec', d1) AS msec,
187 SELECT d1 as "timestamp",
188 date_part( 'isoyear', d1) AS isoyear, date_part( 'week', d1) AS week,
189 date_part( 'isodow', d1) AS isodow, date_part( 'dow', d1) AS dow,
[all …]
/dports/databases/postgresql12-plpython/postgresql-12.9/src/test/regress/sql/
H A Dtimestamp.sql42 SELECT count(d1) AS three, count(DISTINCT d1) AS two FROM TIMESTAMP_TBL;
176 SELECT d1 as "timestamp",
177 date_part( 'year', d1) AS year, date_part( 'month', d1) AS month,
178 date_part( 'day', d1) AS day, date_part( 'hour', d1) AS hour,
179 date_part( 'minute', d1) AS minute, date_part( 'second', d1) AS second
182 SELECT d1 as "timestamp",
183 date_part( 'quarter', d1) AS quarter, date_part( 'msec', d1) AS msec,
187 SELECT d1 as "timestamp",
188 date_part( 'isoyear', d1) AS isoyear, date_part( 'week', d1) AS week,
189 date_part( 'isodow', d1) AS isodow, date_part( 'dow', d1) AS dow,
[all …]
/dports/databases/postgresql12-contrib/postgresql-12.9/src/test/regress/sql/
H A Dtimestamp.sql42 SELECT count(d1) AS three, count(DISTINCT d1) AS two FROM TIMESTAMP_TBL;
176 SELECT d1 as "timestamp",
177 date_part( 'year', d1) AS year, date_part( 'month', d1) AS month,
178 date_part( 'day', d1) AS day, date_part( 'hour', d1) AS hour,
179 date_part( 'minute', d1) AS minute, date_part( 'second', d1) AS second
182 SELECT d1 as "timestamp",
183 date_part( 'quarter', d1) AS quarter, date_part( 'msec', d1) AS msec,
187 SELECT d1 as "timestamp",
188 date_part( 'isoyear', d1) AS isoyear, date_part( 'week', d1) AS week,
189 date_part( 'isodow', d1) AS isodow, date_part( 'dow', d1) AS dow,
[all …]
/dports/databases/postgresql12-plperl/postgresql-12.9/src/test/regress/sql/
H A Dtimestamp.sql42 SELECT count(d1) AS three, count(DISTINCT d1) AS two FROM TIMESTAMP_TBL;
176 SELECT d1 as "timestamp",
177 date_part( 'year', d1) AS year, date_part( 'month', d1) AS month,
178 date_part( 'day', d1) AS day, date_part( 'hour', d1) AS hour,
179 date_part( 'minute', d1) AS minute, date_part( 'second', d1) AS second
182 SELECT d1 as "timestamp",
183 date_part( 'quarter', d1) AS quarter, date_part( 'msec', d1) AS msec,
187 SELECT d1 as "timestamp",
188 date_part( 'isoyear', d1) AS isoyear, date_part( 'week', d1) AS week,
189 date_part( 'isodow', d1) AS isodow, date_part( 'dow', d1) AS dow,
[all …]

12345678910>>...534