hiro/arb
1
0
Fork 0
mirror of https://github.com/vale981/arb synced 2025-03-04 17:01:40 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

add dirichlet_char_is_primitive

Browse source
This commit is contained in:
Fredrik Johansson 2016-11-28 09:59:30 +01:00
parent 4128a16951
commit 4227e0b0a8
2 changed files with 10 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
dirichlet.h
View file

@ -144,6 +144,12 @@ dirichlet_char_is_real(const dirichlet_group_t G, const dirichlet_char_t chi)
return G->q <= 4 || (nmod_mul(chi->n, chi->n, G->mod) == 1);
}
DIRICHLET_INLINE int
dirichlet_char_is_primitive(const dirichlet_group_t G, const dirichlet_char_t chi)
{
return (dirichlet_conductor_char(G, chi) == G->q);
}
ulong dirichlet_chi(const dirichlet_group_t G, const dirichlet_char_t chi, ulong n);
void dirichlet_vec_set_null(ulong *v, const dirichlet_group_t G, slong nv);

4
doc/source/dirichlet.rst
View file

@ -224,6 +224,10 @@ level of *number* and *char* object. Both case require no discrete log computati
Returns 1 if *chi* is a real character (iff it has order `\leq 2`).
.. function:: int dirichlet_char_is_primitive(const dirichlet_group_t G, const dirichlet_char_t chi)
Returns 1 if *chi* is primitive (iff its conductor is exactly *q*).
Character evaluation
-------------------------------------------------------------------------------