Home
last modified time | relevance | path

Searched refs:gcds (Results 1 – 25 of 92) sorted by relevance

1234

/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/lp/
H A Dint_gcd_test.cpp102 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 Dnwpw_cosmo.F26 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 Dint_gcd_test.cpp119 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 DimproveB10 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 Dcosmo_smd_output.F4 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 Dmnsol_interface.F27 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 Dcosmo_smd_output.F4 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 Dmnsol_interface.F27 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 D19-gcd.t14 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 Ddft_roks_energy.F31 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 Ddft_cg_solve.F86 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 Ddft_roks_energy.F31 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 Ddft_cg_solve.F86 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 DTopKnapsack.cpp255 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 Dlibzsolve.c59 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 Dlibzsolve.c58 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 Dtheory_arith_int.h709 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 Darith_eq_solver.cpp532 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 Dtheory_arith_int.h709 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 Darith_eq_solver.cpp532 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 Decm2.c41 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 Dnwpw_cosmo.F43 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 Dnwpw_cosmo.fh4 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 Dstrategy_test.go108 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 D23-gcd.t11 my @gcds = (
156 plan tests => scalar(@gcds)
167 foreach my $garg (@gcds) {

1234