Home
last modified time | relevance | path

Searched refs:x_6 (Results 1 – 25 of 315) sorted by relevance

12345678910>>...13

/dports/math/gap/gap-4.11.0/pkg/ToricVarieties-2019.12.05/examples/
H A DRationalNormalcone7Output.g7 Q[x_1,x_2,x_3,x_4,x_5,x_6,x_7,x_8]/(
8 x_7^2-x_6*x_8, x_6*x_7-x_5*x_8, x_5*x_7-x_4*x_8,
10 x_6^2-x_4*x_8, x_5*x_6-x_3*x_8,
11 x_4*x_6-x_2*x_8, x_3*x_6-x_1*x_8, x_2*x_6-x_1*x_7,
13 x_2*x_5-x_1*x_6, x_4^2-x_1*x_7, x_3*x_4-x_1*x_6,
26 Q[x_1,x_2,x_3,x_4,x_5,x_6,x_7,x_8]/(
27 x_7^2-x_6*x_8, x_6*x_7-x_5*x_8, x_5*x_7-x_4*x_8,
29 x_6^2-x_4*x_8, x_5*x_6-x_3*x_8,
30 x_4*x_6-x_2*x_8, x_3*x_6-x_1*x_8, x_2*x_6-x_1*x_7,
32 x_2*x_5-x_1*x_6, x_4^2-x_1*x_7, x_3*x_4-x_1*x_6,
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/lemmas/
H A Dclocksynchro_5clocks.main_invar.base.model.smt14 :extrafuns ((x_6 Real))
98 :assumption (not (<= x_6 0))
302 :assumption (=(+ x_6 (* (~ 1) x_9)) 0)
303 :assumption (=(+ x_6 (* (~ 1) x_9)) 0)
306 :assumption (=(+ x_6 (* (~ 1) x_8)) 0)
307 :assumption (=(+ x_6 (* (~ 1) x_8)) 0)
404 :assumption (>= (+ x_0 x_6 x_7) 1)
419 :assumption (>= (+ x_0 x_6) 1)
500 :assumption (not (=x_6 1))
501 :assumption (not (=(+ x_6 x_7) 1))
[all …]
/dports/math/cvc4/CVC4-1.7/test/regress/regress1/lemmas/
H A Dclocksynchro_5clocks.main_invar.base.smt16 :extrafuns ((x_6 Real))
96 …x_6) x_7))) (flet ($cvcl_54 (= x_9 x_13)) (flet ($cvcl_49 (not $cvcl_54)) (flet ($cvcl_61 (= x_9 (…
/dports/math/gap/gap-4.11.0/pkg/fining/examples/include/
H A Dvarieties_grassmann.include10 x_7*x_20-x_9*x_19+x_10*x_18, x_6*x_20-x_8*x_19+x_10*x_17,
11 x_5*x_20-x_8*x_18+x_9*x_17, x_5*x_19-x_6*x_18+x_7*x_17,
13 x_4*x_18-x_7*x_15+x_9*x_13, x_4*x_17+x_5*x_16-x_6*x_15+x_8*x_13,
14 x_3*x_20-x_8*x_16+x_10*x_14, x_3*x_19-x_6*x_16+x_10*x_12,
16 x_3*x_17-x_6*x_14+x_8*x_12, x_2*x_20-x_8*x_15+x_9*x_14,
17 x_2*x_19-x_6*x_15+x_7*x_14+x_10*x_11, x_2*x_19+x_4*x_17-x_6*x_15+x_9*x_12,
21 x_1*x_20+x_3*x_18-x_6*x_15+x_9*x_12, x_1*x_20-x_2*x_19+x_5*x_16-x_10*x_11,
22 x_1*x_19-x_6*x_13+x_7*x_12, x_1*x_18-x_5*x_13+x_7*x_11,
23 x_1*x_17-x_5*x_12+x_6*x_11, x_1*x_16-x_3*x_13+x_4*x_12,
H A Dcps_shadowofelement.include7 7,GF(7)): x_1^2+x_2^2+x_3^2+x_4^2+x_5^2+x_6^2+x_7^2+x_8^2=0 &gt;
11 Q+(7, 7): x_1^2+x_2^2+x_3^2+x_4^2+x_5^2+x_6^2+x_7^2+x_8^2=0
17 &lt;a plane in Q+(7, 7): x_1^2+x_2^2+x_3^2+x_4^2+x_5^2+x_6^2+x_7^2+x_8^2=0&gt;
21 &lt;shadow solids in Q+(7, 7): x_1^2+x_2^2+x_3^2+x_4^2+x_5^2+x_6^2+x_7^2+x_8^2=0&gt;
23 [ &lt;a solid in Q+(7, 7): x_1^2+x_2^2+x_3^2+x_4^2+x_5^2+x_6^2+x_7^2+x_8^2=0&gt;,
24 &lt;a solid in Q+(7, 7): x_1^2+x_2^2+x_3^2+x_4^2+x_5^2+x_6^2+x_7^2+x_8^2=0&gt; ]
26 &lt;shadow lines in Q+(7, 7): x_1^2+x_2^2+x_3^2+x_4^2+x_5^2+x_6^2+x_7^2+x_8^2=0&gt;
H A Dmorphisms_isopolar.include7 5,GF(5)): x_1^2+x_2^2+x_3^2+x_4^2+x_5^2+x_6^2=0 &gt;
19 &lt;polar space in ProjectiveSpace(5,GF(5)): x_1*x_6+x_2*x_5+x_3*x_4=0 &gt;
23 5): x_1^2+x_2^2+x_3^2+x_4^2+x_5^2+x_6^2=0&gt; to &lt;Elements of Q+(5,
24 5): x_1*x_6+x_2*x_5+x_3*x_4=0&gt;&gt;
33 5): x_1^2+x_2^2+x_3^2+x_4^2+x_5^2+x_6^2=0&gt; to &lt;Elements of Q+(5,
34 5): x_1*x_6+x_2*x_5+x_3*x_4=0&gt;&gt;
/dports/math/cvc4/CVC4-1.7/test/regress/regress1/sym/
H A Dsym4.smt212 (declare-fun x_6 () Int)
29 (assert (>= x_6 0))
40 (assert (<= (+ (* 37 x_0) (* 37 x_1) (* 37 x_2) (* 37 x_3) (* 37 x_4) (* 37 x_5) (* 37 x_6) (* 37 x…
41 (assert (<= (+ (* 41 x_0) (* 41 x_1) (* 41 x_2) (* 41 x_3) (* 41 x_4) (* 41 x_5) (* 41 x_6) (* 41 x…
42 (assert (<= (+ (* 43 x_0) (* 43 x_1) (* 43 x_2) (* 43 x_3) (* 43 x_4) (* 43 x_5) (* 43 x_6) (* 43 x…
43 (assert (<= (+ (* 47 x_0) (* 47 x_1) (* 47 x_2) (* 47 x_3) (* 47 x_4) (* 47 x_5) (* 47 x_6) (* 47 x…
44 (assert (<= (+ (* 53 x_0) (* 53 x_1) (* 53 x_2) (* 53 x_3) (* 53 x_4) (* 53 x_5) (* 53 x_6) (* 53 x…
45 (assert (<= (+ (* 59 x_0) (* 59 x_1) (* 59 x_2) (* 59 x_3) (* 59 x_4) (* 59 x_5) (* 59 x_6) (* 59 x…
46 (assert (>= (+ x_0 x_1 x_2 x_3 x_4 x_5 x_6 x_7 x_8 x_9 x_10 x_11 x_12 x_13 x_14 x_15 x_16) 1))
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/jdk/java/beans/Introspector/
H A DMethodOrderException.java90 RandomAccess x_6(); in x_6() method
142 ArrayList x_6(); in x_6() method
170 Object x_6(); in x_6() method
198 ArrayList x_6(); in x_6() method
206 Iterable x_6(); in x_6() method
262 ArrayList x_6(); in x_6() method
334 RandomAccess x_6(); in x_6() method
338 Cloneable x_6(); in x_6() method
418 Cloneable x_6(); in x_6() method
438 Iterable x_6(); in x_6() method
[all …]
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/jdk/java/beans/Introspector/
H A DMethodOrderException.java90 RandomAccess x_6(); in x_6() method
142 ArrayList x_6(); in x_6() method
170 Object x_6(); in x_6() method
198 ArrayList x_6(); in x_6() method
206 Iterable x_6(); in x_6() method
262 ArrayList x_6(); in x_6() method
334 RandomAccess x_6(); in x_6() method
338 Cloneable x_6(); in x_6() method
418 Cloneable x_6(); in x_6() method
438 Iterable x_6(); in x_6() method
[all …]
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/test/jdk/java/beans/Introspector/
H A DMethodOrderException.java90 RandomAccess x_6(); in x_6() method
142 ArrayList x_6(); in x_6() method
170 Object x_6(); in x_6() method
198 ArrayList x_6(); in x_6() method
206 Iterable x_6(); in x_6() method
262 ArrayList x_6(); in x_6() method
334 RandomAccess x_6(); in x_6() method
338 Cloneable x_6(); in x_6() method
418 Cloneable x_6(); in x_6() method
438 Iterable x_6(); in x_6() method
[all …]
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/test/jdk/java/beans/Introspector/
H A DMethodOrderException.java90 RandomAccess x_6(); in x_6() method
142 ArrayList x_6(); in x_6() method
170 Object x_6(); in x_6() method
198 ArrayList x_6(); in x_6() method
206 Iterable x_6(); in x_6() method
262 ArrayList x_6(); in x_6() method
334 RandomAccess x_6(); in x_6() method
338 Cloneable x_6(); in x_6() method
418 Cloneable x_6(); in x_6() method
438 Iterable x_6(); in x_6() method
[all …]
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/test/jdk/java/beans/Introspector/
H A DMethodOrderException.java90 RandomAccess x_6(); in x_6() method
142 ArrayList x_6(); in x_6() method
170 Object x_6(); in x_6() method
198 ArrayList x_6(); in x_6() method
206 Iterable x_6(); in x_6() method
262 ArrayList x_6(); in x_6() method
334 RandomAccess x_6(); in x_6() method
338 Cloneable x_6(); in x_6() method
418 Cloneable x_6(); in x_6() method
438 Iterable x_6(); in x_6() method
[all …]
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/test/jdk/java/beans/Introspector/
H A DMethodOrderException.java90 RandomAccess x_6(); in x_6() method
142 ArrayList x_6(); in x_6() method
170 Object x_6(); in x_6() method
198 ArrayList x_6(); in x_6() method
206 Iterable x_6(); in x_6() method
262 ArrayList x_6(); in x_6() method
334 RandomAccess x_6(); in x_6() method
338 Cloneable x_6(); in x_6() method
418 Cloneable x_6(); in x_6() method
438 Iterable x_6(); in x_6() method
[all …]
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/jdk/java/beans/Introspector/
H A DMethodOrderException.java90 RandomAccess x_6(); in x_6() method
142 ArrayList x_6(); in x_6() method
170 Object x_6(); in x_6() method
198 ArrayList x_6(); in x_6() method
206 Iterable x_6(); in x_6() method
262 ArrayList x_6(); in x_6() method
334 RandomAccess x_6(); in x_6() method
338 Cloneable x_6(); in x_6() method
418 Cloneable x_6(); in x_6() method
438 Iterable x_6(); in x_6() method
[all …]
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/jdk/java/beans/Introspector/
H A DMethodOrderException.java90 RandomAccess x_6(); in x_6() method
142 ArrayList x_6(); in x_6() method
170 Object x_6(); in x_6() method
198 ArrayList x_6(); in x_6() method
206 Iterable x_6(); in x_6() method
262 ArrayList x_6(); in x_6() method
334 RandomAccess x_6(); in x_6() method
338 Cloneable x_6(); in x_6() method
418 Cloneable x_6(); in x_6() method
438 Iterable x_6(); in x_6() method
[all …]
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/
H A Duf20-03.cvc7 x_6 : BOOLEAN;
24 ASSERT x_6 OR x_14 OR NOT x_17;
30 ASSERT x_13 OR NOT x_6 OR x_15;
34 ASSERT NOT x_15 OR NOT x_16 OR x_6;
40 ASSERT x_6 OR NOT x_5 OR NOT x_1;
42 ASSERT x_19 OR NOT x_6 OR x_7;
44 ASSERT x_9 OR NOT x_16 OR x_6;
51 ASSERT x_17 OR x_6 OR NOT x_11;
85 ASSERT x_9 OR NOT x_10 OR x_6;
94 ASSERT NOT x_6 OR x_17 OR x_10;
[all …]
/dports/math/gap/gap-4.11.0/pkg/FPLSA-1.2.4/lib/
H A Dskdv266.in1 Generators: x_1 x_2 x_3 x_4 x_5 x_6 -y_1 -y_2 -y_3 -y_4 -y_5 -y_6;
8 [y_1,x_6] - y_2;
13 [y_5,y_1] - x_6;
25 [x_1,x_6] - [y_6,y_1] - 3 x_3;
/dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gcc.dg/vect/
H A Dbb-slp-48.c19 _2 = x_6(D) * 3.0e+0; in foo()
21 _3 = x_6(D) + 1.0e+0; in foo()
41 _2 = x_6(D) * 3.0e+0; in bar()
43 _3 = x_6(D) + 1.0e+0; in bar()
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gcc.dg/vect/
H A Dbb-slp-48.c19 _2 = x_6(D) * 3.0e+0; in foo()
21 _3 = x_6(D) + 1.0e+0; in foo()
41 _2 = x_6(D) * 3.0e+0; in bar()
43 _3 = x_6(D) + 1.0e+0; in bar()
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/gcc.dg/vect/
H A Dbb-slp-48.c19 _2 = x_6(D) * 3.0e+0; in foo()
21 _3 = x_6(D) + 1.0e+0; in foo()
41 _2 = x_6(D) * 3.0e+0; in bar()
43 _3 = x_6(D) + 1.0e+0; in bar()
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gcc.dg/vect/
H A Dbb-slp-48.c19 _2 = x_6(D) * 3.0e+0; in foo()
21 _3 = x_6(D) + 1.0e+0; in foo()
41 _2 = x_6(D) * 3.0e+0; in bar()
43 _3 = x_6(D) + 1.0e+0; in bar()
/dports/math/gap/gap-4.11.0/pkg/forms/tst/output/
H A Dtest_forms7.out3 GF(7)[x_1,x_2,x_3,x_4,x_5,x_6]
5 [ x_1, x_2, x_3, x_4, x_5, x_6 ]
7 Z(7)^4*x_1^2-x_2*x_3-x_4*x_6+x_5^2
21 Polynomial: Z(7)^4*x_1^2-x_2*x_3-x_4*x_6+x_5^2
/dports/math/gap/gap-4.11.0/pkg/forms/tst/
H A Dtest_forms7.tst3 GF(7)[x_1,x_2,x_3,x_4,x_5,x_6]
5 [ x_1, x_2, x_3, x_4, x_5, x_6 ]
7 Z(7)^4*x_1^2-x_2*x_3-x_4*x_6+x_5^2
21 Polynomial: Z(7)^4*x_1^2-x_2*x_3-x_4*x_6+x_5^2
/dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gcc.dg/tree-ssa/
H A Dpr98513.c15 _1 = (unsigned int) x_6(D); in foo()
23 if (x_6(D) <= tem_5) in foo()
29 if (x_6(D) > 5) in foo()
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gcc.dg/tree-ssa/
H A Dpr98513.c15 _1 = (unsigned int) x_6(D); in foo()
23 if (x_6(D) <= tem_5) in foo()
29 if (x_6(D) > 5) in foo()

12345678910>>...13