Home
last modified time | relevance | path

Searched refs:cln (Results 1 – 25 of 2309) sorted by relevance

12345678910>>...93

/dports/math/cln/cln-1.3.6/
H A DMakefile.am5 pkgconfig_DATA = cln.pc
7 EXTRA_DIST = cln.pc.in cln.spec.in
8 DISTCLEANFILES = cln.pc
21 include/cln/SV_real.h \
24 include/cln/lfloat.h \
26 include/cln/io.h \
27 include/cln/ring.h \
28 include/cln/V.h \
29 include/cln/GV.h \
39 include/cln/cln.h \
[all …]
H A DMakefile.in122 CONFIG_CLEAN_FILES = cln.spec cln.pc
406 EXTRA_DIST = cln.pc.in cln.spec.in include/cln/config.h.in \
407 include/cln/host_cpu.h.in include/cln/version.h.in \
410 DISTCLEANFILES = cln.pc include/cln/config.h include/cln/host_cpu.h \
411 include/cln/intparam.h include/cln/floatparam.h
433 include/cln/cln.h \
546 include/cln/config.h: include/cln/stamp-h2
554 include/cln/host_cpu.h: include/cln/stamp-h3
562 include/cln/version.h: include/cln/stamp-h4
596 cln.spec: $(top_builddir)/config.status $(srcdir)/cln.spec.in
[all …]
H A Dconfigure.ac23 AC_INIT([cln], cl_version) package
28 AC_CONFIG_HEADERS(autoconf/cl_config.h include/cln/config.h include/cln/host_cpu.h include/cln/vers…
32 AH_TOP([#include "cln/host_cpu.h"])
33 AH_TOP([/* prevents cln/config.h from being included, so no macro gets redefined */])
35 AH_TOP([/* prevents cln/version.h from being included, so no macro gets redefined */])
81 dnl release version for cln/config.h, so it can be tested by the preprocessor
131 if test ! -d include/cln; then
132 AS_MKDIR_P([include/cln])
135 dnl builds include/cln/intparam.h
137 dnl builds include/cln/floatparam.h
[all …]
/dports/math/GiNaC/ginac-1.8.2/ginac/
H A Dnumeric.cpp409 cln::print_real(c.s, ourflags, cln::abs(cln::numerator(cln::the<cln::cl_RA>(x)))); in print_real_number()
450 const cln::cl_I numer = cln::numerator(cln::the<cln::cl_RA>(x)); in print_real_csrc()
451 const cln::cl_I denom = cln::denominator(cln::the<cln::cl_RA>(x)); in print_real_csrc()
1110 return cln::compare(cln::the<cln::cl_R>(value), cln::the<cln::cl_R>(other.value)); in compare()
1163 return (cln::instanceof(value, cln::cl_I_ring) && cln::plusp(cln::the<cln::cl_I>(value))); in is_pos_integer()
1177 return (cln::instanceof(value, cln::cl_I_ring) && cln::evenp(cln::the<cln::cl_I>(value))); in is_even()
1184 return (cln::instanceof(value, cln::cl_I_ring) && cln::oddp(cln::the<cln::cl_I>(value))); in is_odd()
1365 const cln::cl_RA r = cln::the<cln::cl_RA>(cln::realpart(value)); in numer()
1366 const cln::cl_RA i = cln::the<cln::cl_RA>(cln::imagpart(value)); in numer()
1396 const cln::cl_RA r = cln::the<cln::cl_RA>(cln::realpart(value)); in denom()
[all …]
H A Dinifcns_elliptic.cpp85 cln::cl_N a_old = a_0 * cln::cl_float(1, cln::float_format(Digits)); in arithmetic_geometric_mean()
86 cln::cl_N b_old = b_0 * cln::cl_float(1, cln::float_format(Digits)); in arithmetic_geometric_mean()
118 cln::cl_N agm_helper_second_kind(const cln::cl_N & a_0, const cln::cl_N & b_0, const cln::cl_N & c_… in agm_helper_second_kind()
120 cln::cl_N a_old = a_0 * cln::cl_float(1, cln::float_format(Digits)); in agm_helper_second_kind()
121 cln::cl_N b_old = b_0 * cln::cl_float(1, cln::float_format(Digits)); in agm_helper_second_kind()
122 cln::cl_N c_old = c_0 * cln::cl_float(1, cln::float_format(Digits)); in agm_helper_second_kind()
128 cln::cl_N pre = cln::cl_float(1, cln::float_format(Digits)); in agm_helper_second_kind()
348 cln::cl_F one = cln::cl_float(1, cln::float_format(Digits)); in iterated_integral_do_sum()
387 res += cln::expt(lambda, N) / cln::expt(cln::cl_I(N),m[0]) * subexpr; in iterated_integral_do_sum()
456 cln::cl_F one = cln::cl_float(1, cln::float_format(Digits)); in iterated_integral_shuffle()
[all …]
H A Dinifcns_nstdsums.cpp130 *it = -(cln::expt(cln::cl_I(2),n+1) - 1) / cln::expt(cln::cl_I(2),n+1); // i == 1 in fill_Xn()
407 cln::cl_N result = -cln::expt(cln::log(x), n-1) * cln::log(1-x) / cln::factorial(n-1); in Lin_numeric()
410 * cln::expt(cln::log(x), j) / cln::factorial(j); in Lin_numeric()
421 prec = cln::float_format(cln::the<cln::cl_F>(cln::realpart(value))); in Lin_numeric()
423 prec = cln::float_format(cln::the<cln::cl_F>(cln::imagpart(value))); in Lin_numeric()
427 cln::cl_N result = -cln::expt(cln::log(-value),n) / cln::factorial(n); in Lin_numeric()
2030 cln::cl_N result = cln::expt(cln::cl_I(-1),p) * cln::expt(cln::log(x),n) in S_projection()
2036 res2 = res2 + cln::expt(cln::cl_I(-1),r) * cln::expt(cln::log(1-x),r) in S_projection()
2089 prec = cln::float_format(cln::the<cln::cl_F>(cln::realpart(value))); in S_num()
2091 prec = cln::float_format(cln::the<cln::cl_F>(cln::imagpart(value))); in S_num()
[all …]
/dports/math/cvc4/CVC4-1.7/proofs/signatures/
H A Ddrat_test.plf88 (@ c1 cln
222 (holds cln)
262 (: (holds cln)
281 (DRATProofa cln
329 (DRATProofa cln
344 (DRATProofa cln
363 (cnfc (clc (pos x1) cln)
386 (DRATProofa cln
398 (DRATProofa cln
413 (DRATProofa cln
[all …]
H A Dlrat_test.plf25 cln
38 cln
500 (@ c cln
559 cln
611 cln
664 cln
669 (holds cln)
721 (holds cln)
774 (holds cln)
827 (holds cln)
[all …]
H A Der_test.plf19 (clc a (clc b cln))
20 (clc c cln)
21 (cnfc (clc a (clc c cln))
22 (cnfc (clc b (clc c cln))
33 (% pf_c1 (holds (clc (pos v1) (clc (pos v2) cln)))
34 (% pf_c2 (holds (clc (neg v1) (clc (pos v2) cln)))
35 (% pf_c3 (holds (clc (pos v1) (clc (neg v2) cln)))
37 (: (holds cln)
40 (clc (neg v2) cln)
89 (: (holds cln)
[all …]
/dports/math/GiNaC/ginac-1.8.2/ginac/polynomial/
H A Dsmod_helpers.h36 static inline cln::cl_I smod(const cln::cl_I& a, long p) in smod()
38 const cln::cl_I p2 = cln::cl_I(p >> 1); in smod()
39 const cln::cl_I m = cln::mod(a, p); in smod()
40 const cln::cl_I m_p = m - cln::cl_I(p); in smod()
45 static inline cln::cl_I recip(const cln::cl_I& a, long p_) in recip()
47 cln::cl_I p(p_); in recip()
48 cln::cl_I u, v; in recip()
50 cln::cl_I ret = smod(u, p_); in recip()
59 const cln::cl_I a = cln::the<cln::cl_I>(a_.to_cl_N()); in recip()
69 return cln::the<cln::cl_I>(ex_to<numeric>(e).to_cl_N()); in to_cl_I()
[all …]
H A Dmgcd.cpp41 static const cln::cl_I n1(1); in extract_integer_content()
43 GINAC_ASSERT(cln::instanceof(icont_.to_cl_N(), cln::cl_RA_ring)); in extract_integer_content()
44 if (cln::instanceof(icont_.to_cl_N(), cln::cl_I_ring)) { in extract_integer_content()
45 const cln::cl_I icont = cln::the<cln::cl_I>(icont_.to_cl_N()); in extract_integer_content()
66 const cln::cl_I c = cln::gcd(a_icont, b_icont); in chinrem_gcd()
68 const cln::cl_I a_lc = integer_lcoeff(A, vars); in chinrem_gcd()
70 const cln::cl_I g_lc = cln::gcd(a_lc, b_lc); in chinrem_gcd()
77 const cln::cl_I lcoeff_limit = (cln::cl_I(1) << nTot)*cln::abs(g_lc)* in chinrem_gcd()
81 cln::cl_I q = 0; in chinrem_gcd()
96 const cln::cl_I g_lcp = smod(g_lc, p); in chinrem_gcd()
[all …]
H A Dring_traits.h29 namespace cln {
31 static inline cln::cl_I div(const cln::cl_I& x, const cln::cl_I& y) in div()
33 return cln::exquo(x, y); in div()
39 static inline bool div(cln::cl_I& q, const cln::cl_I& x, const cln::cl_I& y) in div()
41 const cln::cl_I_div_t qr = cln::truncate2(x, y); in div()
49 static inline cln::cl_I get_ring_elt(const cln::cl_I& sample, const int val) in get_ring_elt()
51 return cln::cl_I(val); in get_ring_elt()
54 static inline cln::cl_MI get_ring_elt(const cln::cl_MI& sample, const int val) in get_ring_elt()
H A Dprimes_factory.h48 cln::cl_I last;
55 last = cln::nextprobprime(cln::cl_I(opt_hint)); in primes_factory()
58 bool operator()(long& p, const cln::cl_I& lc) in operator()
60 static const cln::cl_I maxval(std::numeric_limits<long>::max()); in operator()
62 long p_ = cln::cl_I_to_long(last); in operator()
63 last = cln::nextprobprime(last + 1); in operator()
75 static const cln::cl_I maxval(std::numeric_limits<long>::max()); in has_primes()
H A Deuclid_gcd_wrap.h41 cln::cl_modint_ring R = cln::find_modint_ring(cln::cl_I(p)); in ex2upoly()
47 const cln::cl_I c = to_cl_I(ce); in ex2upoly()
54 cln::cl_modint_ring R = cln::find_modint_ring(cln::cl_I(p)); in umodpoly2ex()
58 const cln::cl_I c = smod(R->retract(a[i]), p); in umodpoly2ex()
H A Dinterpolate_padic_uvar.h28 namespace cln {
30 static inline cln::cl_I smod(const cln::cl_I& x, const cln::cl_I y) in smod()
32 cln::cl_I r = mod(x, y); in smod()
33 const cln::cl_I y_2 = y >> 1; in smod()
/dports/math/GiNaC/ginac-1.8.2/check/
H A Dcheck_cra.cpp29 using namespace cln;
39 static std::vector<cln::cl_I>
42 static std::vector<cln::cl_I>
43 calc_residues(const cln::cl_I& x, const std::vector<cln::cl_I>& moduli);
60 cln::cl_I x_test; in run_test_once()
114 static std::vector<cln::cl_I>
115 calc_residues(const cln::cl_I& x, const std::vector<cln::cl_I>& moduli) in calc_residues()
123 static std::vector<cln::cl_I>
126 std::vector<cln::cl_I> moduli; in make_random_moduli()
127 cln::cl_I prod(1); in make_random_moduli()
[all …]
/dports/math/cvc4/CVC4-1.7/src/util/
H A Dinteger_cln_imp.cpp49 cln::cl_byte range(amount, size); in oneExtend()
50 cln::cl_I allones = (cln::cl_I(1) << (size + amount))- 1; // 2^size - 1 in oneExtend()
64 cln::cl_read_flags flags; in parseInt()
156 cln::cl_I result = cln::expt_pos(d_value, exp); in pow()
163 cln::cl_modint_ring ry = cln::find_modint_ring(m.d_value); in modAdd()
166 cln::cl_MI res = xm + ym; in modAdd()
172 cln::cl_modint_ring ry = cln::find_modint_ring(m.d_value); in modMultiply()
175 cln::cl_MI res = xm * ym; in modMultiply()
182 cln::cl_modint_ring ry = cln::find_modint_ring(m.d_value); in modInverse()
185 cln::cl_I x = ry->retract(xm); in modInverse()
[all …]
H A Dinteger_cln_imp.h43 cln::cl_I d_value;
113 cln::cl_I getValue() const in getValue()
201 cln::cl_I ipow(pow); in multiplyByPow2()
210 cln::cl_I mask(1); in setBit()
245 cln::cl_I_div_t res = cln::floor2(x.d_value, y.d_value); in floorQR()
325 cln::cl_byte range(exp, 0); in modByPow2()
344 cln::cl_I result = cln::gcd(d_value, y.d_value); in gcd()
352 cln::cl_I result = cln::lcm(d_value, y.d_value); in lcm()
384 cln::cl_I result = cln::rem(y.d_value, d_value); in divides()
385 return cln::zerop(result); in divides()
[all …]
H A Drational_cln_imp.h63 cln::cl_RA d_value;
96 cln::cl_read_flags flags;
111 cln::cl_read_flags flags;
147 d_value /= cln::cl_I(d); in Rational()
150 d_value /= cln::cl_I(d); in Rational()
153 d_value /= cln::cl_I(d); in Rational()
156 d_value /= cln::cl_I(d); in Rational()
161 d_value /= cln::cl_I(d); in Rational()
164 d_value /= cln::cl_I(d); in Rational()
180 cln::cl_RA getValue() const in getValue()
[all …]
/dports/math/GiNaC/ginac-1.8.2/cmake/modules/
H A DFindCLN.cmake41 pkg_check_modules(_cln cln)
44 find_path(CLN_INCLUDE_DIR NAMES cln/cln.h
47 find_library(CLN_LIBRARIES NAMES libcln cln
56 ${CLN_INCLUDE_DIR}/cln/version.h)
83 #include <cln/version.h>
119 if (CLN_FOUND AND NOT TARGET cln::cln)
124 add_library(cln::cln STATIC IMPORTED)
127 add_library(cln::cln SHARED IMPORTED)
129 set_target_properties(cln::cln PROPERTIES
133 set_target_properties(cln::cln PROPERTIES
[all …]
/dports/math/lidia/lidia-2.3.0+latte-patches-2014-10-04/src/interfaces/bigint/cln/
H A Dbigint_interface.h70 : I (round1(cln::cl_DF(d))) in bigint()
125 cln::cl_I aI = cln::abs(I); in most_significant_digit()
136 cln::cl_I aI = cln::abs(I); in least_significant_digit()
189 I = round1(cln::cl_DF(d)); in assign()
225 return static_cast<int>(cln::compare(cln::abs(I), cln::abs(a.I))); in abs_compare()
233 return static_cast<int>(cln::compare(cln::abs(I), cln::cl_I(a))); in abs_compare()
252 return static_cast<int>(cln::compare(I, cln::cl_I(a))); in compare()
260 return static_cast<int>(cln::compare(I, cln::cl_I(a))); in compare()
340 i = cln::cl_I_to_L(I); in intify()
855 cln::cl_I v; in xgcd_left()
[all …]
/dports/games/odamex/odamex-src-0.7.0/tests/manual/
H A Dstepped.sh23 cln=client.control
48 rm $cln
51 echo > $cln
73 tail -f -s 0.001 $cln | ./odamex -nomouse -nosound -stepmode -connect localhost > $clno 2> $clne &
75 echo "set print_stdout 1" >> $cln;
92 echo step >> $cln;
103 echo step >> $cln;
106 echo streamdemo $demoname >> $cln
108 echo step >> $cln;
133 echo step >> $cln;
[all …]
/dports/science/nwchem/nwchem-7b21660b82ebd85ef659f6fba7e1e73433b0bd0a/src/nwpw/nwpwlib/utilities/
H A Dnwpw_emachine.c195 …rncpy(lexpr,expr,t); lexpr[t] = '\0'; strcpy(rexpr,&expr[t+1]); ++cln; lnl = cln; ++cln; lnr = cln; in nwpw_gencode()
203 …rncpy(lexpr,expr,t); lexpr[t] = '\0'; strcpy(rexpr,&expr[t+1]); ++cln; lnl = cln; ++cln; lnr = cln; in nwpw_gencode()
268 …rncpy(lexpr,expr,t); lexpr[t] = '\0'; strcpy(rexpr,&expr[t+1]); ++cln; lnl = cln; ++cln; lnr = cln; in nwpw_gencode()
276 …rncpy(lexpr,expr,t); lexpr[t] = '\0'; strcpy(rexpr,&expr[t+1]); ++cln; lnl = cln; ++cln; lnr = cln; in nwpw_gencode()
284 …rncpy(lexpr,expr,t); lexpr[t] = '\0'; strcpy(rexpr,&expr[t+2]); ++cln; lnl = cln; ++cln; lnr = cln; in nwpw_gencode()
292 …rncpy(lexpr,expr,t); lexpr[t] = '\0'; strcpy(rexpr,&expr[t+1]); ++cln; lnl = cln; ++cln; lnr = cln; in nwpw_gencode()
300 strcpy(rexpr,&expr[t+3]); ++cln; lnr = cln; in nwpw_gencode()
307 strcpy(rexpr,&expr[t+3]); ++cln; lnr = cln; in nwpw_gencode()
314 strcpy(rexpr,&expr[t+3]); ++cln; lnr = cln; in nwpw_gencode()
321 strcpy(rexpr,&expr[t+4]); ++cln; lnr = cln; in nwpw_gencode()
[all …]
/dports/science/nwchem-data/nwchem-7.0.2-release/src/nwpw/nwpwlib/utilities/
H A Dnwpw_emachine.c195 …rncpy(lexpr,expr,t); lexpr[t] = '\0'; strcpy(rexpr,&expr[t+1]); ++cln; lnl = cln; ++cln; lnr = cln; in nwpw_gencode()
203 …rncpy(lexpr,expr,t); lexpr[t] = '\0'; strcpy(rexpr,&expr[t+1]); ++cln; lnl = cln; ++cln; lnr = cln; in nwpw_gencode()
268 …rncpy(lexpr,expr,t); lexpr[t] = '\0'; strcpy(rexpr,&expr[t+1]); ++cln; lnl = cln; ++cln; lnr = cln; in nwpw_gencode()
276 …rncpy(lexpr,expr,t); lexpr[t] = '\0'; strcpy(rexpr,&expr[t+1]); ++cln; lnl = cln; ++cln; lnr = cln; in nwpw_gencode()
284 …rncpy(lexpr,expr,t); lexpr[t] = '\0'; strcpy(rexpr,&expr[t+2]); ++cln; lnl = cln; ++cln; lnr = cln; in nwpw_gencode()
292 …rncpy(lexpr,expr,t); lexpr[t] = '\0'; strcpy(rexpr,&expr[t+1]); ++cln; lnl = cln; ++cln; lnr = cln; in nwpw_gencode()
300 strcpy(rexpr,&expr[t+3]); ++cln; lnr = cln; in nwpw_gencode()
307 strcpy(rexpr,&expr[t+3]); ++cln; lnr = cln; in nwpw_gencode()
314 strcpy(rexpr,&expr[t+3]); ++cln; lnr = cln; in nwpw_gencode()
321 strcpy(rexpr,&expr[t+4]); ++cln; lnr = cln; in nwpw_gencode()
[all …]
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/make/jdk/src/classes/build/tools/charsetmapping/
H A DHasher.java52 String cln = null; // Name of generated class field in Hasher
112 if (cln != null) in build()
113 err.print(cln + ": "); in build()
179 if (cln == null) in generate()
192 out.println(ind + "private static final class " + cln); in generate()
195 out.println("public final class " + cln); in generate()
212 + cln + "() {"); in generate()
237 String pkg, String cln, String vtype, in Hasher() argument
244 this.cln = cln; in Hasher()
255 String pkg, String cln, String vtype, in genClass() argument
[all …]

12345678910>>...93