Back to home page

EIC code displayed by LXR

 
 

    


File indexing completed on 2026-11-07 10:15:34

0001 /*
0002     Copyright (C) 2013 Fredrik Johansson
0003 
0004     This file is part of FLINT.
0005 
0006     FLINT is free software: you can redistribute it and/or modify it under
0007     the terms of the GNU Lesser General Public License (LGPL) as published
0008     by the Free Software Foundation; either version 3 of the License, or
0009     (at your option) any later version.  See <https://www.gnu.org/licenses/>.
0010 */
0011 
0012 #ifndef PARTITIONS_H
0013 #define PARTITIONS_H
0014 
0015 #include "arb_types.h"
0016 
0017 #ifdef __cplusplus
0018 extern "C" {
0019 #endif
0020 
0021 void partitions_rademacher_bound(arf_t b, const fmpz_t n, ulong N);
0022 
0023 void partitions_hrr_sum_arb(arb_t x, const fmpz_t n, slong N0, slong N, int use_doubles);
0024 
0025 void partitions_fmpz_fmpz(fmpz_t p, const fmpz_t n, int use_doubles);
0026 
0027 void partitions_fmpz_ui(fmpz_t p, ulong n);
0028 
0029 /* deprecated */
0030 #define partitions_fmpz_ui_using_doubles partitions_fmpz_ui
0031 
0032 void partitions_leading_fmpz(arb_t res, const fmpz_t n, slong prec);
0033 
0034 #ifdef __cplusplus
0035 }
0036 #endif
0037 
0038 #endif