/dports/print/easylatex/easylatex-0.08/testFiles/ |
H A D | inequalityAfterFirstEqnWithTextrm.tex.correct | 13 &C(v_1) + C(v_2) + C(v_5) + C(v_6) 14 \\&\geq C(v_1) + C(v_2) + C(v_5) + C(v_6) - 2*c(v_1, v_2) 15 \\&= C(v_1,v_2) + C(v_5) + C(v_6) 16 \\&\geq C(v_1,v_2) + C(v_5) + C(v_6) - 2*c(v_1 v_2, v_6) 17 \\&= C(v_1,v_2, v_6) + C(v_5) 18 \\&\geq C(v_1,v_2, v_3) + C(v_5) & \textrm{ if $v_6$ is connected to $v_1$ or $v_2$} 19 \\&\geq C(v_1,v_2, v_3) + C(v_5) - 2*c(v_1 v_2 v_3, v_5) 20 \\&= C(v_1,v_2, v_3, v_5) 21 \\&\geq C(v_1,v_2, v_3, v_4) & \textrm{ if $v_5$ is connected to $v_1$ or $v_2$ or $v_3$}
|
H A D | inequalityAfterFirstEqn.tex.correct | 13 &C(v_1) + C(v_2) + C(v_5) + C(v_6) 14 \\&\geq C(v_1) + C(v_2) + C(v_5) + C(v_6) - 2*c(v_1, v_2) 15 \\&= C(v_1,v_2) + C(v_5) + C(v_6) 16 \\&\geq C(v_1,v_2) + C(v_5) + C(v_6) - 2*c(v_1 v_2, v_6) 17 \\&= C(v_1,v_2, v_6) + C(v_5) 18 \\&\geq C(v_1,v_2, v_3) + C(v_5) 19 \\&\geq C(v_1,v_2, v_3) + C(v_5) - 2*c(v_1 v_2 v_3, v_5) 20 \\&= C(v_1,v_2, v_3, v_5)
|
/dports/math/gap/gap-4.11.0/pkg/semigroups-3.2.3/tst/standard/ |
H A D | semigraph.tst | 30 e_5e_3^-1e_1^-1, v_1, v_2, v_3, v_4, v_5 ] 50 e_5e_3^-1e_1^-1, v_1, v_2, v_3, v_4, v_5 ] 52 [ v_5, v_3, v_5, v_5, v_3, v_3, v_2, v_1, v_1, v_1, v_1, v_1, v_1, v_1, v_1, 54 v_4, v_4, v_4, v_1, v_2, v_3, v_4, v_5 ] 56 [ v_4, v_4, v_2, v_1, v_2, v_1, v_1, v_2, v_1, v_3, v_4, v_2, v_1, v_5, v_4, 57 v_2, v_1, v_3, v_4, v_2, v_1, v_5, v_4, v_2, v_1, v_3, v_4, v_2, v_1, v_5, 58 v_4, v_2, v_1, v_1, v_2, v_3, v_4, v_5 ]
|
/dports/math/boolector/boolector-3.2.2/test/log/ |
H A D | sc12fuzzcheck2.smt2 | 1 …v_5 (bvneg ?v_1)) (?v_13 (concat ?v_8 (_ bv28 5)))) (let ((?v_10 (bvxor ?v_5 ?v_2)) (?v_15 (bvcomp…
|
/dports/math/cppad/CppAD-20210000.8/introduction/ |
H A D | exp_2.omh | 150 v_5^{(0)} = 322 v_5^{(1)} = 400 f_5 ( v_1 , v_2 , v_3 , v_4 , v_5 ) & = & v_5 411 v_5 = v_2 + v_4 427 \D{f_5}{v_5} * \D{v_5}{v_2} 432 \D{f_5}{v_5} * \D{v_5}{v_4} 705 v_5^{(2)} = 788 v_1^{(0)}, v_1^{(1)} , \ldots , v_5^{(0)} , v_5^{(1)} 790 & = & v_5^{(1)} 825 \D{f_5}{v_5^{(1)}} * \D{v_5^{(1)}}{v_2^{(1)}} [all …]
|
H A D | exp_eps.omh | 481 v_6 = v_5 / 2 489 f_6 [ v_1 , v_2 , v_3 , v_4 , v_5 , v_6 ( v_5 ) ] 498 \D{f_5}{v_5} 509 v_5 = v_3 * v_1 526 \D{f_5}{v_5} * \D{v_5}{v_1} 533 \D{f_5}{v_5} * \D{v_5}{v_3} 1015 \D{f_5}{v_5^{(1)}} 1055 + \D{f_5}{v_5^{(1)}} * \D{v_5^{(1)}}{v_1^{(0)}} 1060 + \D{f_5}{v_5^{(1)}} * \D{v_5^{(1)}}{v_1^{(1)}} 1065 + \D{f_5}{v_5^{(1)}} * \D{v_5^{(1)}}{v_3^{(0)}} [all …]
|
/dports/net/mpich2/mpich2-1.5/src/openpa/test/ |
H A D | test_barriers.c | 53 OPA_int_t *v_5; member 413 OPA_int_t *v_0, *v_1, *v_2, *v_3, *v_4, *v_5, *v_6, *v_7, *v_8, *v_9; in test_barriers_variables_write() local 425 v_5 = udata->v_5; in test_barriers_variables_write() 444 OPA_incr_int(v_5); in test_barriers_variables_write() 484 OPA_int_t *v_0, *v_1, *v_2, *v_3, *v_4, *v_5, *v_6, *v_7, *v_8, *v_9; in test_barriers_variables_read() local 498 v_5 = udata->v_5; in test_barriers_variables_read() 516 read_buffer[5] = OPA_load_int(v_5); in test_barriers_variables_read() 571 OPA_int_t v_0, v_1, v_2, v_3, v_4, v_5, v_6, v_7, v_8, v_9; in test_barriers_variables() local 597 OPA_store_int(&v_5, 0); in test_barriers_variables() 610 thread_data[i].v_5 = &v_5; in test_barriers_variables() [all …]
|
/dports/www/zola/zola-0.15.2/cargo-crates/rust-stemmers-1.2.0/src/snowball/algorithms/ |
H A D | tamil.rs | 312 let v_5 = env.cursor; in r_fix_va_start() localVariable 316 env.cursor = v_5; in r_fix_va_start() 619 let v_5 = env.limit - env.cursor; in r_fix_ending() localVariable 627 env.cursor = env.limit - v_5; in r_fix_ending() 1303 env.cursor = env.limit - v_5; in r_remove_common_word_endings() 1881 env.cursor = env.limit - v_5; in r_remove_tense_suffix() 1889 env.cursor = env.limit - v_5; in r_remove_tense_suffix() 1897 env.cursor = env.limit - v_5; in r_remove_tense_suffix() 1905 env.cursor = env.limit - v_5; in r_remove_tense_suffix() 2463 let v_5 = env.cursor; in stem() localVariable [all …]
|
/dports/textproc/py-snowballstemmer/snowballstemmer-2.2.0/build/lib/snowballstemmer/ |
H A D | tamil_stemmer.py | 288 v_5 = self.cursor 291 self.cursor = v_5 461 v_5 = self.limit - self.cursor 467 self.cursor = self.limit - v_5 859 v_5 = self.limit - self.cursor 865 self.cursor = self.limit - v_5 1212 v_5 = self.limit - self.cursor 1218 self.cursor = self.limit - v_5 1224 self.cursor = self.limit - v_5 1596 v_5 = self.cursor [all …]
|
/dports/textproc/py-snowballstemmer/snowballstemmer-2.2.0/src/snowballstemmer/ |
H A D | tamil_stemmer.py | 288 v_5 = self.cursor 291 self.cursor = v_5 461 v_5 = self.limit - self.cursor 467 self.cursor = self.limit - v_5 859 v_5 = self.limit - self.cursor 865 self.cursor = self.limit - v_5 1212 v_5 = self.limit - self.cursor 1218 self.cursor = self.limit - v_5 1224 self.cursor = self.limit - v_5 1596 v_5 = self.cursor [all …]
|
/dports/textproc/py-snowballstemmer/stage/usr/local/lib/python3.8/site-packages/snowballstemmer/ |
H A D | tamil_stemmer.py | 288 v_5 = self.cursor 291 self.cursor = v_5 461 v_5 = self.limit - self.cursor 467 self.cursor = self.limit - v_5 859 v_5 = self.limit - self.cursor 865 self.cursor = self.limit - v_5 1212 v_5 = self.limit - self.cursor 1218 self.cursor = self.limit - v_5 1224 self.cursor = self.limit - v_5 1596 v_5 = self.cursor [all …]
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress1/quantifiers/ |
H A D | smtlibe99bbe.smt2 | 168 …_295)) (?v_5 (c_sort ?v_0 ?m3_370_298))) (=> (not_assigns ?v_1 ?v_4 ?v_2 ?v_3) (=> (not_assigns ?v… 205 …v_5 (c_sort ?v_0 ?t_global_496_404)) (?v_6 (c_sort ?v_0 ?s1PM_global_495_405)) (?v_2 (c_sort ?v_1 … 207 …v_5 (c_sort ?v_0 ?p1_global_505_413)) (?v_6 (c_sort ?v_0 ?anonymous_1PM_global_504_414)) (?v_2 (c_… 209 …v_5 (c_sort ?v_0 ?p1_global_512_421)) (?v_6 (c_sort ?v_0 ?anonymous_1PM_global_511_422)) (?v_2 (c_… 211 …v_5 (c_sort ?v_0 ?p1_global_518_427)) (?v_6 (c_sort ?v_0 ?anonymous_1PM_global_517_428)) (?v_2 (c_… 213 …v_5 (c_sort ?v_0 ?p1_global_524_436)) (?v_6 (c_sort ?v_0 ?anonymous_1PM_global_523_437)) (?v_2 (c_… 219 …v_5 (c_sort ?v_0 ?anonymous_2_p1_global_551_460)) (?v_6 (c_sort ?v_0 ?anonymous_2PM_global_550_461… 221 …v_5 (c_sort ?v_0 ?anonymous_2_p1_global_557_466)) (?v_6 (c_sort ?v_0 ?anonymous_2PM_global_556_467… 225 …v_5 (c_sort ?v_0 ?t_global_572_481)) (?v_6 (c_sort ?v_0 ?s1PM_global_571_482)) (?v_2 (c_sort ?v_1 … 227 …v_5 (c_sort ?v_0 ?t_global_578_487)) (?v_6 (c_sort ?v_0 ?s1PM_global_577_488)) (?v_2 (c_sort ?v_1 … [all …]
|
/dports/multimedia/gstreamer1-plugins-rust/gst-plugins-rs-d0466b3eee114207f851b37cae0015c0e718f021/cargo-crates/lexical-core-0.7.6/src/itoa/ |
H A D | decimal.rs | 285 let v_5 = v_4 / 100; localVariable 286 let v_6 = v_5 / 100; 292 let i_4 = sequential_index!(v_4, v_5); 293 let i_5 = sequential_index!(v_5, v_6); 324 let v_5 = v_4 / 100; localVariable 325 let v_6 = v_5 / 100; 333 let i_4 = sequential_index!(v_4, v_5); 371 let v_5 = v_4 / 100; localVariable 372 let v_6 = v_5 / 100; 487 let v_5 = v_4 / 100; localVariable [all …]
|
/dports/lang/gleam/gleam-0.18.2/cargo-crates/lexical-core-0.7.6/src/itoa/ |
H A D | decimal.rs | 285 let v_5 = v_4 / 100; localVariable 286 let v_6 = v_5 / 100; 292 let i_4 = sequential_index!(v_4, v_5); 293 let i_5 = sequential_index!(v_5, v_6); 324 let v_5 = v_4 / 100; localVariable 325 let v_6 = v_5 / 100; 333 let i_4 = sequential_index!(v_4, v_5); 371 let v_5 = v_4 / 100; localVariable 372 let v_6 = v_5 / 100; 487 let v_5 = v_4 / 100; localVariable [all …]
|
/dports/sysutils/zoxide/zoxide-0.6.0/cargo-crates/lexical-core-0.7.5/src/itoa/ |
H A D | decimal.rs | 285 let v_5 = v_4 / 100; localVariable 286 let v_6 = v_5 / 100; 292 let i_4 = sequential_index!(v_4, v_5); 293 let i_5 = sequential_index!(v_5, v_6); 324 let v_5 = v_4 / 100; localVariable 325 let v_6 = v_5 / 100; 333 let i_4 = sequential_index!(v_4, v_5); 371 let v_5 = v_4 / 100; localVariable 372 let v_6 = v_5 / 100; 487 let v_5 = v_4 / 100; localVariable [all …]
|
/dports/sysutils/vector/vector-0.10.0/cargo-crates/lexical-core-0.7.6/src/itoa/ |
H A D | decimal.rs | 285 let v_5 = v_4 / 100; localVariable 286 let v_6 = v_5 / 100; 292 let i_4 = sequential_index!(v_4, v_5); 293 let i_5 = sequential_index!(v_5, v_6); 324 let v_5 = v_4 / 100; localVariable 325 let v_6 = v_5 / 100; 333 let i_4 = sequential_index!(v_4, v_5); 371 let v_5 = v_4 / 100; localVariable 372 let v_6 = v_5 / 100; 487 let v_5 = v_4 / 100; localVariable [all …]
|
/dports/security/arti/arti-9d0ede26801cdb182daa85c3eb5f0058dc178eb6/cargo-crates/lexical-core-0.7.6/src/itoa/ |
H A D | decimal.rs | 285 let v_5 = v_4 / 100; localVariable 286 let v_6 = v_5 / 100; 292 let i_4 = sequential_index!(v_4, v_5); 293 let i_5 = sequential_index!(v_5, v_6); 324 let v_5 = v_4 / 100; localVariable 325 let v_6 = v_5 / 100; 333 let i_4 = sequential_index!(v_4, v_5); 371 let v_5 = v_4 / 100; localVariable 372 let v_6 = v_5 / 100; 487 let v_5 = v_4 / 100; localVariable [all …]
|
/dports/security/cargo-audit/rustsec-cargo-audit-v0.15.2/cargo-audit/cargo-crates/lexical-core-0.7.6/src/itoa/ |
H A D | decimal.rs | 285 let v_5 = v_4 / 100; localVariable 286 let v_6 = v_5 / 100; 292 let i_4 = sequential_index!(v_4, v_5); 293 let i_5 = sequential_index!(v_5, v_6); 324 let v_5 = v_4 / 100; localVariable 325 let v_6 = v_5 / 100; 333 let i_4 = sequential_index!(v_4, v_5); 371 let v_5 = v_4 / 100; localVariable 372 let v_6 = v_5 / 100; 487 let v_5 = v_4 / 100; localVariable [all …]
|
/dports/x11/sirula/sirula-1.0.0/cargo-crates/lexical-core-0.7.6/src/itoa/ |
H A D | decimal.rs | 285 let v_5 = v_4 / 100; localVariable 286 let v_6 = v_5 / 100; 292 let i_4 = sequential_index!(v_4, v_5); 293 let i_5 = sequential_index!(v_5, v_6); 324 let v_5 = v_4 / 100; localVariable 325 let v_6 = v_5 / 100; 333 let i_4 = sequential_index!(v_4, v_5); 371 let v_5 = v_4 / 100; localVariable 372 let v_6 = v_5 / 100; 487 let v_5 = v_4 / 100; localVariable [all …]
|
/dports/security/suricata/suricata-6.0.4/rust/vendor/lexical-core/src/itoa/ |
H A D | decimal.rs | 285 let v_5 = v_4 / 100; localVariable 286 let v_6 = v_5 / 100; 292 let i_4 = sequential_index!(v_4, v_5); 293 let i_5 = sequential_index!(v_5, v_6); 325 let v_5 = v_4 / 100; localVariable 326 let v_6 = v_5 / 100; 334 let i_4 = sequential_index!(v_4, v_5); 372 let v_5 = v_4 / 100; localVariable 373 let v_6 = v_5 / 100; 491 let v_5 = v_4 / 100; localVariable [all …]
|
/dports/www/zola/zola-0.15.2/cargo-crates/lexical-core-0.7.6/src/itoa/ |
H A D | decimal.rs | 285 let v_5 = v_4 / 100; localVariable 286 let v_6 = v_5 / 100; 292 let i_4 = sequential_index!(v_4, v_5); 293 let i_5 = sequential_index!(v_5, v_6); 324 let v_5 = v_4 / 100; localVariable 325 let v_6 = v_5 / 100; 333 let i_4 = sequential_index!(v_4, v_5); 371 let v_5 = v_4 / 100; localVariable 372 let v_6 = v_5 / 100; 487 let v_5 = v_4 / 100; localVariable [all …]
|
/dports/graphics/pastel/pastel-0.8.1/cargo-crates/lexical-core-0.7.6/src/itoa/ |
H A D | decimal.rs | 285 let v_5 = v_4 / 100; localVariable 286 let v_6 = v_5 / 100; 292 let i_4 = sequential_index!(v_4, v_5); 293 let i_5 = sequential_index!(v_5, v_6); 324 let v_5 = v_4 / 100; localVariable 325 let v_6 = v_5 / 100; 333 let i_4 = sequential_index!(v_4, v_5); 371 let v_5 = v_4 / 100; localVariable 372 let v_6 = v_5 / 100; 487 let v_5 = v_4 / 100; localVariable [all …]
|
/dports/textproc/angle-grinder/angle-grinder-0.18.0/cargo-crates/lexical-core-0.7.6/src/itoa/ |
H A D | decimal.rs | 285 let v_5 = v_4 / 100; localVariable 286 let v_6 = v_5 / 100; 292 let i_4 = sequential_index!(v_4, v_5); 293 let i_5 = sequential_index!(v_5, v_6); 324 let v_5 = v_4 / 100; localVariable 325 let v_6 = v_5 / 100; 333 let i_4 = sequential_index!(v_4, v_5); 371 let v_5 = v_4 / 100; localVariable 372 let v_6 = v_5 / 100; 487 let v_5 = v_4 / 100; localVariable [all …]
|
/dports/www/newsboat/newsboat-2.22.1/cargo-crates/lexical-core-0.7.6/src/itoa/ |
H A D | decimal.rs | 285 let v_5 = v_4 / 100; localVariable 286 let v_6 = v_5 / 100; 292 let i_4 = sequential_index!(v_4, v_5); 293 let i_5 = sequential_index!(v_5, v_6); 324 let v_5 = v_4 / 100; localVariable 325 let v_6 = v_5 / 100; 333 let i_4 = sequential_index!(v_4, v_5); 371 let v_5 = v_4 / 100; localVariable 372 let v_6 = v_5 / 100; 487 let v_5 = v_4 / 100; localVariable [all …]
|
/dports/multimedia/neolink/neolink-cf54129/cargo-crates/lexical-core-0.7.6/src/itoa/ |
H A D | decimal.rs | 285 let v_5 = v_4 / 100; localVariable 286 let v_6 = v_5 / 100; 292 let i_4 = sequential_index!(v_4, v_5); 293 let i_5 = sequential_index!(v_5, v_6); 324 let v_5 = v_4 / 100; localVariable 325 let v_6 = v_5 / 100; 333 let i_4 = sequential_index!(v_4, v_5); 371 let v_5 = v_4 / 100; localVariable 372 let v_6 = v_5 / 100; 487 let v_5 = v_4 / 100; localVariable [all …]
|