/dports/math/e-antic/flint2-ae7ec89/fmpz_mpoly/ |
H A D | select_exps.c | 30 slong Slen; in mpoly_divides_select_exps() local 56 Slen = 0; in mpoly_divides_select_exps() 61 Slen++; in mpoly_divides_select_exps() 83 Slen++; in mpoly_divides_select_exps() 120 mpoly_monomial_add_mp(Sexp + N*Slen, Sexp + N*Slen, Bexp + N*j, N); in mpoly_divides_select_exps() 123 Slen += !(mpoly_monomial_overflows(Sexp + N*Slen, N, mask)); in mpoly_divides_select_exps() 125 Slen += !(mpoly_monomial_overflows_mp(Sexp + N*Slen, N, bits)); in mpoly_divides_select_exps() 128 mpoly_monomial_add_mp(Sexp + N*Slen, Sexp + N*Slen, Bexp + N*j, N); in mpoly_divides_select_exps() 131 Slen += !(mpoly_monomial_overflows(Sexp + N*Slen, N, mask)); in mpoly_divides_select_exps() 133 Slen += !(mpoly_monomial_overflows_mp(Sexp + N*Slen, N, bits)); in mpoly_divides_select_exps() [all …]
|
/dports/math/flint2/flint-2.8.4/fmpz_mpoly/ |
H A D | select_exps.c | 30 slong Slen; in mpoly_divides_select_exps() local 56 Slen = 0; in mpoly_divides_select_exps() 61 Slen++; in mpoly_divides_select_exps() 83 Slen++; in mpoly_divides_select_exps() 120 mpoly_monomial_add_mp(Sexp + N*Slen, Sexp + N*Slen, Bexp + N*j, N); in mpoly_divides_select_exps() 123 Slen += !(mpoly_monomial_overflows(Sexp + N*Slen, N, mask)); in mpoly_divides_select_exps() 125 Slen += !(mpoly_monomial_overflows_mp(Sexp + N*Slen, N, bits)); in mpoly_divides_select_exps() 128 mpoly_monomial_add_mp(Sexp + N*Slen, Sexp + N*Slen, Bexp + N*j, N); in mpoly_divides_select_exps() 131 Slen += !(mpoly_monomial_overflows(Sexp + N*Slen, N, mask)); in mpoly_divides_select_exps() 133 Slen += !(mpoly_monomial_overflows_mp(Sexp + N*Slen, N, bits)); in mpoly_divides_select_exps() [all …]
|
/dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/fmpz_mpoly/ |
H A D | select_exps.c | 30 slong Slen; in mpoly_divides_select_exps() local 56 Slen = 0; in mpoly_divides_select_exps() 61 Slen++; in mpoly_divides_select_exps() 83 Slen++; in mpoly_divides_select_exps() 120 mpoly_monomial_add_mp(Sexp + N*Slen, Sexp + N*Slen, Bexp + N*j, N); in mpoly_divides_select_exps() 123 Slen += !(mpoly_monomial_overflows(Sexp + N*Slen, N, mask)); in mpoly_divides_select_exps() 125 Slen += !(mpoly_monomial_overflows_mp(Sexp + N*Slen, N, bits)); in mpoly_divides_select_exps() 128 mpoly_monomial_add_mp(Sexp + N*Slen, Sexp + N*Slen, Bexp + N*j, N); in mpoly_divides_select_exps() 131 Slen += !(mpoly_monomial_overflows(Sexp + N*Slen, N, mask)); in mpoly_divides_select_exps() 133 Slen += !(mpoly_monomial_overflows_mp(Sexp + N*Slen, N, bits)); in mpoly_divides_select_exps() [all …]
|
/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/ |
H A D | a-stwisu.adb | 702 elsif From > Slen + 1 then 705 elsif Through >= Slen then 731 elsif From > Slen + 1 then 800 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 808 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1054 elsif Endpos <= Slen then 1056 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1116 elsif Endpos <= Slen then 1186 if Low > Slen + 1 then 1411 Source.Data (Slen - (Count - 1) .. Slen); [all …]
|
H A D | a-strsup.adb | 702 elsif From > Slen + 1 then 705 elsif Through >= Slen then 731 elsif From > Slen + 1 then 800 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 808 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1054 elsif Endpos <= Slen then 1056 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1116 elsif Endpos <= Slen then 1186 if Low > Slen + 1 then 1411 Source.Data (Slen - (Count - 1) .. Slen); [all …]
|
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/ |
H A D | a-strsup.adb | 702 elsif From > Slen + 1 then 705 elsif Through >= Slen then 731 elsif From > Slen + 1 then 800 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 808 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1054 elsif Endpos <= Slen then 1056 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1116 elsif Endpos <= Slen then 1186 if Low > Slen + 1 then 1411 Source.Data (Slen - (Count - 1) .. Slen); [all …]
|
H A D | a-stwisu.adb | 702 elsif From > Slen + 1 then 705 elsif Through >= Slen then 731 elsif From > Slen + 1 then 800 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 808 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1054 elsif Endpos <= Slen then 1056 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1116 elsif Endpos <= Slen then 1186 if Low > Slen + 1 then 1411 Source.Data (Slen - (Count - 1) .. Slen); [all …]
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/libgnat/ |
H A D | a-stzsup.adb | 313 if Slen <= Max_Length then 746 elsif From > Slen + 1 then 749 elsif Through >= Slen then 855 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 863 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1156 elsif Endpos <= Slen then 1158 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1218 elsif Endpos <= Slen then 1287 if Low > Slen + 1 then 1545 Source.Data (Slen - (Count - 1) .. Slen); [all …]
|
H A D | a-strsup.adb | 309 if Slen <= Max_Length then 740 elsif From > Slen + 1 then 743 elsif Through >= Slen then 849 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 857 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1146 elsif Endpos <= Slen then 1148 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1208 elsif Endpos <= Slen then 1277 if Low > Slen + 1 then 1541 Source.Data (Slen - (Count - 1) .. Slen); [all …]
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/ |
H A D | a-stwisu.adb | 313 if Slen <= Max_Length then 745 elsif From > Slen + 1 then 748 elsif Through >= Slen then 854 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 862 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1153 elsif Endpos <= Slen then 1155 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1215 elsif Endpos <= Slen then 1284 if Low > Slen + 1 then 1541 Source.Data (Slen - (Count - 1) .. Slen); [all …]
|
H A D | a-strsup.adb | 309 if Slen <= Max_Length then 740 elsif From > Slen + 1 then 743 elsif Through >= Slen then 849 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 857 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1146 elsif Endpos <= Slen then 1148 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1208 elsif Endpos <= Slen then 1277 if Low > Slen + 1 then 1541 Source.Data (Slen - (Count - 1) .. Slen); [all …]
|
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/libgnat/ |
H A D | a-stzsup.adb | 313 if Slen <= Max_Length then 746 elsif From > Slen + 1 then 749 elsif Through >= Slen then 855 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 863 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1156 elsif Endpos <= Slen then 1158 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1218 elsif Endpos <= Slen then 1287 if Low > Slen + 1 then 1545 Source.Data (Slen - (Count - 1) .. Slen); [all …]
|
H A D | a-stwisu.adb | 313 if Slen <= Max_Length then 745 elsif From > Slen + 1 then 748 elsif Through >= Slen then 854 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 862 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1153 elsif Endpos <= Slen then 1155 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1215 elsif Endpos <= Slen then 1284 if Low > Slen + 1 then 1541 Source.Data (Slen - (Count - 1) .. Slen); [all …]
|
/dports/lang/gcc6-aux/bootstrap/lib/gcc/x86_64-aux-dragonfly4.1/5.1.0/adainclude/ |
H A D | a-stzsup.adb | 313 if Slen <= Max_Length then 747 elsif From > Slen + 1 then 750 elsif Through >= Slen then 856 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 864 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1157 elsif Endpos <= Slen then 1159 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1219 elsif Endpos <= Slen then 1288 if Low > Slen + 1 then 1546 Source.Data (Slen - (Count - 1) .. Slen); [all …]
|
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/ |
H A D | a-stzsup.adb | 313 if Slen <= Max_Length then 747 elsif From > Slen + 1 then 750 elsif Through >= Slen then 856 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 864 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1157 elsif Endpos <= Slen then 1159 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1219 elsif Endpos <= Slen then 1288 if Low > Slen + 1 then 1546 Source.Data (Slen - (Count - 1) .. Slen); [all …]
|
H A D | a-stwisu.adb | 313 if Slen <= Max_Length then 745 elsif From > Slen + 1 then 748 elsif Through >= Slen then 854 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 862 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1153 elsif Endpos <= Slen then 1155 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1215 elsif Endpos <= Slen then 1284 if Low > Slen + 1 then 1541 Source.Data (Slen - (Count - 1) .. Slen); [all …]
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/libgnat/ |
H A D | a-strsup.adb | 309 if Slen <= Max_Length then 740 elsif From > Slen + 1 then 743 elsif Through >= Slen then 849 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 857 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1146 elsif Endpos <= Slen then 1148 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1208 elsif Endpos <= Slen then 1277 if Low > Slen + 1 then 1541 Source.Data (Slen - (Count - 1) .. Slen); [all …]
|
/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/ |
H A D | a-strsup.adb | 309 if Slen <= Max_Length then 740 elsif From > Slen + 1 then 743 elsif Through >= Slen then 849 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 857 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1146 elsif Endpos <= Slen then 1148 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1208 elsif Endpos <= Slen then 1277 if Low > Slen + 1 then 1541 Source.Data (Slen - (Count - 1) .. Slen); [all …]
|
H A D | a-stwisu.adb | 313 if Slen <= Max_Length then 745 elsif From > Slen + 1 then 748 elsif Through >= Slen then 854 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 862 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1153 elsif Endpos <= Slen then 1155 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1215 elsif Endpos <= Slen then 1284 if Low > Slen + 1 then 1541 Source.Data (Slen - (Count - 1) .. Slen); [all …]
|
H A D | a-stzsup.adb | 313 if Slen <= Max_Length then 747 elsif From > Slen + 1 then 750 elsif Through >= Slen then 856 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 864 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1157 elsif Endpos <= Slen then 1159 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1219 elsif Endpos <= Slen then 1288 if Low > Slen + 1 then 1546 Source.Data (Slen - (Count - 1) .. Slen); [all …]
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/libgnat/ |
H A D | a-stwisu.adb | 313 if Slen <= Max_Length then 745 elsif From > Slen + 1 then 748 elsif Through >= Slen then 854 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 862 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1153 elsif Endpos <= Slen then 1155 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1215 elsif Endpos <= Slen then 1284 if Low > Slen + 1 then 1541 Source.Data (Slen - (Count - 1) .. Slen); [all …]
|
H A D | a-strsup.adb | 309 if Slen <= Max_Length then 740 elsif From > Slen + 1 then 743 elsif Through >= Slen then 849 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 857 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1146 elsif Endpos <= Slen then 1148 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1208 elsif Endpos <= Slen then 1277 if Low > Slen + 1 then 1541 Source.Data (Slen - (Count - 1) .. Slen); [all …]
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/libgnat/ |
H A D | a-stzsup.adb | 313 if Slen <= Max_Length then 746 elsif From > Slen + 1 then 749 elsif Through >= Slen then 855 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 863 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1156 elsif Endpos <= Slen then 1158 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1218 elsif Endpos <= Slen then 1287 if Low > Slen + 1 then 1545 Source.Data (Slen - (Count - 1) .. Slen); [all …]
|
H A D | a-stwisu.adb | 313 if Slen <= Max_Length then 745 elsif From > Slen + 1 then 748 elsif Through >= Slen then 854 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 862 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1153 elsif Endpos <= Slen then 1155 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1215 elsif Endpos <= Slen then 1284 if Low > Slen + 1 then 1541 Source.Data (Slen - (Count - 1) .. Slen); [all …]
|
H A D | a-strsup.adb | 309 if Slen <= Max_Length then 740 elsif From > Slen + 1 then 743 elsif Through >= Slen then 849 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 857 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1146 elsif Endpos <= Slen then 1148 Result.Data (1 .. Slen) := Source.Data (1 .. Slen); 1208 elsif Endpos <= Slen then 1277 if Low > Slen + 1 then 1541 Source.Data (Slen - (Count - 1) .. Slen); [all …]
|