| /dports/math/frobby/frobby-0.9.1/test/frob/ |
| H A D | bug15.multi | 3 x2^8*x3^5*x4*x5 +
5 -x2^8*x3^5*x5 +
7 -x2^8*x4*x5 +
9 x2^8*x5 +
19 x2^4*x3^5*x5 +
29 x2^4*x4*x5 +
31 x2^4*x5^4 +
32 -x2^4*x5 +
75 x3*x5^4 +
76 -x3*x5^2 +
[all …]
|
| H A D | bug7.multi | 3 x2^7*x3*x4*x5 +
5 -x2^7*x3*x5 +
7 -x2^7*x4*x5 +
9 x2^7*x5 +
23 x2^6*x5^2 +
24 -x2^6*x5 +
57 x3^3*x5 +
67 x4^5*x5 +
69 x4*x5^2 +
70 -x4*x5 +
[all …]
|
| H A D | bug4.multi | 3 x2^4*x3*x4*x5 +
5 -x2^4*x3*x5 +
7 -x2^4*x4*x5 +
9 x2^4*x5 +
17 x2^3*x3*x5 +
23 x2^3*x5^2 +
24 -x2^3*x5 +
51 x3^3*x5 +
61 x4^4*x5 +
64 -x4*x5 +
[all …]
|
| H A D | bug24.multi | 6 x2^7*x3*x4*x5 +
12 x2^7*x3*x5*x6 +
14 -x2^7*x3*x5 +
22 -x2^7*x4*x5 +
28 -x2^7*x5*x6 +
30 x2^7*x5 +
126 x3^2*x5 +
150 x4*x5 +
156 x5*x6^3 +
157 x5*x7 +
[all …]
|
| H A D | bug2.multi | 3 x2^2*x3^7*x4*x5 +
5 -x2^2*x3^7*x5 +
10 x2^2*x3^6*x5 +
11 -x2^2*x4*x5^2 +
13 x2^2*x5^2 +
21 x2*x3^7*x5 +
26 -x2*x3^6*x5 +
43 x3^8*x5^2 +
54 -x3*x4*x5 +
55 x4^3*x5^2 +
[all …]
|
| H A D | bug1.multi | 5 -x2^3*x3*x5^9 +
9 x2^3*x5^9 +
31 x2*x4*x5 +
33 x2*x5^13 +
34 -x2*x5^9 +
43 x3*x4*x5 +
45 x3*x5^13 +
46 -x3*x5^4 +
47 x4^2*x5 +
50 -x4*x5 +
[all …]
|
| /dports/math/lrslib/lrslib-071a/ine/test-062/porta/ |
| H A D | perm10.ine.ieq | 855 +1x1+1x2+1x5<=27
976 +1x1+1x5<=19
984 +1x2+1x5<=19
991 +1x3+1x5<=19
997 +1x4+1x5<=19
1003 +1x5+1x6<=19
1004 +1x5+1x7<=19
1005 +1x5+1x8<=19
1006 +1x5+1x9<=19
1007 +1x5+1x10<=19
[all …]
|
| /dports/math/frobby/frobby-0.9.1/test/commonIdeals/ |
| H A D | t14.assoprimes | 15 x1*x2*x3*x5,
34 x1*x2*x5,
62 x1*x3*x5,
74 x1*x4*x5,
84 x1*x5*x6,
88 x1*x5,
166 x3*x5,
180 x4*x5,
191 x5*x6,
193 x5*x7,
[all …]
|
| H A D | t14.primdecom | 49 x5^6,
56 x5^3,
64 x5^3,
71 x5^3,
79 x5^3,
87 x5^6,
105 x5^6,
113 x5^5,
121 x5^5,
129 x5^3,
[all …]
|
| H A D | t14.irrdecom | 55 x5^6,
62 x5^3,
70 x5^3,
77 x5^3,
85 x5^3,
93 x5^6,
102 x5^5,
119 x5^6,
127 x5^5,
135 x5^5,
[all …]
|
| H A D | t16.assoprimes | 21 x1*x2*x3*x5,
44 x1*x2*x5,
74 x1*x3*x5,
105 x1*x5,
157 x2*x5,
185 x3*x5,
197 x4*x5,
208 x5*x6,
210 x5*x7,
211 x5*x8,
[all …]
|
| H A D | t16.irrdecom_ideal | 523 x1^29*x5^36,
604 x1^28*x5^46,
647 x1^18*x5^54,
666 x1^13*x5^70,
669 x1^12*x5^89,
852 x2^40*x5^36,
886 x2^26*x5^54,
907 x2^25*x5^70,
917 x2^7*x5^92,
1068 x5^80*x7^6,
[all …]
|
| H A D | t16.alexdual | 5 x1^88*x5^8,
8 x1^87*x3^45*x5^8,
12 x1^87*x5^27,
13 x1^87*x5^8*x8,
25 x1^82*x3^47*x5^8,
36 x1^82*x5^43,
38 x1^82*x5^27*x7^5,
138 x1^72*x5^51,
150 x1^71*x5^61,
1005 x3*x5^61,
[all …]
|
| H A D | t15.opt_irr_min | 4 x1*x10*x11*x5*x8,
8 x1*x10*x3*x5*x6,
9 x1*x10*x5*x6*x7,
10 x1*x10*x5*x7*x8,
14 x1*x11*x2*x5*x6,
16 x1*x11*x3*x5*x7,
17 x1*x11*x3*x5*x8,
18 x1*x11*x3*x5*x9,
21 x1*x3*x5*x7*x9,
26 x10*x11*x12*x3*x5,
[all …]
|
| H A D | t15.multi | 515 x1*x10*x11*x13*x5*x7 +
516 x1*x10*x11*x13*x5*x9 +
517 -x1*x10*x11*x13*x5 +
862 -x1*x10*x2*x5*x8*x9 +
1106 -x1*x11*x3*x5*x6*x9 +
1216 -x1*x3*x4*x5*x8 +
1694 -x10*x3*x4*x5*x6 +
1788 -x11*x12*x14*x5 +
1841 -x11*x13*x4*x5*x9 +
1889 -x12*x13*x3*x5*x7 +
[all …]
|
| /dports/math/openturns/openturns-1.18/python/test/ |
| H A D | t_Matrix_slice.expout | 1 matrix= 10x5
12 rslice[:]= 10x5
23 rslice[2:4]= 2x5
26 rslice[1:8:2]= 4x5
31 rslice[:,:]= 10x5
62 rslice[3,:]= 1x5
66 wrslice[:]= 10x5
77 wslice[2:4]= 10x5
132 wslice[:,3]= 10x5
187 matrix= 10x5
[all …]
|
| /dports/lang/gnatdroid-binutils-x86/binutils-2.27/gas/testsuite/gas/aarch64/ |
| H A D | armv8-ras-1.d | 11 [^:]+: d5385305 mrs x5, erridr_el1
14 [^:]+: d5385405 mrs x5, erxfr_el1
15 [^:]+: d5185425 msr erxctlr_el1, x5
16 [^:]+: d5385425 mrs x5, erxctlr_el1
19 [^:]+: d5185465 msr erxaddr_el1, x5
25 [^:]+: d53c5265 mrs x5, vsesr_el2
26 [^:]+: d518c125 msr disr_el1, x5
27 [^:]+: d538c125 mrs x5, disr_el1
28 [^:]+: d53cc125 mrs x5, vdisr_el2
34 [^:]+: d5385405 mrs x5, erxfr_el1
[all …]
|
| /dports/devel/arm-elf-binutils/binutils-2.37/gas/testsuite/gas/aarch64/ |
| H A D | armv8-ras-1.d | 11 [^:]+: d5385305 mrs x5, erridr_el1
14 [^:]+: d5385405 mrs x5, erxfr_el1
15 [^:]+: d5185425 msr erxctlr_el1, x5
16 [^:]+: d5385425 mrs x5, erxctlr_el1
19 [^:]+: d5185465 msr erxaddr_el1, x5
25 [^:]+: d53c5265 mrs x5, vsesr_el2
26 [^:]+: d518c125 msr disr_el1, x5
27 [^:]+: d538c125 mrs x5, disr_el1
28 [^:]+: d53cc125 mrs x5, vdisr_el2
34 [^:]+: d5385405 mrs x5, erxfr_el1
[all …]
|
| /dports/devel/gnulibiberty/binutils-2.37/gas/testsuite/gas/aarch64/ |
| H A D | armv8-ras-1.d | 11 [^:]+: d5385305 mrs x5, erridr_el1
14 [^:]+: d5385405 mrs x5, erxfr_el1
15 [^:]+: d5185425 msr erxctlr_el1, x5
16 [^:]+: d5385425 mrs x5, erxctlr_el1
19 [^:]+: d5185465 msr erxaddr_el1, x5
25 [^:]+: d53c5265 mrs x5, vsesr_el2
26 [^:]+: d518c125 msr disr_el1, x5
27 [^:]+: d538c125 mrs x5, disr_el1
28 [^:]+: d53cc125 mrs x5, vdisr_el2
34 [^:]+: d5385405 mrs x5, erxfr_el1
[all …]
|
| /dports/lang/gnatdroid-binutils/binutils-2.27/gas/testsuite/gas/aarch64/ |
| H A D | armv8-ras-1.d | 11 [^:]+: d5385305 mrs x5, erridr_el1
14 [^:]+: d5385405 mrs x5, erxfr_el1
15 [^:]+: d5185425 msr erxctlr_el1, x5
16 [^:]+: d5385425 mrs x5, erxctlr_el1
19 [^:]+: d5185465 msr erxaddr_el1, x5
25 [^:]+: d53c5265 mrs x5, vsesr_el2
26 [^:]+: d518c125 msr disr_el1, x5
27 [^:]+: d538c125 mrs x5, disr_el1
28 [^:]+: d53cc125 mrs x5, vdisr_el2
34 [^:]+: d5385405 mrs x5, erxfr_el1
[all …]
|
| /dports/devel/binutils/binutils-2.37/gas/testsuite/gas/aarch64/ |
| H A D | armv8-ras-1.d | 11 [^:]+: d5385305 mrs x5, erridr_el1
14 [^:]+: d5385405 mrs x5, erxfr_el1
15 [^:]+: d5185425 msr erxctlr_el1, x5
16 [^:]+: d5385425 mrs x5, erxctlr_el1
19 [^:]+: d5185465 msr erxaddr_el1, x5
25 [^:]+: d53c5265 mrs x5, vsesr_el2
26 [^:]+: d518c125 msr disr_el1, x5
27 [^:]+: d538c125 mrs x5, disr_el1
28 [^:]+: d53cc125 mrs x5, vdisr_el2
34 [^:]+: d5385405 mrs x5, erxfr_el1
[all …]
|
| /dports/math/calc/calc-2.14.0.14/cscript/ |
| H A D | 4dsphere.calc | 101 * | x5^2+y5^2+z5^2+w5^2 x5 y5 z5 w5 1 |
120 -x5*z4- (x4-x5)*z3) - (z3^2+y3^2+x3^2+w3^2)*(x4*z5-x5*z4))
139 (x4-x5)*z3) +y3*(x4*z5-x5*z4) - (x4*y5-x5*y4)*z3+
211 (w5*x4-w4*x5)*(z3^2+y3^2+x3^2+w3^2) + (-w4*x5-w3*(x4-x5) +w5*x4+
217 -x3*(w5*z4-w4*z5) + (w5*x4-w4*x5)*z3- (-w4*x5-w3*(x4-x5) +w5*x4+
229 -y3*(x4*z5-x5*z4) + (x4*y5-x5*y4)*z3))
282 -x5*y4- (x4-x5)*y3) -w3*(x4*y5-x5*y4) +x2*(-w4*y5-w3*(y4-y5)
296 +y3*(x4*z5-x5*z4) - (x4*y5-x5*y4)*z3+ (x4*y5+x3*(y4-y5) -x5*y4-
304 -x3*(w5*z4-w4*z5) + (w5*x4-w4*x5)*z3- (-w4*x5-w3*(x4-x5) +w5*x4+
307 (w5*x4-w4*x5)*y3)*z2+ (w2*(x4*y5+x3*(y4-y5) -x5*y4- (x4-x5)*y3)
[all …]
|
| /dports/math/frobby/frobby-0.9.1/test/bigIdeals/ |
| H A D | k4.irrdecom | 10 x10*x11*x13*x5*x9,
20 x10*x12*x16*x4*x5,
24 x10*x13*x4*x5*x9,
25 x10*x13*x5*x7*x9,
33 x10*x15*x3*x5*x7,
42 x10*x2*x4*x5*x6,
45 x10*x2*x5*x6*x7,
46 x10*x2*x5*x7*x9,
47 x10*x3*x4*x5*x7,
48 x10*x3*x5*x6*x7,
[all …]
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/test/CodeGen/PowerPC/ |
| H A D | convert-rr-to-ri-instrs-kill-flag.mir | 49 STD killed $x5, $x5, 100
50 ; CHECK: STD killed $x5, $x5, 100
68 STD $x5, $x5, 100
102 STD killed $x5, $x5, 100
103 ; CHECK: STD killed $x5, $x5, 100
137 STD killed $x5, $x5, 100
138 ; CHECK: STD $x5, $x5, 100
156 STD killed $x5, $x5, 100
157 ; CHECK: STD killed $x5, $x5, 100
175 STD killed $x5, $x5, 100
[all …]
|
| /dports/devel/llvm10/llvm-10.0.1.src/test/CodeGen/PowerPC/ |
| H A D | convert-rr-to-ri-instrs-kill-flag.mir | 49 STD killed $x5, $x5, 100
50 ; CHECK: STD killed $x5, $x5, 100
68 STD $x5, $x5, 100
102 STD killed $x5, $x5, 100
103 ; CHECK: STD killed $x5, $x5, 100
137 STD killed $x5, $x5, 100
138 ; CHECK: STD $x5, $x5, 100
156 STD killed $x5, $x5, 100
157 ; CHECK: STD killed $x5, $x5, 100
175 STD killed $x5, $x5, 100
[all …]
|