/dports/math/cln/cln-1.3.6/ |
H A D | Makefile.am | 5 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 D | Makefile.in | 122 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 D | configure.ac | 23 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 D | numeric.cpp | 409 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 D | inifcns_elliptic.cpp | 85 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 D | inifcns_nstdsums.cpp | 130 *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 D | drat_test.plf | 88 (@ 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 D | lrat_test.plf | 25 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 D | er_test.plf | 19 (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 D | smod_helpers.h | 36 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 D | mgcd.cpp | 41 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 D | ring_traits.h | 29 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 D | primes_factory.h | 48 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 D | euclid_gcd_wrap.h | 41 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 D | interpolate_padic_uvar.h | 28 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 D | check_cra.cpp | 29 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 D | integer_cln_imp.cpp | 49 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 D | integer_cln_imp.h | 43 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 D | rational_cln_imp.h | 63 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 D | FindCLN.cmake | 41 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 D | bigint_interface.h | 70 : 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 D | stepped.sh | 23 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 D | nwpw_emachine.c | 195 …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 D | nwpw_emachine.c | 195 …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 D | Hasher.java | 52 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 …]
|