chore(math): initialize pallas-math crate (#474)

This commit is contained in:
Andrew Westberg 2024-06-29 20:43:06 +00:00 committed by GitHub
parent 9011a2e078
commit 1fdf8dc01f
6 changed files with 53 additions and 0 deletions

14
pallas-math/README.md Normal file
View file

@ -0,0 +1,14 @@
# Pallas Math
Crate with all the mathematics functions to support Cardano protocol:
- [] lncf - Approximate `ln(1+x)` for `x in 0..infinty`.
- [] cf - Compute continued fraction using max steps or bounded list of a/b factors.
- [] bound - Simple way to find integer powers that bound x.
- [] contract - Bisect bounds to find the smallest integer power such that `factor^n<=x<factor^(n+1)`.
- [] find_e - find n with `e^n<=x<e^(n+1)`.
- [] ln - Compute natural logarithm via continued fraction, first splitting integral part and then using continued fractions approximation for `ln(1+x)`.
- [] taylor_exp - Compute `exp(x)` using Taylor expansion.
- [] taylor_exp_cmp - Efficient way to compare the result of the Taylor expansion of the exponential function to a threshold value.
- ...
- ...