| /dports/math/cadabra2/cadabra2-2.3.6.8/core/algorithms/ |
| H A D | lr_tensor.cnb | 55 …oplus \\ydiagram{4,3,2} \\oplus \\ydiagram{4,3,1,1} \\oplus \\ydiagram{4,2,2,1} \\oplus \\ydiagram…
119 …oplus \\ytableaushort{{0}{0}{a}{a},{1}{1}{b},{b}} \\oplus \\ytableaushort{{0}{0}{a}{a},{1}{1},{b}{…
167 …oplus \\ytableaushort{{1}{2}{3},{4}} \\oplus \\ytableaushort{{1}{2}{4},{3}} \\oplus \\ytableaushor…
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Positivity/ |
| H A D | Occurrence.hs | 133 oplus Mixed _ = Mixed -- dominant function
134 oplus _ Mixed = Mixed function
135 oplus Unused o = o -- neutral function
136 oplus o Unused = o function
137 oplus JustNeg JustNeg = JustNeg function
139 oplus o JustNeg = Mixed function
140 oplus GuardPos o = o -- second-rank neutral function
141 oplus o GuardPos = o function
142 oplus StrictPos o = o -- third-rank neutral function
143 oplus o StrictPos = o function
[all …]
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Utils/ |
| H A D | SemiRing.hs | 8 oplus :: a -> a -> a
14 oplus _ _ = () function
21 oplus Nothing y = y function
22 oplus x Nothing = x function
23 oplus (Just x) (Just y) = Just (oplus x y) function
|
| /dports/lang/parrot/parrot-8.1.0/t/include/ |
| H A D | fp_equality.t | 22 .local num oplus, ominus
25 oplus = 1 + epsilon
33 .fp_eq_ok(oplus, 1, 'one')
34 .fp_eq_ok(1, oplus, 'one')
|
| /dports/math/pari/pari-2.13.3/src/functions/number_fields/ |
| H A D | nfsnf | 10 words, $x$ is isomorphic to $\Z_K/d_1\oplus\cdots\oplus\Z_K/d_n$ and $d_i$
20 $$ (b_1e_1\oplus\cdots\oplus b_ne_n) / (a_1A_1\oplus\cdots\oplus a_nA_n)
|
| /dports/math/testu01/TestU01-1.2.3/testu01/ |
| H A D | umarsa.tex | 229 z_n &=& x_n \oplus y_{n}
247 t &=& y_{n-1}\oplus (2^{13}y_{n-1}), \\
248 t &=& t \oplus (t \div 2^{17}), \\
249 y_{n} &=& (t \oplus (2^{5}t)) \mod 2^{32}, \\
267 z_n \ = \ x_n \oplus y_{n}
287 t &=& t \oplus \left(t\div 2^{s_2}\right), \\
309 z_n \ = \ x_n \oplus y_{n}
328 z_n &=& t \oplus \left(t \div 2^{13}\right)
346 t &=& t\oplus \left(t \div 2^{17}\right), \\
372 t &=& t\oplus \left(t \div 2^{13}\right), \\
[all …]
|
| H A D | uxorshift.tex | 61 y &=& y_{n-1} \oplus (y_{n-1} \OP_1 a), \\
62 y &=& y \oplus (y \OP_2 b), \\
63 y_{n} &=& y \oplus (y \OP_3 c) \bmod 2^{32}
99 t &= & x_1 \oplus (x_1 \OP_1 a) \\
101 x_r &=& x_r \oplus (x_r \OP_3 c) \oplus t \oplus (t \OP_2 b)
125 t &= & x_1 \oplus (x_1 \OP_1 a_1) \oplus x_2 \oplus (x_2 \OP_2 a_2)
126 \oplus \cdots \oplus x_r \oplus (x_r \OP_r a_r) \\
|
| /dports/math/g2o/g2o-20201223_git/g2o/core/ |
| H A D | base_binary_edge.hpp | 184 vi->oplus(add_vi); in linearizeOplus()
190 vi->oplus(add_vi); in linearizeOplus()
207 vi->oplus(add_vi); in linearizeOplus()
213 vi->oplus(add_vi); in linearizeOplus()
236 vj->oplus(add_vj); in linearizeOplus()
242 vj->oplus(add_vj); in linearizeOplus()
261 vj->oplus(add_vj); in linearizeOplus()
267 vj->oplus(add_vj); in linearizeOplus()
|
| H A D | base_unary_edge.hpp | 122 vi->oplus(add_vi); in linearizeOplus()
128 vi->oplus(add_vi); in linearizeOplus()
146 vi->oplus(add_vi); in linearizeOplus()
152 vi->oplus(add_vi); in linearizeOplus()
|
| H A D | base_multi_edge.hpp | 101 vi->oplus(add_vi); in linearizeOplus()
107 vi->oplus(add_vi); in linearizeOplus()
123 vi->oplus(add_vi); in linearizeOplus()
129 vi->oplus(add_vi); in linearizeOplus()
290 vi->oplus(add_vi); in linearizeOplus()
296 vi->oplus(add_vi); in linearizeOplus()
315 vi->oplus(v); in linearizeOplus()
321 vi->oplus(v); in linearizeOplus()
|
| /dports/math/gap/gap-4.11.0/pkg/MonoidalCategories-2019.06.07/gap/ |
| H A D | MonoidalCategories.gd | 389 #! $a \otimes (b_1 \oplus \dots \oplus b_n) \rightarrow (a \otimes b_1) \oplus \dots \oplus (a \oti…
390 … a morphism in $\mathrm{Hom}( a \otimes (b_1 \oplus \dots \oplus b_n), (a \otimes b_1) \oplus \dot…
411 #! $F: (a \otimes (b_1 \oplus \dots \oplus b_n), a, L, (a \otimes b_1) \oplus \dots \oplus (a \otim…
432 #! $(a \otimes b_1) \oplus \dots \oplus (a \otimes b_n) \rightarrow a \otimes (b_1 \oplus \dots \op…
433 …phism in $\mathrm{Hom}( (a \otimes b_1) \oplus \dots \oplus (a \otimes b_n), a \otimes (b_1 \oplus…
442 #! and an object $r = a \otimes (b_1 \oplus \dots \oplus b_n)$.
474 #! $(b_1 \oplus \dots \oplus b_n) \otimes a \rightarrow (b_1 \otimes a) \oplus \dots \oplus (b_n \o…
475 …turns a morphism in $\mathrm{Hom}( (b_1 \oplus \dots \oplus b_n) \otimes a, (b_1 \otimes a) \oplus…
516 #! $(b_1 \otimes a) \oplus \dots \oplus (b_n \otimes a) \rightarrow (b_1 \oplus \dots \oplus b_n) \…
517 …a morphism in $\mathrm{Hom}( (b_1 \otimes a) \oplus \dots \oplus (b_n \otimes a), (b_1 \oplus \dot…
[all …]
|
| /dports/math/cadabra2/cadabra2-2.3.6.8/core/properties/ |
| H A D | FilledTableau.cnb | 61 …oplus \\ytableaushort{{c}{c}{a}{a},{c},{b}} \\oplus \\ytableaushort{{c}{c}{a},{c}{a}{b}} \\oplus \…
|
| H A D | Tableau.cnb | 61 …begin{dmath*}{}\\ydiagram{4,2} \\oplus \\ydiagram{4,1,1} \\oplus \\ydiagram{3,3} \\oplus 2\\, \\yd…
|
| /dports/math/petanque/arybo-release-1.1.0/docs/source/ |
| H A D | concepts.rst | 22 instance, :math:`(x \land a) \oplus (x \land b) \oplus 1` is an ANF, whereas
23 :math:`x \land (a \oplus b) \oplus 1` is not. On the last one, the AND
99 esf_1(a,b,c) &= a \oplus \oplus b \oplus c\\
101 esf_2(a,b,c) &= ab \oplus ac \oplus bc
175 &R_i = x_i \oplus y_i \oplus c_i\\
179 c_{i+1} = x_i \cdot y_i \oplus c_i \cdot (x_i \oplus y_i)\\
193 x+y = (x \oplus y) + ((x \land y) \ll 1)
|
| /dports/textproc/linuxdoc-tools/linuxdoc-tools-0.9.82/entity-map/sdata/ |
| H A D | LDextra.2tex | 10 [oplus ] \oplus{}
|
| H A D | LDextra.2html | 10 [oplus ] ⊕
|
| /dports/math/gap/gap-4.11.0/pkg/RepnDecomp-1.1.0/old_tst/ |
| H A D | DecomposeCanonicalSummand.tst | 4 gap> # rho is irreps2 oplus irreps2 oplus irreps2 (rho has degree 3)
|
| /dports/www/mod_php81/php-8.1.1/ext/standard/tests/strings/ |
| H A D | htmlentities17.phpt | 6 array(8853, '⊕', "e28a95"),
28 string(7) "⊕"
|
| /dports/lang/php80/php-8.0.15/ext/standard/tests/strings/ |
| H A D | htmlentities17.phpt | 6 array(8853, '⊕', "e28a95"),
28 string(7) "⊕"
|
| /dports/lang/php74/php-7.4.27/ext/standard/tests/strings/ |
| H A D | htmlentities17.phpt | 6 array(8853, '⊕', "e28a95"),
28 string(7) "⊕"
|
| /dports/lang/php73/php-7.3.33/ext/standard/tests/strings/ |
| H A D | htmlentities17.phpt | 6 array(8853, '⊕', "e28a95"),
28 string(7) "⊕"
|
| /dports/lang/php81/php-8.1.1/ext/standard/tests/strings/ |
| H A D | htmlentities17.phpt | 6 array(8853, '⊕', "e28a95"),
28 string(7) "⊕"
|
| /dports/www/mod_php80/php-8.0.15/ext/standard/tests/strings/ |
| H A D | htmlentities17.phpt | 6 array(8853, '⊕', "e28a95"),
28 string(7) "⊕"
|
| /dports/www/mod_php74/php-7.4.27/ext/standard/tests/strings/ |
| H A D | htmlentities17.phpt | 6 array(8853, '⊕', "e28a95"),
28 string(7) "⊕"
|
| /dports/www/mod_php73/php-7.3.33/ext/standard/tests/strings/ |
| H A D | htmlentities17.phpt | 6 array(8853, '⊕', "e28a95"),
28 string(7) "⊕"
|