* Initial Commit [WIP][CI SKIP]
Policies for mean implemented and forced vectorization
* First cut at integer variance [CI SKIP]
* Functional variance impl [WIP][CI SKIP]
* Work on variance [CI SKIP]
Details are now moved into detail files.
Recursively decomposes sufficient range size until max threads achieved.
Single failing test for integral, not implemented for Reals.
* Parallel integer variance complete [CI SKIP]
* All variance policies complete [CI SKIP]
* Update mean_and_sample_variance [CI SKIP]
* Median complete for all types [CI SKIP]
* Median absolute deviation complete for all types
[CI SKIP]
* Refactored sequential first four moments impls
[CI SKIP]
* Setup test cases for first four moments [WIP]
[CI SKIP]
* Sequential impl pass [CI SKIP]
* Parallel interface impl. Fails some tests
[CI SKIP]
* Interquartile range passes for all existing test
[CI SKIP]
* Gini coefficient generally implemented
Does not support long double or cpp_bin_float_50s
[CI SKIP]
* Sample gini coef implemented w/same constraints
[CI SKIP]
* Add benchmarks [CI SKIP]
* First four moments complete for most types
[CI SKIP]
* Skewness restructured. Currently INOP for non-seq
[CI SKIP]
* Fix floating point skewness [CI SKIP]
* Skewness complete [CI SKIP]
* Kurtosis complete [CI SKIP]
* Gini coefficient complete [CI SKIP]
Removes atomics which expands number of compatible types.
* Mode complete [CI SKIP]
Additionally mode now supports floating types by using an unordered_map to store frequency
* Garbage cleanup [CI SKIP]
* Doc updates [CI SKIP]
* Mean cleanup [CI SKIP]
* Cleanup variance [CI SKIP]
Remove duplicate impls that vary only be return type
* Variance Cleanup [CI SKIP]
Remove duplicate impls
* Skewness cleanup [CI SKIP]
* Update performance [CI SKIP]
* Add swap file to gitignore [CI SKIP]
* Add missing comma [CI SKIP]
* Improve par mode performance regression [CI SKIP]
[WIP] Parallel mode still ~2 orders of magnitude slower
* mode performance improvement [CI SKIP]
* Improved data handling - mode [CI SKIP]
* Additional overloads to match STL proposal
[CI SKIP]
* Updates to mode and documentation
* Remove dependency and fix todo [CI SKIP]
* Minor fixes [CI SKIP]
* Fix multiprecision issues [CI SKIP]
* Remove dependency. Minor change to thread counting
[CI SKIP]
* Standardize seq mean impl [CI SKIP]
* Fix doc brackets [CI SKIP]
* Remove duplicated sort on gini coef [CI SKIP]
* C++11 all that is required for sequential methods
[CI SKIP]
* Fixes for CI failure
* More CI fixes
* Fixes for MSVC issues
Fix gitignore merge conflict
Adjust test tol to match others
* Fix MSVC lang macro
* More small fixes for vinatge compilers
* Minor fix for MSVC 14.2 c++17 [CI SKIP]
* Cleanup docs, test file, and remove cruft
[CI SKIP]
* Delete par_unseq tests [CI SKIP]
* Change link to accumulators [CI SKIP]
* Add bigobj flag to failing build
* Remove redundant impl [WIP][CI SKIP]
* Initial cut at linear decomposition [WIP][CI SKIP]
* Passes tests [CI SKIP]
* Various CI fixes
* More CI fixes
* Delete extra impl and add linker flags
* Try CI without TBB
* Restrict compiler support
* Restrict c++ version
* Add integer support to t_test
* Add paired samples t test
* Add two sample t test
* Add welch's t test
* Update docs
* Cleanup
* Add CHECK_ULP_CLOSE tests to test battery. Fix svg
* Remove all instances of ex [CI SKIP]
* Remove std::distance and note in docs [CI SKIP]
* Re-write test battery
* Kolmogorov-Smirnov distribution #421
Add a new distribution, kolmogorov_smirnov_distribution, which takes a
parameter that represents the number of observations used in a
Kolmogorov-Smirnov test. (The K-S test is a popular test for comparing
two CDFs, but the test statistic is not implemented here.)
This implementation includes Kolmogorov's original 1st order Taylor
expansion. There is a literature on the distribution's other
mathematical properties (higher order terms and exact version); this
literature is summarized in the main header file for anyone who may
want to expand the implementation later.
The CDF is implemented using a Jacobi theta function, and the PDF is a
hand-rolled derivative of that function. Quantiles plug the CDF and PDF
into a Newton-Raphson iteration. The mean and variance have nice
closed-form expressions, and the mode uses a dumb run-time maximizer.
This commit includes graphs, a ULP plotter for the PDF, and the usual
compilation and numerical tests. The test file is on the small side, but
it integrates the distribution from zero to infinity, and covers the
quantiles pretty well. As of now the numerical tests only verify
self-consistency (e.g. distribution moments and CDF-quantile relations),
so there's room to add some external checks.
* Implement skewness for K-S distribution [CI SKIP]
The third moment integrates nicely with the help of Apery's constant
(zeta_three). Verify the result via quadrature.
* Implement kurtosis for the K-S distribution
Verify the result via quadrature.
* Jacobi Theta functions
Implementations, tests, and ULP plotting programs are provided for the
four Jacobi Theta functions per #373. Twenty-four public C++ functions
are provided in all, covering various precision-preserving scenarios.
Documentation for collaborators is provided in the code comments. Proper
documentation for end users will be provided when the implementation and
APIs are finalized.
Some tests are failing; this implementation is meant to start a
conversation. The core dilemma faced by the author was that large values
of |q| resulted in slow convergence, and sometimes wildly inaccurate
results. Following the implementation note in DLMF 20.14, I added code
to switch over to the imaginary versions of the theta functions when |q|
> 0.85. This restored accuracy such that all of the identity tests
passed for a loose-enough epsilon, but then lost precision to the point
that the Wolfram Alpha spot checks failed. It is the author's hope that
someone with floating-point experience can tame the exponential dragons
and squeeze the ULPs back down to a reasonable range when |q| is large.
When #392 is merged I will add more thorough value tests, although I
fully expect them to fail until the underlying precision issues are
resolved.
As a final note, the precision issues do not affect the z=0 case - the
ULP plots indicate these return values within 2 ULP across all valid
|q|. So that's a start.
* [CI SKIP] Jacobi theta: Add special-value tests and more
* Add tests covering z=0 special values from MathWorld
* Add missing real_concept header
* Replace M_PI and friends with constants::pi etc
* Use BOOST_MATH_STD_USING in more places
* Jacobi theta: Test two more of Watson's identities [CI SKIP]
See https://mathworld.wolfram.com/JacobiThetaFunctions.html
(Equations 48 and 49)
* Improve precision of Jacobi theta functions [CI SKIP]
Rewrite the private imaginary versions to use double-sided summations
following DLMF 20.13.4 and 20.13.5. This cuts down the worst of the
precision issues by a factor of 10, and gets more of the tests to pass.
I am confident enough in the code path to eliminate the compile-time
__JACOBI_THETA_USE_IMAGINARY flag. In fact the imaginary-z code paths
are now enabled for all |q| > 0.04, i.e. most legal values of q.
More extensive tests will be needed to illuminate any remaining
precision issues.
* Jacobi theta: Make changes suggested in #394 [CI SKIP]
* Add LICENSE notice to main file
* Document convergence criteria
* Eliminate eps*eps = 0 logic. This causes some disagreement with the
zero returned by Wolfram Alpha for z=0, q > 0.99 in the fourth function.
Mathematically, the fourth function is never exactly zero, so I don't
trust Wolfram here.
* Per code-review comments, remove multiplications by floating-point 2.
* Tweak the plotting programs to display their titles, and to uniformly
use `float` as their CoarseType and `long double` as their
`PreciseType`.
* Add quadrature tests to Jacobi theta functions [CI SKIP]
The quadrature tests revealed a problem in the m1 functions: they too
should switch to the _IMAGINARY logic for q > exp(-pi), or will suffer
from slow convergence. Fix them.
Also tighten tolerances for many tests from sqrt(eps) to 100 * eps.
* Test Jacobi thetas against elliptic functions and elliptic integrals [CI SKIP]
See:
* https://dlmf.nist.gov/22.2
* https://dlmf.nist.gov/20.9#i
* Test Jacobi Thetas against their Laplace transforms [CI SKIP]
See:
* https://dlmf.nist.gov/20.10#ii
I did find some disagreement, and dropped the negative sign from the
theta1 equation. DLMF's theta2 and theta3 Laplace transform equations do
not agree at all with the computed values - will need to investigate.
In the meantime, the two implemented equations agree to 4 EPS so I am
keeping them.
* Add a note on using log1p with Jacobi theta functions [CI SKIP]
See discussion:
* https://github.com/boostorg/math/pull/394#issuecomment-655871762
* Add random data tests to Jacobi Theta functions [CI SKIP]
Add a test data generator program for the Jacobi theta functions.
This program will produce data for the tau parameterization, so that
precision isn't lost during the log-transformation. This distinguishes
it from the Wolfram Alpha data, which is parameterized by q.
A few of these new random-data tests are failing, but not by obscene
margins (< 100 EPS). These failures will be addressed when the test
tolerances are finalized.
* Add small-tau tests and simplify Jacobi Theta code [CI SKIP]
Add tests for small tau (i.e. large q). The tests are failing with mean
~ 200 EPS and max ~ 800 EPS. These look like worst-case input, and
should be the focus of future accuracy improvements.
This commit also simplifies the _IMAGINARY code by abstracting all of
the loops into a single svelte function.
* Add user documentation for Jacobi Theta functions [CI SKIP]
* Add function graphs to Jacobi Theta docs [CI SKIP]
* Define Jacobi Theta test tolerances [CI SKIP]
* Add implementation note on Jacobi theta functions [CI SKIP]
* Consolidate Jacobi Theta ULPs plotting programs [CI SKIP]
* Fix q domain checking of jacobi_theta4 [CI SKIP]
* Add ULPs plots to Jacobi Theta docs [CI SKIP]
Also add the built HTML files for easy evaluation. A full rebuild is
needed for the new docs to appear in the indexes.
* Add missing Jacobi Theta ULPs plots [CI SKIP]
* Add LaTeX source for Jacobi Theta equations [CI SKIP]
* Remove unused Jacobi Theta PNG equations [CI SKIP]
* Add Jacobi Theta performance script [CI SKIP]
Provided by @NAThompson.
* Remove vestigial eps*eps check from jacobi_theta3 [CI SKIP]
* Update Jacobi Theta docs per code review comments [CI SKIP]
* Enable arg promotion for Jacobi Theta functions [CI SKIP]
Add Jacobi theta functions to the instantiation tests and fix up
everything needed to make them pass. This changes the function
signatures to use promote_args.
* Fix Jacobi Theta plotting script [CI SKIP]
This script broke when the promote_args API was added.
* Change Jacobi Theta convergence criterion [CI SKIP]
Compare the non-oscillating part of the delta to the previous one.
This avoids some headaches comparing the delta to the partial sum,
because the partial sum can be a small number due to the oscillating
component alternating signs.
Because successive terms involve either q^n^2 or exp(-(pi*n)^2),
convergence should still happen pretty quickly. Graphs have been updated
and tests still passs with no noticeable difference.
* Improve ulps plot:
- Use numeric_limits for precision comparison, plot out of bounds points at the clip boundary so we can still see that they're there.
-Add options for colored marks when clipping and NaN.
