/usr/include/partitions.h is in libflint-arb-dev 2.11.1-2build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 | /*
Copyright (C) 2013 Fredrik Johansson
This file is part of Arb.
Arb is free software: you can redistribute it and/or modify it under
the terms of the GNU Lesser General Public License (LGPL) as published
by the Free Software Foundation; either version 2.1 of the License, or
(at your option) any later version. See <http://www.gnu.org/licenses/>.
*/
#ifndef PARTITIONS_H
#define PARTITIONS_H
#include <math.h>
#include "flint/flint.h"
#include "flint/arith.h"
#include "arb.h"
#ifdef __cplusplus
extern "C" {
#endif
void partitions_rademacher_bound(arf_t b, const fmpz_t n, ulong N);
void partitions_hrr_sum_arb(arb_t x, const fmpz_t n, slong N0, slong N, int use_doubles);
void partitions_fmpz_fmpz(fmpz_t p, const fmpz_t n, int use_doubles);
void partitions_fmpz_ui(fmpz_t p, ulong n);
void partitions_fmpz_ui_using_doubles(fmpz_t p, ulong n);
void partitions_leading_fmpz(arb_t res, const fmpz_t n, slong prec);
#ifdef __cplusplus
}
#endif
#endif
|