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
79
80
81
82
83
84

/*
    Copyright (C) 2020 Fredrik Johansson

    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 "calcium.h"
#include "ca.h"

ulong ca_hash_repr(const ca_t x, ca_ctx_t ctx)
{
    if (CA_IS_SPECIAL(x))
    {
        return 123;  /* not really interesting ... */
    }
    else if (CA_IS_QQ(x, ctx))
    {
        ulong a, b;

        a = calcium_fmpz_hash(CA_FMPQ_NUMREF(x));
        b = calcium_fmpz_hash(CA_FMPQ_DENREF(x));

        return a + 781237663 * b;
    }
    else if (CA_FIELD_IS_NF(CA_FIELD(x, ctx)))
    {
        const fmpz * num;
        const fmpz * den;
        slong i, len;
        ulong hash;

        if (CA_FIELD_NF(CA_FIELD(x, ctx))->flag & NF_LINEAR)
        {
            num = (fmpz *) LNF_ELEM_NUMREF(CA_NF_ELEM(x));
            den = LNF_ELEM_DENREF(CA_NF_ELEM(x));
            len = 1;
        }
        else if (CA_FIELD_NF(CA_FIELD(x, ctx))->flag & NF_QUADRATIC)
        {
            num = (fmpz *) QNF_ELEM_NUMREF(CA_NF_ELEM(x));
            den = QNF_ELEM_DENREF(CA_NF_ELEM(x));
            len = 2;
        }
        else
        {
            num = (fmpz *) NF_ELEM_NUMREF(CA_NF_ELEM(x));
            den = NF_ELEM_DENREF(CA_NF_ELEM(x));
            len = NF_ELEM(CA_NF_ELEM(x))->length;
        }

        hash = CA_EXT_HASH(CA_FIELD_EXT_ELEM(CA_FIELD(x, ctx), 0));

        hash = 1000003 * calcium_fmpz_hash(den) + hash;
        for (i = 0; i < len; i++)
            hash = calcium_fmpz_hash(num + i) * 1000003 + hash;

        return hash;
    }
    else
    {
        slong i;
        ulong hash;
        const fmpz_mpoly_struct *p, *q;

        hash = CA_FIELD_HASH(CA_FIELD(x, ctx));

        p = fmpz_mpoly_q_numref(CA_MPOLY_Q(x));
        q = fmpz_mpoly_q_numref(CA_MPOLY_Q(x));

        /* fixme: this only looks at coefficients -- accessing exponents is annoying */
        for (i = 0; i < p->length; i++)
            hash = calcium_fmpz_hash(p->coeffs + i) * 1000003 + hash;

        for (i = 0; i < q->length; i++)
            hash = calcium_fmpz_hash(q->coeffs + i) * 1000003 + hash;

        return hash;
    }
}