Home
last modified time | relevance | path

Searched refs:cdot (Results 1 – 25 of 2083) sorted by relevance

12345678910>>...84

/dports/math/reduce/Reduce-svn5758-src/packages/tri/
H A Dtritst.tex113 \cdot a\cdot p
123 \cdot a\cdot q
135 \sqrt{4\cdot a\cdot c
137 \(\frac{2\cdot a\cdot x
143 4\cdot a\cdot c
247 \cdot a\cdot b
252 \cdot a\cdot c
257 \cdot a\cdot b\nl
263 \cdot b\cdot c
268 \cdot a\cdot c
[all …]
H A Dtritstx.tex113 \cdot a\cdot p
123 \cdot a\cdot q
135 \sqrt{4\cdot a\cdot c
137 \(\frac{2\cdot a\cdot x
143 4\cdot a\cdot c
248 \cdot a\cdot b
253 \cdot a\cdot c
258 \cdot a\cdot b\nl
264 \cdot b\cdot c
269 \cdot a\cdot c
[all …]
H A Dtri.rlg160 \cdot a\cdot p
170 \cdot a\cdot q
182 \sqrt{4\cdot a\cdot c
184 \(\frac{2\cdot a\cdot x
190 4\cdot a\cdot c
294 \cdot a\cdot b
299 \cdot a\cdot c
304 \cdot a\cdot b\nl
310 \cdot b\cdot c
315 \cdot a\cdot c
[all …]
H A Dtri.latex529 +16\cdot x^{15}\cdot y
530 +120\cdot x^{14}\cdot y^{2}
533 +1820\cdot x^{12}\cdot y^{4}
545 +560\cdot x^{3}\cdot y^{13}
546 +120\cdot x^{2}\cdot y^{14}
547 +16\cdot x\cdot y^{15}
552 -16\cdot v^{15}\cdot w
553 +120\cdot v^{14}\cdot w^{2}
567 -560\cdot v^{3}\cdot w^{13}
568 +120\cdot v^{2}\cdot w^{14}
[all …]
/dports/math/reduce/Reduce-svn5758-src/xmpl/
H A Dtri.rlg160 \cdot a\cdot p
170 \cdot a\cdot q
182 \sqrt{4\cdot a\cdot c
184 \(\frac{2\cdot a\cdot x
190 4\cdot a\cdot c
294 \cdot a\cdot b
299 \cdot a\cdot c
304 \cdot a\cdot b\nl
310 \cdot b\cdot c
315 \cdot a\cdot c
[all …]
/dports/math/reduce/Reduce-svn5758-src/doc/manual2/
H A Dtri.tex115 +16\cdot x^{15}\cdot y
116 +120\cdot x^{14}\cdot y^{2}
117 +560\cdot x^{13}\cdot y^{3}
129 +560\cdot x^{3}\cdot y^{13}
130 +120\cdot x^{2}\cdot y^{14}
131 +16\cdot x\cdot y^{15}
136 -16\cdot v^{15}\cdot w
137 +120\cdot v^{14}\cdot w^{2}
138 -560\cdot v^{13}\cdot w^{3}
150 -560\cdot v^{3}\cdot w^{13}
[all …]
/dports/math/reduce/Reduce-svn5758-src/libraries/crlibm/docs/latex/
H A Dtripledoubleprocedures.tex249 2^e \cdot \left( m + 1 \right) - 2^e \cdot m & > & 2^{-52} \cdot 2^e \cdot m \\
347 & = & \left( 2 \cdot 2^e \cdot 2^p + 2 \cdot \frac{1}{2} \cdot 2^e \cdot 2^p \right)^+ + 2^e \\
352 & = & 3 \cdot 2^e \cdot 2^p + 3 \cdot 2^e \\
726 $$\delta = t_3\cdot\epsilon_2 + b_\lo\cdot\epsilon_2 + t_3\cdot\epsilon_1 + b_\lo\cdot\epsilon_1 + …
931 a_\hi \cdot b_\lo \cdot \epsilon_3 + a_\hi \cdot b_\lo \cdot \epsilon_1 \cdot \epsilon_3 + a_\lo \c…
933 & & \left. + a_\hi \cdot b_\lo \cdot \epsilon_4 + a_\lo \cdot b_\hi \cdot \epsilon_4 +
934 a_\hi \cdot b_\lo \cdot \epsilon_1 \cdot \epsilon_4 + a_\lo \cdot b_\hi \cdot \epsilon_2 \cdot \eps…
936 …cdot b_\lo \cdot \epsilon_1 \cdot \epsilon_3 \cdot \epsilon_4 + a_\lo \cdot b_\hi \cdot \epsilon_3…
1302 t_3 \cdot \epsilon_1 \cdot \epsilon_2 + b_\lo \cdot \epsilon_1 \cdot \epsilon_2$$
2118 & = & 2^e \cdot 2^p - 2^e - 2^e \cdot 2^p + 2 \cdot 2^e \\
[all …]
H A Dsqrt.tex157 $$r_{i+1} = \frac{1}{2} \cdot r_i \cdot (3 - m \cdot r_i^2)$$
161 \frac{\frac{1}{2} \cdot r_i \cdot \left(3 - m \cdot r_i^2\right) -
163 & = & \frac{\frac{1}{2} \cdot \hat{r} \cdot
164 \left( 1 + \epsilon_i \right) \cdot \left( 3 - m \cdot \hat{r}^2 \cdot
166 & = & \frac{1}{2} \cdot \left( 1 + \epsilon_i \right) \cdot \left( 3 - m \cdot \frac{1}{m} \cdot \l…
193 r_{3} & = & \frac{1}{2} \cdot r_2 \cdot \left( 3 - m \cdot r_2^2 \right) \\
194 & = & \left( r_2 + \frac{1}{2} \cdot r_2 \right) - \frac{1}{2} \cdot \left( m \cdot r_2 \right) \cd…
206 r_2 + \frac{1}{2} \cdot r_2 \right) - \frac{1}{2} \cdot \left( m \cdot
226 r_4 & = & \frac{1}{2} \cdot r_3 \cdot \left( 3 - m \cdot r_3^2 \right) \\
234 $$m \cdot r_3^2 = m \cdot \hat{r}^2 \cdot \left( 1 +
[all …]
/dports/math/crlibm/crlibm-1.0beta4/docs/latex/
H A Dtripledoubleprocedures.tex249 2^e \cdot \left( m + 1 \right) - 2^e \cdot m & > & 2^{-52} \cdot 2^e \cdot m \\
347 & = & \left( 2 \cdot 2^e \cdot 2^p + 2 \cdot \frac{1}{2} \cdot 2^e \cdot 2^p \right)^+ + 2^e \\
352 & = & 3 \cdot 2^e \cdot 2^p + 3 \cdot 2^e \\
726 $$\delta = t_3\cdot\epsilon_2 + b_\lo\cdot\epsilon_2 + t_3\cdot\epsilon_1 + b_\lo\cdot\epsilon_1 + …
931 a_\hi \cdot b_\lo \cdot \epsilon_3 + a_\hi \cdot b_\lo \cdot \epsilon_1 \cdot \epsilon_3 + a_\lo \c…
933 & & \left. + a_\hi \cdot b_\lo \cdot \epsilon_4 + a_\lo \cdot b_\hi \cdot \epsilon_4 +
934 a_\hi \cdot b_\lo \cdot \epsilon_1 \cdot \epsilon_4 + a_\lo \cdot b_\hi \cdot \epsilon_2 \cdot \eps…
936 …cdot b_\lo \cdot \epsilon_1 \cdot \epsilon_3 \cdot \epsilon_4 + a_\lo \cdot b_\hi \cdot \epsilon_3…
1302 t_3 \cdot \epsilon_1 \cdot \epsilon_2 + b_\lo \cdot \epsilon_1 \cdot \epsilon_2$$
2118 & = & 2^e \cdot 2^p - 2^e - 2^e \cdot 2^p + 2 \cdot 2^e \\
[all …]
H A Dsqrt.tex157 $$r_{i+1} = \frac{1}{2} \cdot r_i \cdot (3 - m \cdot r_i^2)$$
161 \frac{\frac{1}{2} \cdot r_i \cdot \left(3 - m \cdot r_i^2\right) -
163 & = & \frac{\frac{1}{2} \cdot \hat{r} \cdot
164 \left( 1 + \epsilon_i \right) \cdot \left( 3 - m \cdot \hat{r}^2 \cdot
166 & = & \frac{1}{2} \cdot \left( 1 + \epsilon_i \right) \cdot \left( 3 - m \cdot \frac{1}{m} \cdot \l…
193 r_{3} & = & \frac{1}{2} \cdot r_2 \cdot \left( 3 - m \cdot r_2^2 \right) \\
194 & = & \left( r_2 + \frac{1}{2} \cdot r_2 \right) - \frac{1}{2} \cdot \left( m \cdot r_2 \right) \cd…
206 r_2 + \frac{1}{2} \cdot r_2 \right) - \frac{1}{2} \cdot \left( m \cdot
226 r_4 & = & \frac{1}{2} \cdot r_3 \cdot \left( 3 - m \cdot r_3^2 \right) \\
234 $$m \cdot r_3^2 = m \cdot \hat{r}^2 \cdot \left( 1 +
[all …]
/dports/math/octave-forge-interval/interval-3.2.0/src/crlibm/docs/latex/
H A Dtripledoubleprocedures.tex272 2^e \cdot \left( m + 1 \right) - 2^e \cdot m & > & 2^{-52} \cdot 2^e \cdot m \\
370 & = & \left( 2 \cdot 2^e \cdot 2^p + 2 \cdot \frac{1}{2} \cdot 2^e \cdot 2^p \right)^+ + 2^e \\
375 & = & 3 \cdot 2^e \cdot 2^p + 3 \cdot 2^e \\
749 $$\delta = t_3\cdot\epsilon_2 + b_\lo\cdot\epsilon_2 + t_3\cdot\epsilon_1 + b_\lo\cdot\epsilon_1 + …
954 a_\hi \cdot b_\lo \cdot \epsilon_3 + a_\hi \cdot b_\lo \cdot \epsilon_1 \cdot \epsilon_3 + a_\lo \c…
956 & & \left. + a_\hi \cdot b_\lo \cdot \epsilon_4 + a_\lo \cdot b_\hi \cdot \epsilon_4 +
957 a_\hi \cdot b_\lo \cdot \epsilon_1 \cdot \epsilon_4 + a_\lo \cdot b_\hi \cdot \epsilon_2 \cdot \eps…
959 …cdot b_\lo \cdot \epsilon_1 \cdot \epsilon_3 \cdot \epsilon_4 + a_\lo \cdot b_\hi \cdot \epsilon_3…
1325 t_3 \cdot \epsilon_1 \cdot \epsilon_2 + b_\lo \cdot \epsilon_1 \cdot \epsilon_2$$
2141 & = & 2^e \cdot 2^p - 2^e - 2^e \cdot 2^p + 2 \cdot 2^e \\
[all …]
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/test/MC/AArch64/SVE2/
H A Dcdot-diagnostics.s7 cdot z0.s, z1.h, z31.h, #0 label
12 cdot z0.s, z1.s, z31.s, #0 label
17 cdot z0.s, z1.d, z31.d, #0 label
22 cdot z0.d, z1.b, z31.b, #0 label
27 cdot z0.d, z1.s, z31.s, #0 label
32 cdot z0.d, z1.d, z31.d, #0 label
41 cdot z0.s, z1.b, z8.b[3], #0 label
46 cdot z0.d, z1.h, z16.h[1], #0 label
55 cdot z0.s, z1.b, z7.b[-1], #0 label
60 cdot z0.s, z1.b, z7.b[4], #0 label
[all …]
/dports/devel/llvm10/llvm-10.0.1.src/test/MC/AArch64/SVE2/
H A Dcdot-diagnostics.s7 cdot z0.s, z1.h, z31.h, #0 label
12 cdot z0.s, z1.s, z31.s, #0 label
17 cdot z0.s, z1.d, z31.d, #0 label
22 cdot z0.d, z1.b, z31.b, #0 label
27 cdot z0.d, z1.s, z31.s, #0 label
32 cdot z0.d, z1.d, z31.d, #0 label
41 cdot z0.s, z1.b, z8.b[3], #0 label
46 cdot z0.d, z1.h, z16.h[1], #0 label
55 cdot z0.s, z1.b, z7.b[-1], #0 label
60 cdot z0.s, z1.b, z7.b[4], #0 label
[all …]
/dports/devel/llvm11/llvm-11.0.1.src/test/MC/AArch64/SVE2/
H A Dcdot-diagnostics.s7 cdot z0.s, z1.h, z31.h, #0 label
12 cdot z0.s, z1.s, z31.s, #0 label
17 cdot z0.s, z1.d, z31.d, #0 label
22 cdot z0.d, z1.b, z31.b, #0 label
27 cdot z0.d, z1.s, z31.s, #0 label
32 cdot z0.d, z1.d, z31.d, #0 label
41 cdot z0.s, z1.b, z8.b[3], #0 label
46 cdot z0.d, z1.h, z16.h[1], #0 label
55 cdot z0.s, z1.b, z7.b[-1], #0 label
60 cdot z0.s, z1.b, z7.b[4], #0 label
[all …]
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/test/MC/AArch64/SVE2/
H A Dcdot-diagnostics.s7 cdot z0.s, z1.h, z31.h, #0 label
12 cdot z0.s, z1.s, z31.s, #0 label
17 cdot z0.s, z1.d, z31.d, #0 label
22 cdot z0.d, z1.b, z31.b, #0 label
27 cdot z0.d, z1.s, z31.s, #0 label
32 cdot z0.d, z1.d, z31.d, #0 label
41 cdot z0.s, z1.b, z8.b[3], #0 label
46 cdot z0.d, z1.h, z16.h[1], #0 label
55 cdot z0.s, z1.b, z7.b[-1], #0 label
60 cdot z0.s, z1.b, z7.b[4], #0 label
[all …]
/dports/devel/llvm12/llvm-project-12.0.1.src/llvm/test/MC/AArch64/SVE2/
H A Dcdot-diagnostics.s7 cdot z0.s, z1.h, z31.h, #0 label
12 cdot z0.s, z1.s, z31.s, #0 label
17 cdot z0.s, z1.d, z31.d, #0 label
22 cdot z0.d, z1.b, z31.b, #0 label
27 cdot z0.d, z1.s, z31.s, #0 label
32 cdot z0.d, z1.d, z31.d, #0 label
41 cdot z0.s, z1.b, z8.b[3], #0 label
46 cdot z0.d, z1.h, z16.h[1], #0 label
55 cdot z0.s, z1.b, z7.b[-1], #0 label
60 cdot z0.s, z1.b, z7.b[4], #0 label
[all …]
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/test/MC/AArch64/SVE2/
H A Dcdot-diagnostics.s7 cdot z0.s, z1.h, z31.h, #0 label
12 cdot z0.s, z1.s, z31.s, #0 label
17 cdot z0.s, z1.d, z31.d, #0 label
22 cdot z0.d, z1.b, z31.b, #0 label
27 cdot z0.d, z1.s, z31.s, #0 label
32 cdot z0.d, z1.d, z31.d, #0 label
41 cdot z0.s, z1.b, z8.b[3], #0 label
46 cdot z0.d, z1.h, z16.h[1], #0 label
55 cdot z0.s, z1.b, z7.b[-1], #0 label
60 cdot z0.s, z1.b, z7.b[4], #0 label
[all …]
/dports/devel/llvm90/llvm-9.0.1.src/test/MC/AArch64/SVE2/
H A Dcdot-diagnostics.s7 cdot z0.s, z1.h, z31.h, #0 label
12 cdot z0.s, z1.s, z31.s, #0 label
17 cdot z0.s, z1.d, z31.d, #0 label
22 cdot z0.d, z1.b, z31.b, #0 label
27 cdot z0.d, z1.s, z31.s, #0 label
32 cdot z0.d, z1.d, z31.d, #0 label
41 cdot z0.s, z1.b, z8.b[3], #0 label
46 cdot z0.d, z1.h, z16.h[1], #0 label
55 cdot z0.s, z1.b, z7.b[-1], #0 label
60 cdot z0.s, z1.b, z7.b[4], #0 label
[all …]
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/llvm/test/MC/AArch64/SVE2/
H A Dcdot-diagnostics.s7 cdot z0.s, z1.h, z31.h, #0 label
12 cdot z0.s, z1.s, z31.s, #0 label
17 cdot z0.s, z1.d, z31.d, #0 label
22 cdot z0.d, z1.b, z31.b, #0 label
27 cdot z0.d, z1.s, z31.s, #0 label
32 cdot z0.d, z1.d, z31.d, #0 label
41 cdot z0.s, z1.b, z8.b[3], #0 label
46 cdot z0.d, z1.h, z16.h[1], #0 label
55 cdot z0.s, z1.b, z7.b[-1], #0 label
60 cdot z0.s, z1.b, z7.b[4], #0 label
[all …]
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/llvm/test/MC/AArch64/SVE2/
H A Dcdot-diagnostics.s7 cdot z0.s, z1.h, z31.h, #0 label
12 cdot z0.s, z1.s, z31.s, #0 label
17 cdot z0.s, z1.d, z31.d, #0 label
22 cdot z0.d, z1.b, z31.b, #0 label
27 cdot z0.d, z1.s, z31.s, #0 label
32 cdot z0.d, z1.d, z31.d, #0 label
41 cdot z0.s, z1.b, z8.b[3], #0 label
46 cdot z0.d, z1.h, z16.h[1], #0 label
55 cdot z0.s, z1.b, z7.b[-1], #0 label
60 cdot z0.s, z1.b, z7.b[4], #0 label
[all …]
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/test/MC/AArch64/SVE2/
H A Dcdot-diagnostics.s7 cdot z0.s, z1.h, z31.h, #0 label
12 cdot z0.s, z1.s, z31.s, #0 label
17 cdot z0.s, z1.d, z31.d, #0 label
22 cdot z0.d, z1.b, z31.b, #0 label
27 cdot z0.d, z1.s, z31.s, #0 label
32 cdot z0.d, z1.d, z31.d, #0 label
41 cdot z0.s, z1.b, z8.b[3], #0 label
46 cdot z0.d, z1.h, z16.h[1], #0 label
55 cdot z0.s, z1.b, z7.b[-1], #0 label
60 cdot z0.s, z1.b, z7.b[4], #0 label
[all …]
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/llvm/test/MC/AArch64/SVE2/
H A Dcdot-diagnostics.s7 cdot z0.s, z1.h, z31.h, #0 label
12 cdot z0.s, z1.s, z31.s, #0 label
17 cdot z0.s, z1.d, z31.d, #0 label
22 cdot z0.d, z1.b, z31.b, #0 label
27 cdot z0.d, z1.s, z31.s, #0 label
32 cdot z0.d, z1.d, z31.d, #0 label
41 cdot z0.s, z1.b, z8.b[3], #0 label
46 cdot z0.d, z1.h, z16.h[1], #0 label
55 cdot z0.s, z1.b, z7.b[-1], #0 label
60 cdot z0.s, z1.b, z7.b[4], #0 label
[all …]
/dports/graphics/llvm-mesa/llvm-13.0.1.src/test/MC/AArch64/SVE2/
H A Dcdot-diagnostics.s7 cdot z0.s, z1.h, z31.h, #0 label
12 cdot z0.s, z1.s, z31.s, #0 label
17 cdot z0.s, z1.d, z31.d, #0 label
22 cdot z0.d, z1.b, z31.b, #0 label
27 cdot z0.d, z1.s, z31.s, #0 label
32 cdot z0.d, z1.d, z31.d, #0 label
41 cdot z0.s, z1.b, z8.b[3], #0 label
46 cdot z0.d, z1.h, z16.h[1], #0 label
55 cdot z0.s, z1.b, z7.b[-1], #0 label
60 cdot z0.s, z1.b, z7.b[4], #0 label
[all …]
/dports/devel/llvm13/llvm-project-13.0.1.src/llvm/test/MC/AArch64/SVE2/
H A Dcdot-diagnostics.s7 cdot z0.s, z1.h, z31.h, #0 label
12 cdot z0.s, z1.s, z31.s, #0 label
17 cdot z0.s, z1.d, z31.d, #0 label
22 cdot z0.d, z1.b, z31.b, #0 label
27 cdot z0.d, z1.s, z31.s, #0 label
32 cdot z0.d, z1.d, z31.d, #0 label
41 cdot z0.s, z1.b, z8.b[3], #0 label
46 cdot z0.d, z1.h, z16.h[1], #0 label
55 cdot z0.s, z1.b, z7.b[-1], #0 label
60 cdot z0.s, z1.b, z7.b[4], #0 label
[all …]
/dports/editors/texmacs/TeXmacs-1.99.4-src/TeXmacs/fonts/virtual/
H A Dmisc.vfn14 (cdots (join (0 0 cdot) (0.3 0 cdot) (0.6 0 cdot)))
15 (hdots (enlarge (join (0 0.3 cdot) (0.3 0.3 cdot) (0.6 0.3 cdot))
17 (vdots (enlarge (join (0.2 0.3 cdot) (0.2 0 cdot) (0.2 -0.3 cdot)) 0.2 0.2))
18 (ddots (join (0 0.3 cdot) (0.3 0 cdot) (0.6 -0.3 cdot)))
19 (udots (join (0.6 0.3 cdot) (0.3 0 cdot) (0 -0.3 cdot)))
33 (lesseqdot (join (0 -0.05 leqslant) (0.4 0.02 cdot)))
34 (gtreqdot (join (0 -0.05 geqslant) (0.4 0.02 cdot)))
35 (precdot (join (0 0 prec) (0.5 0 cdot)))
36 (preceqdot (join (0 -0.05 preccurlyeq) (0.5 0 cdot)))
37 (dotsucc (join (0 0 succ) (0 0 cdot)))
[all …]

12345678910>>...84