Home
last modified time | relevance | path

Searched refs:nonneg (Results 1 – 25 of 475) sorted by last modified time

12345678910>>...19

/dports/textproc/uim-gtk3/uim-d1ac9d9/sigscheme/test/
H A Dscm-r4rstest.scm245 (nonneg '())
247 (cond ((null? numbers) (list nonneg neg))
250 nonneg
254 (cons (car numbers) nonneg)
/dports/textproc/uim-qt5/uim-d1ac9d9/sigscheme/test/
H A Dscm-r4rstest.scm245 (nonneg '())
247 (cond ((null? numbers) (list nonneg neg))
250 nonneg
254 (cons (car numbers) nonneg)
/dports/textproc/uim-gtk/uim-d1ac9d9/sigscheme/test/
H A Dscm-r4rstest.scm245 (nonneg '())
247 (cond ((null? numbers) (list nonneg neg))
250 nonneg
254 (cons (car numbers) nonneg)
/dports/textproc/uim-m17nlib/uim-d1ac9d9/sigscheme/test/
H A Dscm-r4rstest.scm245 (nonneg '())
247 (cond ((null? numbers) (list nonneg neg))
250 nonneg
254 (cons (car numbers) nonneg)
/dports/science/afni/afni-AFNI_21.3.16/src/python_scripts/afnipy/
H A Dask_me.py292 def read_one_int(prompt, pos=0, nonneg=0): argument
307 if nonneg and val < 0: continue
/dports/math/gap/gap-4.11.0/extern/gmp/tests/mpz/
H A Dreuse.c155 int nonneg; member
348 if (ds[i].nonneg && mpz_sgn (in1) < 0) in main()
/dports/math/gap/gap-4.11.0/pkg/qpa-version-1.30/lib/
H A Ddegorderfinitetype.gi298 ## (i.e. nonneg. integer solutions of Ax=vv, where A is
/dports/math/gap/gap-4.11.0/pkg/CddInterface-2020.01.01/doc/
H A Dintro.autodoc46 directions (rays) as $$P = \mathrm{conv}(v_1 , \dots , v_n ) + \mathrm{nonneg}(r_{n+1} , \dots , r_…
72 $$P:= \mathrm{conv}( (2,3), (-2,-3), (-1,2) ) + \mathrm{nonneg}(\; (1,2) , (-1,-2), (1,1)\;)$$
/dports/math/gap/gap-4.11.0/pkg/CddInterface-2020.01.01/examples/
H A DFourierProjection.g44 #! Let again $Q= Conv( (2,3,4), (2,4,5) )+ nonneg( (1,1,1) )$, and let us compute its projection on…
/dports/math/gap/gap-4.11.0/pkg/CddInterface-2020.01.01/
H A Dnotebook.ipynb128 …"directions (rays) as $$P = \\mathrm{conv}(v_1 , \\dots , v_n ) + \\mathrm{nonneg}(r_{1} , \\dots …
153 …" $$P:= \\mathrm{conv}(\\; (2,3), (-2,-3), (3,5)\\; ) + \\mathrm{nonneg}(\\; (1,2) , (-1,-2), (2,1…
/dports/math/gap/gap-4.11.0/pkg/kbmag-1.5.9/gap/
H A Dfsa4.g2804 Error("2nd and 3rd arguments must be nonneg. integers with 2nd <= 3rd.");
2940 Error("2nd and 3rd arguments must be nonneg. integers with 2nd <= 3rd.");
/dports/math/gap/gap-4.11.0/pkg/ctbllib/tst/
H A Dctblpope.tst1237 > Error( "new value at position ", i, " is not a nonneg. integer" );
/dports/lang/guile1/guile-1.8.8/doc/r5rs/
H A Dr5rs.texi2341 (nonneg '())
2343 (cond ((null? numbers) (list nonneg neg))
2346 (cons (car numbers) nonneg)
2350 nonneg
/dports/japanese/uim-anthy/uim-d1ac9d9/sigscheme/test/
H A Dscm-r4rstest.scm245 (nonneg '())
247 (cond ((null? numbers) (list nonneg neg))
250 nonneg
254 (cons (car numbers) nonneg)
/dports/devel/tigcc/tigcc-0.96.b8_10/gnu/gcc-4.1-20060728/gcc/
H A Dloop.c224 unsigned nonneg : 1; /* 1 if we added a REG_NONNEG note for member
5229 if (bl->nonneg) in loop_biv_eliminable_p()
6928 bl->nonneg = 0; in record_biv()
9532 bl->nonneg = 1; in check_dbra_loop()
9559 bl->nonneg = 1; in check_dbra_loop()
9726 int nonneg = 0; in check_dbra_loop() local
9791 nonneg = 1; in check_dbra_loop()
9947 if (nonneg) in check_dbra_loop()
9957 bl->nonneg = 1; in check_dbra_loop()
10003 if (bl->nonneg) in check_dbra_loop()
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/polly/lib/External/isl/
H A Disl_tab_pip.c2052 int nonneg; in context_tab_insert_div() local
2057 nonneg = tab->var[r].is_nonneg; in context_tab_insert_div()
2076 return isl_bool_ok(nonneg); in context_tab_insert_div()
2095 isl_bool nonneg; in add_div() local
2102 if ((nonneg = context->op->insert_div(context, pos, div)) < 0) in add_div()
2114 if (nonneg) in add_div()
2634 isl_bool nonneg; in context_lex_insert_div() local
2635 nonneg = context_tab_insert_div(clex->tab, pos, div, in context_lex_insert_div()
2637 if (nonneg < 0) in context_lex_insert_div()
2641 return nonneg; in context_lex_insert_div()
H A Disl_ast_build_expr.c509 isl_aff *nonneg; member
697 if (!data->nonneg) in mod_constraint_is_simpler()
701 v2 = isl_val_abs(isl_aff_get_constant_val(data->nonneg)); in mod_constraint_is_simpler()
788 isl_aff_free(data->nonneg); in check_parallel_or_opposite()
789 data->nonneg = isl_constraint_get_aff(c); in check_parallel_or_opposite()
795 if (data->sign != 0 && data->nonneg == NULL) in check_parallel_or_opposite()
900 data->nonneg = NULL; in try_extract_mod()
906 isl_aff_free(data->nonneg); in try_extract_mod()
913 v2 = isl_aff_get_constant_val(data->nonneg); in try_extract_mod()
928 data->nonneg = isl_aff_set_constant_val(data->nonneg, v1); in try_extract_mod()
[all …]
H A Disl_map.c8938 isl_basic_set *nonneg; in nonneg_halfspace() local
8943 nonneg = isl_basic_set_alloc_space(space, 0, 0, 1); in nonneg_halfspace()
8944 k = isl_basic_set_alloc_inequality(nonneg); in nonneg_halfspace()
8947 isl_seq_clr(nonneg->ineq[k], 1 + total); in nonneg_halfspace()
8948 isl_int_set_si(nonneg->ineq[k][pos], 1); in nonneg_halfspace()
8950 return isl_basic_set_finalize(nonneg); in nonneg_halfspace()
8952 isl_basic_set_free(nonneg); in nonneg_halfspace()
8987 isl_basic_set *nonneg; in isl_set_split_dims() local
8998 nonneg = nonneg_halfspace(isl_set_get_space(set), in isl_set_split_dims()
9002 set = isl_set_intersect(set, isl_basic_set_union(nonneg, neg)); in isl_set_split_dims()
H A Disl_tab.c2325 int nonneg; in isl_tab_insert_div() local
2344 nonneg = div_is_nonneg(tab, div); in isl_tab_insert_div()
2354 if (nonneg) in isl_tab_insert_div()
4116 int nonneg = at_least_zero(tab, &tab->con[con]); in isl_tab_ineq_type() local
4117 if (nonneg < 0) in isl_tab_ineq_type()
4119 if (nonneg) in isl_tab_ineq_type()
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/polly/lib/External/isl/
H A Disl_map.c8938 isl_basic_set *nonneg; in nonneg_halfspace() local
8943 nonneg = isl_basic_set_alloc_space(space, 0, 0, 1); in nonneg_halfspace()
8944 k = isl_basic_set_alloc_inequality(nonneg); in nonneg_halfspace()
8947 isl_seq_clr(nonneg->ineq[k], 1 + total); in nonneg_halfspace()
8948 isl_int_set_si(nonneg->ineq[k][pos], 1); in nonneg_halfspace()
8950 return isl_basic_set_finalize(nonneg); in nonneg_halfspace()
8952 isl_basic_set_free(nonneg); in nonneg_halfspace()
8987 isl_basic_set *nonneg; in isl_set_split_dims() local
8998 nonneg = nonneg_halfspace(isl_set_get_space(set), in isl_set_split_dims()
9002 set = isl_set_intersect(set, isl_basic_set_union(nonneg, neg)); in isl_set_split_dims()
H A Disl_tab.c2325 int nonneg; in isl_tab_insert_div() local
2344 nonneg = div_is_nonneg(tab, div); in isl_tab_insert_div()
2354 if (nonneg) in isl_tab_insert_div()
4116 int nonneg = at_least_zero(tab, &tab->con[con]); in isl_tab_ineq_type() local
4117 if (nonneg < 0) in isl_tab_ineq_type()
4119 if (nonneg) in isl_tab_ineq_type()
H A Disl_tab_pip.c2052 int nonneg; in context_tab_insert_div() local
2057 nonneg = tab->var[r].is_nonneg; in context_tab_insert_div()
2076 return isl_bool_ok(nonneg); in context_tab_insert_div()
2095 isl_bool nonneg; in add_div() local
2102 if ((nonneg = context->op->insert_div(context, pos, div)) < 0) in add_div()
2114 if (nonneg) in add_div()
2634 isl_bool nonneg; in context_lex_insert_div() local
2635 nonneg = context_tab_insert_div(clex->tab, pos, div, in context_lex_insert_div()
2637 if (nonneg < 0) in context_lex_insert_div()
2641 return nonneg; in context_lex_insert_div()
H A Disl_ast_build_expr.c509 isl_aff *nonneg; member
697 if (!data->nonneg) in mod_constraint_is_simpler()
701 v2 = isl_val_abs(isl_aff_get_constant_val(data->nonneg)); in mod_constraint_is_simpler()
788 isl_aff_free(data->nonneg); in check_parallel_or_opposite()
789 data->nonneg = isl_constraint_get_aff(c); in check_parallel_or_opposite()
795 if (data->sign != 0 && data->nonneg == NULL) in check_parallel_or_opposite()
900 data->nonneg = NULL; in try_extract_mod()
906 isl_aff_free(data->nonneg); in try_extract_mod()
913 v2 = isl_aff_get_constant_val(data->nonneg); in try_extract_mod()
928 data->nonneg = isl_aff_set_constant_val(data->nonneg, v1); in try_extract_mod()
[all …]
/dports/devel/llvm13/llvm-project-13.0.1.src/polly/lib/External/isl/
H A Disl_ast_build_expr.c509 isl_aff *nonneg; member
697 if (!data->nonneg) in mod_constraint_is_simpler()
701 v2 = isl_val_abs(isl_aff_get_constant_val(data->nonneg)); in mod_constraint_is_simpler()
788 isl_aff_free(data->nonneg); in check_parallel_or_opposite()
789 data->nonneg = isl_constraint_get_aff(c); in check_parallel_or_opposite()
795 if (data->sign != 0 && data->nonneg == NULL) in check_parallel_or_opposite()
900 data->nonneg = NULL; in try_extract_mod()
906 isl_aff_free(data->nonneg); in try_extract_mod()
913 v2 = isl_aff_get_constant_val(data->nonneg); in try_extract_mod()
928 data->nonneg = isl_aff_set_constant_val(data->nonneg, v1); in try_extract_mod()
[all …]
H A Disl_tab_pip.c2052 int nonneg; in context_tab_insert_div() local
2057 nonneg = tab->var[r].is_nonneg; in context_tab_insert_div()
2076 return isl_bool_ok(nonneg); in context_tab_insert_div()
2095 isl_bool nonneg; in add_div() local
2102 if ((nonneg = context->op->insert_div(context, pos, div)) < 0) in add_div()
2114 if (nonneg) in add_div()
2634 isl_bool nonneg; in context_lex_insert_div() local
2635 nonneg = context_tab_insert_div(clex->tab, pos, div, in context_lex_insert_div()
2637 if (nonneg < 0) in context_lex_insert_div()
2641 return nonneg; in context_lex_insert_div()

12345678910>>...19