Comments (1)
Yes, it is expected.
A lot of less-used functions map directly to GMP, without an optimized path for small integers. Moreover, functions such as divisible
have no mpn
version, which means that we need a copy from Zarith's internal representation to a mpz_t
number. Hence, they have some extra overhead. In theory, it should be faster for cases where GMP's divisible
is notably faster than a naive division (GMP's documentation says that this is the case if the divisor remains small).
from zarith.
Related Issues (20)
- META file is missing plugin declarations
- Feature request: Modular (or Machine) arithmetic HOT 10
- Cannot convert large integers to int64 HOT 4
- Suggestion: having _opt version without exceptions HOT 2
- Mars HOT 1
- Publish Z_mlgmpidl module on opam HOT 2
- Is the internal representation of Z values canonical? HOT 4
- Building with ocamlc: make: posix_spawn: ocamlopt: No such file or directory HOT 12
- Naive question about static linking HOT 2
- Typo in q.mli HOT 1
- trying to install zarith on cygwin (with opam, of course) HOT 3
- Setting `OCAMLFIND_DESTDIR` can mess with opam installation HOT 5
- Redefinition of int operators HOT 3
- Any plans to release new version?🤔 HOT 5
- Requesting `Z.of_int128` and `Z.of_int256` and its unsigned versions HOT 1
- Non-canonical values when deserializing large integers from 32 bits arch on a 64 bits arch HOT 5
- Any hard feelings against Q.of_bigints? HOT 3
- Error Z.t is not compatible with type Big_int.big_int HOT 3
- Issue while installing `Zarith` HOT 5
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from zarith.