Home
last modified time | relevance | path

Searched refs:x5 (Results 1 – 25 of 2886) sorted by relevance

12345678910>>...116

/dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/none/tests/arm64/
H A Dinteger.c163 TESTINST3("add x3, x4, x5", 12345, 6789, x3, x4, x5, 0); in test_arith()
164 TESTINST3("add w3, w4, w5", 12345, 6789, x3, x4, x5, 0); in test_arith()
186 TESTINST3("adc w3, w4, w5", 12345, 6789, x3,x4,x5, 0); in test_arith()
187 TESTINST3("adc w3, w4, w5", 12345, 6789, x3,x4,x5, 1); in test_arith()
188 TESTINST3("adc w3, w4, w5", 0, 0xffffffffULL, x3,x4,x5, 0); in test_arith()
189 TESTINST3("adc w3, w4, w5", 0, 0xffffffffULL, x3,x4,x5, 1); in test_arith()
190 TESTINST3("adc w3, w4, w5", 0x31415927, 0x27181728, x3,x4,x5, 0); in test_arith()
191 TESTINST3("adc w3, w4, w5", 0x31415927, 0x27181728, x3,x4,x5, 1); in test_arith()
192 TESTINST3("adc w3, w4, w5", 0x00000000, 0x00000000, x3,x4,x5, 0); in test_arith()
330 0xAB12345678, 0xCD12345678, x3, x4, x5, 0); in test_arith()
[all …]
/dports/devel/valgrind/valgrind-dragonfly-dragonfly/none/tests/arm64/
H A Dinteger.c163 TESTINST3("add x3, x4, x5", 12345, 6789, x3, x4, x5, 0); in test_arith()
164 TESTINST3("add w3, w4, w5", 12345, 6789, x3, x4, x5, 0); in test_arith()
186 TESTINST3("adc w3, w4, w5", 12345, 6789, x3,x4,x5, 0); in test_arith()
187 TESTINST3("adc w3, w4, w5", 12345, 6789, x3,x4,x5, 1); in test_arith()
188 TESTINST3("adc w3, w4, w5", 0, 0xffffffffULL, x3,x4,x5, 0); in test_arith()
189 TESTINST3("adc w3, w4, w5", 0, 0xffffffffULL, x3,x4,x5, 1); in test_arith()
190 TESTINST3("adc w3, w4, w5", 0x31415927, 0x27181728, x3,x4,x5, 0); in test_arith()
191 TESTINST3("adc w3, w4, w5", 0x31415927, 0x27181728, x3,x4,x5, 1); in test_arith()
192 TESTINST3("adc w3, w4, w5", 0x00000000, 0x00000000, x3,x4,x5, 0); in test_arith()
330 0xAB12345678, 0xCD12345678, x3, x4, x5, 0); in test_arith()
[all …]
/dports/math/frobby/frobby-0.9.1/test/frob/
H A Dtest2.multi5 -x2^13*x3^4*x5^2 +
7 -x2^13*x4*x5^2 +
9 x2^13*x5^2 +
16 x2^12*x4*x5^2 +
17 x2^12*x5^3 +
18 -x2^12*x5^2 +
33 x2^10*x5^4 +
34 -x2^10*x5^3 +
57 x2^8*x5^5 +
205 x4*x5^7 +
[all …]
H A Dbug14.multi4 x2^16*x3*x4*x5^2 +
6 x2^16*x3*x4*x5*x6 +
9 x2^16*x3*x5^2*x6 +
10 -x2^16*x3*x5^2 +
12 -x2^16*x3*x5*x6 +
16 -x2^16*x4*x5^2 +
21 -x2^16*x5^2*x6 +
22 x2^16*x5^2 +
24 x2^16*x5*x6 +
550 x3^6*x5 +
[all …]
H A Dbug12.multi3 x2^20*x3*x4*x5 +
5 -x2^20*x3*x5 +
7 -x2^20*x4*x5 +
9 x2^20*x5 +
17 x2^15*x3*x5 +
22 x2^14*x3*x5 +
24 x2^14*x4*x5 +
25 x2^14*x5^4 +
26 -x2^14*x5 +
61 x2^8*x5^8 +
[all …]
H A Dbug16.multi3 x2^15*x3^8*x4*x5 +
5 -x2^15*x3^8*x5 +
15 -x2^15*x4^5*x5 +
17 x2^15*x5 +
22 x2^14*x3^7*x5 +
41 x2^14*x5^5 +
42 -x2^14*x5 +
191 x2*x5^11 +
192 -x2*x5^5 +
237 x4^9*x5 +
[all …]
H A Dbug3.multi3 x2^6*x3^4*x4^2*x5^19 +
5 -x2^6*x3^4*x5^19 +
12 x2^6*x3^2*x5^19 +
19 -x2^6*x4*x5^32 +
20 x2^6*x4*x5^31 +
21 x2^6*x5^32 +
43 x2^5*x5^37 +
44 -x2^5*x5^32 +
117 x2^2*x5^43 +
169 x4^6*x5^5 +
[all …]
H A Dtest3.multi4 x2^17*x3^3*x4*x5^6 +
8 -x2^17*x3^3*x5^6 +
12 -x2^17*x4*x5^6 +
16 x2^17*x5^6 +
48 x2^16*x5^12 +
50 -x2^16*x5^6 +
80 x2^15*x5^18 +
326 x3*x5^37 +
336 -x3*x5^6 +
340 x4*x5^37 +
[all …]
H A Dbug21.multi82 -x2^10*x4*x5 +
106 -x2^10*x5*x6 +
110 -x2^10*x5*x7 +
114 x2^10*x5 +
962 -x2^2*x5 +
2066 x4^5*x5 +
2170 x5^3*x6 +
2174 x5^3*x7 +
2176 x5^3*x8 +
2177 x5^3*x9 +
[all …]
H A Dbug22.multi18 x2^3*x3*x4*x5 +
50 -x2^3*x3*x5 +
82 -x2^3*x4*x5 +
114 x2^3*x5 +
338 -x2^2*x5 +
906 x2*x5^3 +
1200 x3*x5^3 +
1294 x4^3*x5 +
1468 -x5^3 +
1508 -x5*x7 +
[all …]
H A Dbug11.multi6 x2^5*x3^4*x4*x5 +
12 x2^5*x3^4*x5*x6 +
13 x2^5*x3^4*x5*x7 +
14 -x2^5*x3^4*x5 +
64 x2^5*x3*x5 +
80 x2^5*x4*x5 +
84 x2^5*x5^2 +
88 x2^5*x5*x7 +
705 x3^5*x5 +
872 -x4*x5 +
[all …]
H A Dbug23.multi42 -x2^2*x4*x5 +
58 x2^2*x5 +
256 x2*x5^3 +
272 -x2*x5 +
390 x3*x5^3 +
422 x4*x5^3 +
452 x5^3*x6 +
454 x5^3*x7 +
456 -x5^3 +
466 -x5*x6 +
[all …]
H A Dbug26.multi18 x2^7*x3*x4*x5 +
42 x2^7*x3*x5*x6 +
50 -x2^7*x3*x5 +
82 -x2^7*x4*x5 +
106 -x2^7*x5*x6 +
110 -x2^7*x5*x7 +
112 -x2^7*x5*x8 +
113 -x2^7*x5*x9 +
114 x2^7*x5 +
514 -x2^4*x5 +
[all …]
H A Dbug19.multi26 x2^10*x3*x4^2*x5 +
106 -x2^10*x3*x5 +
230 -x2^10*x5*x7 +
233 -x2^10*x5*x9 +
234 x2^10*x5 +
814 x2^9*x5*x9 +
5845 -x2^4*x5 +
16411 x3^9*x5 +
20776 x4^8*x5 +
21280 x4*x5^8 +
[all …]
H A Dbug27.multi18 x2^4*x3*x4*x5 +
50 -x2^4*x3*x5 +
82 -x2^4*x4*x5 +
106 -x2^4*x5*x6 +
110 -x2^4*x5*x7 +
114 x2^4*x5 +
1550 -x2*x5 +
2330 -x4*x5 +
2382 -x5^2 +
2426 -x5*x7 +
[all …]
H A Dbug20.multi6 x2^24*x3*x4*x5 +
12 x2^24*x3*x5*x6 +
13 x2^24*x3*x5*x7 +
14 -x2^24*x3*x5 +
22 -x2^24*x4*x5 +
28 -x2^24*x5*x6 +
29 -x2^24*x5*x7 +
30 x2^24*x5 +
310 x3^9*x5 +
380 x5*x6 +
[all …]
H A Dbug8.multi3 x2^4*x3*x4*x5 +
5 -x2^4*x3*x5 +
7 -x2^4*x4*x5 +
9 x2^4*x5 +
17 x2^3*x3*x5 +
41 x2^2*x5^4 +
42 -x2^2*x5 +
69 x3*x5^4 +
70 -x3*x5^3 +
75 x4*x5^4 +
[all …]
H A Dbug6.multi4 x2^2*x3*x4*x5 +
8 -x2^2*x3*x5 +
12 -x2^2*x4*x5 +
16 x2^2*x5 +
54 x2*x5^2 +
56 -x2*x5 +
62 x3^2*x5 +
78 x3*x5^2 +
81 -x3*x5 +
92 -x4*x5 +
[all …]
/dports/math/frobby/frobby-0.9.1/test/commonIdeals/
H A Dt14.alexdual10 x1^8*x2^8*x5,
13 x1^8*x2^4*x5^2,
15 x1^8*x2^4*x5*x8,
19 x1^8*x3^4*x5,
22 x1^8*x3*x5^2,
23 x1^8*x3*x5*x7^3,
24 x1^8*x3*x5*x8,
29 x1^8*x5^6,
30 x1^8*x5^2*x6,
37 x1^7*x5^3*x8^6,
[all …]
H A Dt14.irrdecom_ideal78 x1^10*x4*x5^5,
290 x1^3*x5^3,
332 x2^7*x5*x6^7,
502 x3^6*x5,
532 x3^3*x5^6,
536 x3*x5^7,
596 x4*x5^2,
609 x5^3*x7,
611 x5^2*x8^4,
612 x5*x6^5,
[all …]
H A Dt14.multi1 R = QQ[x1, x2, x3, x4, x5, x6, x7, x8];
3 -x1^10*x2^10*x3^7*x4^10*x5^7*x6^8*x7^7*x8^5 +
4 x1^10*x2^10*x3^7*x4^10*x5^7*x6^8*x7^4*x8^5 +
5 -x1^10*x2^10*x3^7*x4^10*x5^7*x6^7*x7^8*x8^5 +
6 x1^10*x2^10*x3^7*x4^10*x5^7*x6^7*x7^7*x8^5 +
7 x1^10*x2^10*x3^7*x4^10*x5^7*x6^5*x7^8*x8^5 +
8 -x1^10*x2^10*x3^7*x4^10*x5^7*x6^5*x7^4*x8^5 +
9 x1^10*x2^10*x3^5*x4^10*x5^7*x6^7*x7^10*x8^9 +
12 x1^10*x2^10*x3^5*x4^10*x5^7*x6^7*x7^8*x8^5 +
750 -x1^7*x2*x3^4*x4*x5^3*x6^8*x8^9 +
[all …]
H A Dt16.multi1 R = QQ[x1, x2, x3, x4, x5, x6, x7, x8];
3 x1^99*x2^84*x3^91*x4^58*x5^92*x6^98*x7^37*x8^58 +
4 -x1^99*x2^84*x3^91*x4^58*x5^92*x6^98*x7^37*x8^57 +
5 -x1^99*x2^84*x3^91*x4^58*x5^92*x6^98*x7^17*x8^58 +
6 x1^99*x2^84*x3^91*x4^58*x5^92*x6^98*x7^17*x8^57 +
7 -x1^99*x2^84*x3^91*x4^58*x5^80*x6^58*x7^37*x8^58 +
8 x1^99*x2^84*x3^91*x4^58*x5^80*x6^58*x7^37*x8^57 +
9 x1^99*x2^84*x3^91*x4^58*x5^80*x6^58*x7^17*x8^58 +
10 -x1^99*x2^84*x3^91*x4^58*x5^80*x6^58*x7^17*x8^57 +
11 x1^99*x2^84*x3^87*x4^80*x5^93*x6^98*x7^92*x8^33 +
[all …]
/dports/math/lrslib/lrslib-071a/ine/test-062/porta/
H A Dmit.ine.ieq3 +4x3+4x4+2x5<=72
4 +2x1+2x2+10x3+12x4+6x5<=216
5 +4x1+2x2+8x3+8x4+8x5<=192
7 +4x1-2x2+4x4+4x5<=96
15 -6x2+8x3-4x4-8x5<=0
16 -4x1-6x2+8x3-8x5<=0
19 +2x3+2x4-2x5<=24
21 -1x1-1x2+4x3-12x5<=0
22 -6x2+16x3-8x4-40x5<=0
27 -2x2+8x3-8x4-24x5<=0
[all …]
/dports/math/gfan/gfan0.6.2/examples/
H A Dhankel3x3of4x51 (x0,x1,x2,x3,x4,x5,x6,x7)
2 …x5+x0*x2*x5, -x2*x3^2+x2^2*x4+x1*x3*x4-x0*x4^2-x1*x2*x5+x0*x3*x5, -x3^3+2*x2*x3*x4-x1*x4^2-x2^2*x5…
/dports/math/gfanlib/gfan0.6.2/examples/
H A Dhankel3x3of4x51 (x0,x1,x2,x3,x4,x5,x6,x7)
2 …x5+x0*x2*x5, -x2*x3^2+x2^2*x4+x1*x3*x4-x0*x4^2-x1*x2*x5+x0*x3*x5, -x3^3+2*x2*x3*x4-x1*x4^2-x2^2*x5…

12345678910>>...116