/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/lp/ |
H A D | int_gcd_test.cpp | 102 mpq gcds(0); in gcd_test_for_row() local 118 least_coeff = gcds; in gcd_test_for_row() 123 gcds = gcd(gcds, aux); in gcd_test_for_row() 132 SASSERT(gcds.is_int()); in gcd_test_for_row() 139 if (gcds.is_zero()) { in gcd_test_for_row() 153 SASSERT(gcds.is_one()); in gcd_test_for_row() 168 mpq gcds(0); in ext_gcd_test() local 204 gcds = gcd(gcds, abs_ncoeff); in ext_gcd_test() 209 if (gcds.is_zero()) { in ext_gcd_test() 213 mpq l1 = ceil(l/gcds); in ext_gcd_test() [all …]
|
/dports/science/nwchem-data/nwchem-7.0.2-release/src/nwpw/nwpwlib/utilities/ |
H A D | nwpw_cosmo.F | 26 real*8 screen,dielec,gcds 53 gcds = 0.0d0 74 gcds = 0.0d0 76 if (.not.btdb_get(rtdb,'cosmo:gcds',mt_dbl,1,gcds)) gcds = 0.0d0 154 real*8 screen,dielec,gcds 174 gcds = 0.0d0 198 real*8 screen,dielec,gcds 272 real*8 screen,dielec,gcds 295 real*8 screen,dielec,gcds 318 real*8 screen,dielec,gcds [all …]
|
/dports/math/z3/z3-z3-4.8.13/src/math/lp/ |
H A D | int_gcd_test.cpp | 119 mpq gcds(0); in gcd_test_for_row() local 143 gcds = gcd(gcds, aux); in gcd_test_for_row() 155 SASSERT(gcds.is_int()); in gcd_test_for_row() 162 if (gcds.is_zero()) { in gcd_test_for_row() 189 mpq gcds(0); in ext_gcd_test() local 222 gcds = abs_ncoeff; in ext_gcd_test() 225 gcds = gcd(gcds, abs_ncoeff); in ext_gcd_test() 227 SASSERT(gcds.is_int()); in ext_gcd_test() 230 if (gcds.is_zero()) { in ext_gcd_test() 234 mpq l1 = ceil(l/gcds); in ext_gcd_test() [all …]
|
/dports/math/frobby/frobby-0.9.1/save/ |
H A D | improveB | 10 vector<ExternalTerm> gcds; 11 gcds.reserve(_dimension); 13 gcds.push_back(lcm); 21 gcds[i].gcd(gcds[i], term, position); 27 gcds[i][i] -= 1; 28 b.lcm(b, gcds[i], position);
|
/dports/science/nwchem/nwchem-7b21660b82ebd85ef659f6fba7e1e73433b0bd0a/src/solvation/ |
H A D | cosmo_smd_output.F | 4 subroutine cosmo_smd_output(egas, esol, do_cosmo_smd, gcds, argument 13 double precision egas, esol, gcds local 41 write(luout,826) gcds,gcds*cau2kcal 48 write(luout,826) gcds,gcds*cau2kcal
|
H A D | mnsol_interface.F | 27 double precision gcds,areacds local 49 call cdsset(icds,gcds,areacds,nat,c,atnum,dcds,x, 53 gcds = gcds / cau2kcal 54 if (.not. rtdb_put(rtdb,'cosmo:gcds',mt_dbl,1,gcds))
|
/dports/science/nwchem-data/nwchem-7.0.2-release/src/solvation/ |
H A D | cosmo_smd_output.F | 4 subroutine cosmo_smd_output(egas, esol, do_cosmo_smd, gcds, argument 13 double precision egas, esol, gcds 41 write(luout,826) gcds,gcds*cau2kcal 48 write(luout,826) gcds,gcds*cau2kcal
|
H A D | mnsol_interface.F | 27 double precision gcds,areacds 49 call cdsset(icds,gcds,areacds,nat,c,atnum,dcds,x, 53 gcds = gcds / cau2kcal 54 if (.not. rtdb_put(rtdb,'cosmo:gcds',mt_dbl,1,gcds))
|
/dports/math/p5-Math-Prime-Util/Math-Prime-Util-0.73/t/ |
H A D | 19-gcd.t | 14 my @gcds = ( 55 push @gcds, [ [12848174105599691600,15386870946739346600,11876770906605497900], 700]; 56 push @gcds, [ [9785375481451202685,17905669244643674637,11069209430356622337], 117]; 79 plan tests => scalar(@gcds) + scalar(@lcms) + scalar(@gcdexts); 82 foreach my $garg (@gcds) {
|
/dports/science/nwchem/nwchem-7b21660b82ebd85ef659f6fba7e1e73433b0bd0a/src/nwdft/scf_dft_cg/ |
H A D | dft_roks_energy.F | 31 double precision ecosmo,gcds 99 gcds = 0.d0 117 $ (rtdb,'cosmo:gcds',mt_dbl,1,gcds)) 122 energy=energy+gcds ! add smd energy 129 write(6,9999) (energy-ecosmo-gcds),ecosmo,energy
|
H A D | dft_cg_solve.F | 86 double precision ecosmo,gcds 186 $ (rtdb,'cosmo:gcds',mt_dbl,1,gcds)) 215 write(LuOut,216) ecosmo+gcds 228 gstote = esol - gcds 231 call cosmo_smd_output(egas, esol, do_cosmo_smd, gcds,
|
/dports/science/nwchem-data/nwchem-7.0.2-release/src/nwdft/scf_dft_cg/ |
H A D | dft_roks_energy.F | 31 double precision ecosmo,gcds 99 gcds = 0.d0 117 $ (rtdb,'cosmo:gcds',mt_dbl,1,gcds)) 122 energy=energy+gcds ! add smd energy 129 write(6,9999) (energy-ecosmo-gcds),ecosmo,energy
|
H A D | dft_cg_solve.F | 86 double precision ecosmo,gcds 179 $ (rtdb,'cosmo:gcds',mt_dbl,1,gcds)) 208 write(LuOut,216) ecosmo+gcds 221 gstote = esol - gcds 224 call cosmo_smd_output(egas, esol, do_cosmo_smd, gcds,
|
/dports/math/latte-integrale/latte-version_1_7_6/code/latte/top-knapsack/ |
H A D | TopKnapsack.cpp | 255 gcds.computeMobius(); in coeff() 260 gcds.print(); in coeff() 264 if (gcds.list[i].mu != 0) in coeff() 282 if (gcds.list[i].mu != 0) in packageAnswer() 317 factor *= gcds.list[i].mu; in packageAnswer() 318 factor *= gcds.list[i].gcd; in packageAnswer() 371 ZZ f = gcds.list[fIndex].gcd; in E() 434 delete gcds.unweightedSeries[fIndex]; in E() 1321 gcds.insertGCD(output[i]); in everyGCDFromEntireList() 1336 gcds.insertGCD(to_ZZ(1)); in everyGCDFromSubsets() [all …]
|
/dports/math/barvinok/barvinok-0.41.5/zsolve/ |
H A D | libzsolve.c | 59 Vector gcds; in nextVariable() local 74 gcds = createVector(ctx->Variables); in nextVariable() 76 gcds[i] = -1; in nextVariable() 84 gcds[i] = gcd(gcds[i], abs(ctx->Lattice->Data[Zeros->Data[j]][i])); in nextVariable() 85 if ((value<0 || gcds[i]<value) && gcds[i]>0) in nextVariable() 86 value = gcds[i]; in nextVariable() 90 col = chooseNext(ctx, gcds, value); in nextVariable() 92 deleteVector(gcds); in nextVariable() 138 gcds = createVector(ctx->Variables); in nextVariable() 141 col = chooseNext(ctx, gcds, 1); in nextVariable() [all …]
|
/dports/math/4ti2/4ti2-Release_1_6_9/src/zsolve/ |
H A D | libzsolve.c | 58 Vector gcds; in nextVariable() local 73 gcds = createVector(ctx->Variables); in nextVariable() 75 gcds[i] = -1; in nextVariable() 83 gcds[i] = gcd(gcds[i], abs(ctx->Lattice->Data[Zeros->Data[j]][i])); in nextVariable() 84 if ((value<0 || gcds[i]<value) && gcds[i]>0) in nextVariable() 85 value = gcds[i]; in nextVariable() 89 col = chooseNext(ctx, gcds, value); in nextVariable() 91 deleteVector(gcds); in nextVariable() 137 gcds = createVector(ctx->Variables); in nextVariable() 140 col = chooseNext(ctx, gcds, 1); in nextVariable() [all …]
|
/dports/math/z3/z3-z3-4.8.13/src/smt/ |
H A D | theory_arith_int.h | 709 numeral gcds(0); in gcd_test() 727 least_coeff = gcds; in gcd_test() 732 gcds = gcd(gcds, aux); in gcd_test() 741 SASSERT(gcds.is_int()); in gcd_test() 748 if (gcds.is_zero()) { in gcd_test() 770 SASSERT(gcds.is_one()); in gcd_test() 786 numeral gcds(0); in ext_gcd_test() 823 gcds = gcd(gcds, abs_ncoeff); in ext_gcd_test() 829 if (gcds.is_zero()) { in ext_gcd_test() 833 numeral l1 = ceil(l/gcds); in ext_gcd_test() [all …]
|
H A D | arith_eq_solver.cpp | 532 vector<rational> gcds; in solve_integer_equations_gcd() local 554 gcds.reset(); in solve_integer_equations_gcd() 571 gcds.push_back(g); in solve_integer_equations_gcd() 583 for (j = gcds.size(); !g.is_one() && j > 0; ) { in solve_integer_equations_gcd() 586 if (j == 0 || !gcd(g, gcds[j-1]).is_one()) { in solve_integer_equations_gcd() 588 g = gcd(g, gcds[j]); in solve_integer_equations_gcd() 589 SASSERT(j == 0 || gcd(g,gcds[j-1]).is_one()); in solve_integer_equations_gcd()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
H A D | theory_arith_int.h | 709 numeral gcds(0); in gcd_test() 727 least_coeff = gcds; in gcd_test() 732 gcds = gcd(gcds, aux); in gcd_test() 741 SASSERT(gcds.is_int()); in gcd_test() 748 if (gcds.is_zero()) { in gcd_test() 770 SASSERT(gcds.is_one()); in gcd_test() 786 numeral gcds(0); in ext_gcd_test() 823 gcds = gcd(gcds, abs_ncoeff); in ext_gcd_test() 829 if (gcds.is_zero()) { in ext_gcd_test() 833 numeral l1 = ceil(l/gcds); in ext_gcd_test() [all …]
|
H A D | arith_eq_solver.cpp | 532 vector<rational> gcds; in solve_integer_equations_gcd() local 554 gcds.reset(); in solve_integer_equations_gcd() 571 gcds.push_back(g); in solve_integer_equations_gcd() 583 for (j = gcds.size(); !g.is_one() && j > 0; ) { in solve_integer_equations_gcd() 586 if (j == 0 || !gcd(g, gcds[j-1]).is_one()) { in solve_integer_equations_gcd() 588 g = gcd(g, gcds[j]); in solve_integer_equations_gcd() 589 SASSERT(j == 0 || gcd(g,gcds[j-1]).is_one()); in solve_integer_equations_gcd()
|
/dports/math/gmp-ecm/ecm-7.0.4/ |
H A D | ecm2.c | 41 unsigned int l, t, muls = 0, gcds = 0; in multiplyW2n() local 123 gcds++; in multiplyW2n() 229 *tot_gcds += gcds; in multiplyW2n() 435 unsigned long muls = 0, gcds = 0; in ecm_rootsF() local 532 gcds = 0; in ecm_rootsF() 548 state.T, &muls, &gcds); in ecm_rootsF() 586 outputf (OUTPUT_DEVVERBOSE, ", %ld muls and %ld extgcds", muls, gcds); in ecm_rootsF() 608 unsigned long muls = 0, gcds = 0; in ecm_rootsG_init() local 755 muls, gcds); in ecm_rootsG_init() 802 unsigned long muls = 0, gcds = 0; in ecm_rootsG() local [all …]
|
/dports/science/nwchem/nwchem-7b21660b82ebd85ef659f6fba7e1e73433b0bd0a/src/nwpw/nwpwlib/utilities/ |
H A D | nwpw_cosmo.F | 43 gcds = 0.0d0 84 gcds = 0.0d0 86 if (.not.btdb_get(rtdb,'cosmo:gcds',mt_dbl,1,gcds)) gcds = 0.0d0 291 gcds = 0.0d0 1298 write(iunit,825) esol+gcds 1299 write(iunit,826) gcds,gcds*27.2116d0*23.06d0 1300 write(iunit,827) (esol-egas+gcds), 1301 > (esol-egas+gcds)*27.2116d0*23.06d0 1303 write(iunit,825) esol+gcds 1304 write(iunit,826) gcds,gcds**27.2116d0*23.06d0
|
H A D | nwpw_cosmo.fh | 4 real*8 screen,dielec,gcds 5 common /nwpw_cosmo_blk/ screen,dielec,gcds,cosmo_phase,rtdb,nefc,
|
/dports/sysutils/kubectl/kubernetes-1.22.2/pkg/registry/batch/cronjob/ |
H A D | strategy_test.go | 108 var gcds rest.GarbageCollectionDeleteStrategy = Strategy 109 …if got, want := gcds.DefaultGarbageCollectionPolicy(genericapirequest.NewContext()), rest.DeleteDe… 117 …if got, want := gcds.DefaultGarbageCollectionPolicy(v1beta1Ctx), rest.OrphanDependents; got != wan… 120 …if got, want := gcds.DefaultGarbageCollectionPolicy(otherVersionCtx), rest.DeleteDependents; got !…
|
/dports/math/p5-Math-Prime-Util-GMP/Math-Prime-Util-GMP-0.52/t/ |
H A D | 23-gcd.t | 11 my @gcds = ( 156 plan tests => scalar(@gcds) 167 foreach my $garg (@gcds) {
|