flint-sys 0.9.0

Bindings to the FLINT C library
Documentation 
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78

/*
    Copyright (C) 2025 Marc Mezzarobba

    This file is part of FLINT.

    FLINT 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 3 of the License, or
    (at your option) any later version.  See <https://www.gnu.org/licenses/>.
*/

#include "fmpz.h"
#include "gr_generic.h"
#include "gr_vec.h"
#include "gr_poly.h"

int
gr_generic_poly_factor_roots(
        gr_ptr c, gr_vec_t fac, gr_vec_t mult, gr_srcptr elt, int flags,
        gr_ctx_t ctx)
{
    gr_ctx_t pctx;
    gr_vec_t roots;
    fmpz_t tot;

    gr_poly_struct * poly = (gr_poly_struct *) elt;

    if (gr_ctx_is_integral_domain(ctx) != T_TRUE)
        return GR_UNABLE;

    if (poly->length == 0)
        return GR_DOMAIN;

    gr_ctx_init_gr_poly(pctx, ctx);
    gr_vec_init(roots, 0, ctx);
    fmpz_init(tot);

    int status = GR_SUCCESS;

    gr_ptr lc = gr_poly_coeff_ptr(poly, poly->length - 1, ctx);
    if (gr_is_zero(lc, ctx) != T_FALSE)
    {
        status = GR_UNABLE;
        goto cleanup;
    }
    status |= gr_poly_set_scalar(c, lc, ctx);

    status |= gr_poly_roots(roots, mult, poly, 0, ctx);

    gr_ctx_t ZZ;
    gr_ctx_init_fmpz(ZZ);
    GR_MUST_SUCCEED(_gr_vec_sum(tot, mult->entries, mult->length, ZZ));
    gr_ctx_clear(ZZ);

    if (!fmpz_equal_si(tot, poly->length - 1))
    {
        status = GR_UNABLE;
        goto cleanup;
    }

    gr_vec_set_length(fac, roots->length, pctx);
    for (slong i = 0; i < roots->length; i++)
    {
        gr_ptr rt = gr_vec_entry_ptr(roots, i, ctx);
        gr_poly_struct * f = gr_vec_entry_ptr(fac, i, pctx);
        status |= gr_poly_gen(f, ctx);
        status |= gr_neg(rt, rt, ctx);
        gr_swap(f->coeffs, rt, ctx);
    }

cleanup:

    fmpz_clear(tot);
    gr_vec_clear(roots, ctx);
    gr_ctx_clear(pctx);

    return status;
}