Contributing to Arb¶
The Arb project welcomes new feature contributions in addition to patches for bugs and performance problems.
What are appropriate new features? Most of the numerical functionality that can be found in a general-purpose computer algebra system is certainly within scope (of course, the main restriction is that the algorithm must have a proof of correctness). However, if the functionality is easily accomplished by combining existing functions in Arb, consider whether it is worth the increase in code size, maintenance effort and test time. Prospective contributors are recommended to discuss their ideas on the mailing list or the issue tracker.
The process for actually submitting code is simple: anyone can submit a pull request on GitHub. If the patch looks good to the maintainer and the test code passes, the patch will get merged into the git master.
Four steps are needed to add a new function:
Add the function
module_foo()in a new file
Add a corresponding test program in a new file
Add the function prototype to
Document the function in
The build system takes care of everything else automatically.
Test code (see below)
can be omitted if
module_foo() is a trivial helper function, but it should
at least be tested indirectly via another function in that case.
Auxiliary functions needed to implement
module_foo() but which have no
use elsewhere should be declared as
module_foo() is very short, it can be declared inline directly
module.h with the
Use the following checklist regarding code style:
Try to keep names and function arguments consistent with existing code.
Follow the conventions regarding types, aliasing rules, etc. described in Technical conventions and potential issues and in
code_conventions.txtin FLINT (https://github.com/wbhart/flint2/blob/trunk/code_conventions.txt).
Use basic FLINT constants, types and functions:
Complex macros should be avoided.
Indentation is four spaces.
Curly braces normally go on a new line.
Binary operators are surrounded by spaces (but parentheses and brackets are not).
Logically distinct chunks of code (variable declarations, initialization, precomputations, the main loop, cleanup, etc.) should be separated by a single blank line.
Lines are up to 79 characters long, but this rule can be broken if it helps readability.
Add correct copyright notices at the top of each file.
See Setup for instructions on running test code.
The easiest way to write a test program for a new function is to adapt the test code for an existing, similar function.
Most of the test code in Arb uses the strategy of computing the same mathematical quantity in two or more different ways (for example, using functional equations, interchanging the order of parameter, or varying the precision and other algorithm parameters) and verifying that the results are consistent. It is also a good idea to test that aliasing works. Input data is usually generated randomly, but in some cases including precomputed reference values also makes sense.
Faster test code is better. A single test program should not take more
than 10 seconds to run, and preferably no more than 1 second. Most functions
can be tested effectively in less than 0.1 seconds. Think of what the corner
cases are and try to generate random input biased toward such cases.
randtest() functions attempt to generate corner cases automatically, but
some thought may be needed to use them optimally. Try to ensure that the test
code fails if you deliberately break the tested function in any way. It is also
a good idea to run the test code once with
ARB_TEST_MULTIPLIER=10.0 or higher.
If a function’s input space is too large to probe effectively for corner cases
with random input, that can be a hint that the function should be split into
smaller logical parts that can be tested separately.
The test code must complete without errors when run with
The most common mistake leading to memory corruption or memory leaks
is to miss or duplicate an
Check that the
clear() calls exactly match the variable
declarations in each code block, including the test code itself.
Profiling code is not needed in most cases, but it is often a good idea to
run some benchmarks at least during the initial development of a new feature.
in FLINT are useful for quick measurements.