| /dports/lang/racket/racket-8.3/share/pkgs/redex-benchmark/redex/benchmark/models/let-poly/ |
| H A D | let-poly-5.rkt | 8 (define the-error "eliminate-G was written as if it always gets a Gx as input")
11 ([(eliminate-G x τ (σ_1 σ_2 G))
12 ((eliminate-τ x τ σ_1) (eliminate-τ x τ σ_2) (eliminate-G x τ G))]
15 ([(eliminate-G x τ (x σ G))
16 (τ (eliminate-τ x τ σ) (eliminate-G x τ G))]
17 [(eliminate-G x τ (y σ G))
18 (y (eliminate-τ x τ σ) (eliminate-G x τ G))]
|
| /dports/science/mpqc/mpqc-2.3.1/src/lib/chemistry/qc/intv3/ |
| H A D | storage.cc | 157 costlist.remove(eliminate); in store()
158 table_[eliminate->hash()%table_size_].remove(eliminate); in store()
160 n_integrals_ -= eliminate->size; in store()
163 eliminate->intlist.key.sh0(),eliminate->intlist.key.sh1(), in store()
164 eliminate->intlist.key.sh2(),eliminate->intlist.key.sh3(), in store()
165 eliminate->intlist.key.p12(), eliminate->intlist.key.p34(), in store()
166 eliminate->intlist.key.p13p24(), in store()
167 eliminate->size, eliminate->costlist.key, in store()
168 eliminate, in store()
169 eliminate->hash()%table_size_); in store()
[all …]
|
| /dports/math/mathomatic/mathomatic-ceb0861/misc/ |
| H A D | linear4.in | 2 ; Solve for all 4 unknowns using the eliminate, solve, and simplify commands.
6 ; By using the simplify command immediately after some eliminate commands,
19 eliminate x1 ; eliminate x1 variable from eq#2
21 eliminate x1 x2 ; eliminate x1 x2 from eq#3
23 eliminate x1 x2 x3 ; eliminate x1 x2 x3 from eq#4
27 eliminate x4 using 4; find x3
29 eliminate x4 using 4, x3 using 3; find x2
31 eliminate x4 using 4, x3 using 3, x2 using 2; find x1
|
| /dports/math/mathomatic/mathomatic-ceb0861/tests/ |
| H A D | linear.in | 3 ; Solve for all 3 unknowns using the eliminate, solve, and simplify commands.
11 eliminate x ; eliminate variable x from the current equation
13 eliminate x y ; eliminate variables x and then y from the current equation
16 eliminate z using 3 ; find y by combining equation numbers 2 and 3
19 eliminate z using 3, y using 2; find x
|
| H A D | poly.in | 11 eliminate a ; eliminate variable (a) from the current equation
13 eliminate a b ; eliminate variables (a) and then (b) from the current equation
17 eliminate c using 3 ; find (b) by combining equation numbers 2 and 3
20 eliminate c using 3, b using 2 ; find (a)
|
| /dports/x11/lxpanel/lxpanel-0.9.3/plugins/xkb/xkeyboardconfig/ |
| H A D | layouts.cfg | 38 be(nodeadkeys) = Belgian (eliminate dead keys)
103 de(nodeadkeys) = German (eliminate dead keys)
112 dk(nodeadkeys) = Danish (eliminate dead keys)
115 ee(nodeadkeys) = Estonian (eliminate dead keys)
125 es(nodeadkeys) = Spanish (eliminate dead keys)
134 fo(nodeadkeys) = Faroese (eliminate dead keys)
145 fr(nodeadkeys) = French (eliminate dead keys)
177 gr(nodeadkeys) = Greek (eliminate dead keys)
202 hu(nodeadkeys) = Hungarian (eliminate dead keys)
260 it(nodeadkeys) = Italian (eliminate dead keys)
[all …]
|
| /dports/lang/racket/racket-8.3/collects/xml/private/ |
| H A D | space.rkt | 6 …[eliminate-whitespace (() ((listof symbol?) (boolean? . -> . boolean?)) . ->* . (element? . -> . e…
8 ;; eliminate-whitespace : (listof Symbol) (Bool -> Bool) -> Element -> Element
9 (define (eliminate-whitespace [special empty]
10 [eliminate-special? (λ (x) x)])
23 [(eliminate-special? (and (memq (element-name el) special) #t))
27 …(error 'eliminate-blanks "Element <~a> is not allowed to contain text ~e" name (pcdata-string s)))…
|
| /dports/lang/racket-minimal/racket-8.3/collects/xml/private/ |
| H A D | space.rkt | 6 …[eliminate-whitespace (() ((listof symbol?) (boolean? . -> . boolean?)) . ->* . (element? . -> . e…
8 ;; eliminate-whitespace : (listof Symbol) (Bool -> Bool) -> Element -> Element
9 (define (eliminate-whitespace [special empty]
10 [eliminate-special? (λ (x) x)])
23 [(eliminate-special? (and (memq (element-name el) special) #t))
27 …(error 'eliminate-blanks "Element <~a> is not allowed to contain text ~e" name (pcdata-string s)))…
|
| /dports/astro/gpstk/GPSTk-8.0.0/rpm_files/SPECS/ |
| H A D | gpstk.spec | 124 - Fix gdc::getArcStats to eliminate a memory leak.
126 - Fix OrbSysStore to eliminate a memory leak.
127 - Fix OrbAlmStore to eliminate a memory leak.
128 - Fix rstats to eliminate a memory leak.
130 - Fix CNavFilter_T to eliminate a memory leak.
131 - Fix CNav2Filter_T to eliminate a memory leak.
133 - Fix CommandOption_T to eliminate a memory leak.
137 - Fix RinDump to eliminate a memory leak.
139 - Fix PRSolve to eliminate a memory leak.
140 - Fix rinheaddiff to eliminate a memory leak.
[all …]
|
| /dports/biology/seqan/seqan-library-2.4.0/include/seqan/graph_algorithms/ |
| H A D | maximum_weighted_matching.h | 75 std::size_t eliminate = conflicts.front().second; in _evaluateConflicts() local
78 [&eliminate] (std::pair<std::size_t, std::size_t> const & conflict) in _evaluateConflicts()
80 return conflict.first != eliminate && conflict.second != eliminate; in _evaluateConflicts()
82 TCargo excludedWeight1 = weights[eliminate]; in _evaluateConflicts()
88 eliminate = conflicts.front().first; in _evaluateConflicts()
89 TCargo excludedWeight2 = weights[eliminate]; in _evaluateConflicts()
101 [&eliminate] (std::pair<std::size_t, std::size_t> const & conflict) in _evaluateConflicts()
103 return conflict.first != eliminate && conflict.second != eliminate; in _evaluateConflicts()
|
| /dports/biology/seqan-apps/seqan-seqan-v2.4.0/include/seqan/graph_algorithms/ |
| H A D | maximum_weighted_matching.h | 75 std::size_t eliminate = conflicts.front().second; in _evaluateConflicts() local
78 [&eliminate] (std::pair<std::size_t, std::size_t> const & conflict) in _evaluateConflicts()
80 return conflict.first != eliminate && conflict.second != eliminate; in _evaluateConflicts()
82 TCargo excludedWeight1 = weights[eliminate]; in _evaluateConflicts()
88 eliminate = conflicts.front().first; in _evaluateConflicts()
89 TCargo excludedWeight2 = weights[eliminate]; in _evaluateConflicts()
101 [&eliminate] (std::pair<std::size_t, std::size_t> const & conflict) in _evaluateConflicts()
103 return conflict.first != eliminate && conflict.second != eliminate; in _evaluateConflicts()
|
| /dports/lang/racket/racket-8.3/share/pkgs/htdp-lib/xml/ |
| H A D | xml-snipclass.rkt | 10 (init-field eliminate-whitespace-in-empty-tags?)
13 (xml-read-special eliminate-whitespace-in-empty-tags?
25 (let* ([eliminate-whitespace-in-empty-tags? (zero? (send stream-in get-exact))]
27 … (eliminate-whitespace-in-empty-tags? eliminate-whitespace-in-empty-tags?))])
|
| /dports/lang/racket/racket-8.3/share/pkgs/htdp-lib/stepper/ |
| H A D | xml-tool.rkt | 46 (init-field eliminate-whitespace-in-empty-tags?)
50 (if eliminate-whitespace-in-empty-tags?
63 [eliminate-item
70 (send eliminate-item check eliminate-whitespace-in-empty-tags?)
75 (unless (eq? eliminate-whitespace-in-empty-tags? new)
76 (set! eliminate-whitespace-in-empty-tags? new)
84 (xml-read-special eliminate-whitespace-in-empty-tags?
98 [eliminate-whitespace-in-empty-tags? eliminate-whitespace-in-empty-tags?]))
111 [eliminate-whitespace-in-empty-tags?
129 … [eliminate-whitespace-in-empty-tags? eliminate-whitespace-in-empty-tags?])])
[all …]
|
| /dports/lang/gcc8/gcc-8.5.0/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | pr20318.c | 5 extern void eliminate ();
8 eliminate (); in g()
13 eliminate (); in h()
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | pr20318.c | 5 extern void eliminate ();
8 eliminate (); in g()
13 eliminate (); in h()
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | pr20318.c | 5 extern void eliminate ();
8 eliminate (); in g()
13 eliminate (); in h()
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | pr20318.c | 5 extern void eliminate ();
8 eliminate (); in g()
13 eliminate (); in h()
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | pr20318.c | 5 extern void eliminate ();
8 eliminate (); in g()
13 eliminate (); in h()
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | pr20318.c | 5 extern void eliminate ();
8 eliminate (); in g()
13 eliminate (); in h()
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | pr20318.c | 5 extern void eliminate ();
8 eliminate (); in g()
13 eliminate (); in h()
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | pr20318.c | 5 extern void eliminate ();
8 eliminate (); in g()
13 eliminate (); in h()
|
| /dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | pr20318.c | 5 extern void eliminate ();
8 eliminate (); in g()
13 eliminate (); in h()
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | pr20318.c | 5 extern void eliminate ();
8 eliminate (); in g()
13 eliminate (); in h()
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | pr20318.c | 5 extern void eliminate ();
8 eliminate (); in g()
13 eliminate (); in h()
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gcc.dg/tree-ssa/ |
| H A D | pr20318.c | 5 extern void eliminate ();
8 eliminate (); in g()
13 eliminate (); in h()
|