Pascal
f0165fa852
improve powers struct
2016-09-06 14:34:47 +02:00
Pascal
c73d9ae99b
bug in conrey_exp
2016-09-06 14:34:47 +02:00
Pascal
a741ec8441
some documentation + syntax
2016-09-06 14:34:47 +02:00
Pascal
b80ac364d8
document and remove chi_vec_sieve function
2016-09-06 14:33:53 +02:00
Pascal
a82a79a625
document dlog module
2016-09-06 14:33:53 +02:00
Pascal
7436f1b668
char->order now nmod_t
2016-09-06 14:33:53 +02:00
Pascal
b181db7e9e
use dlog vec function
2016-09-06 14:33:53 +02:00
Pascal
f663f05782
gauss sums using factor
2016-09-06 14:33:53 +02:00
Pascal
6a10a2e432
refactor to use product of prime groups
2016-09-06 14:33:53 +02:00
Pascal
27f3304fed
jacobi sums, use product
2016-09-06 14:33:53 +02:00
Pascal
582025eda0
jacobi sums, exceptional cases, still a pb
2016-09-06 14:33:53 +02:00
Pascal
51f6858fc6
fix stupid bug
2016-09-06 14:33:53 +02:00
Pascal
51f9a6dfc4
equality tests
2016-09-06 14:33:53 +02:00
Pascal
9e448013fd
add conrey index inside char
2016-09-06 14:33:53 +02:00
Pascal
f5bb939f9a
split theta file
2016-09-06 14:33:52 +02:00
Pascal
73b253b44c
refactor order
2016-09-06 14:33:52 +02:00
Pascal
d676ef27c9
length estimate fot odd theta series
2016-09-06 14:33:52 +02:00
Pascal
03198b4881
parity
2016-09-06 14:33:52 +02:00
Pascal
249f123f6b
export conductor_ui and number_primitive
2016-09-06 14:33:52 +02:00
Pascal
cc12103e8e
add conductor inside char type
2016-09-06 14:33:52 +02:00
Pascal
ce4b6c16e2
add theta functions
2016-09-06 14:33:52 +02:00
Pascal
286ca6c84d
change interface to switch acb / ui output
2016-09-06 14:33:52 +02:00
Pascal
88a2725e98
fix and test chi_vec_primeloop
2016-09-06 14:33:16 +02:00
Pascal
78c57e71c7
change argument order
2016-09-06 14:33:16 +02:00
Pascal
9efc3f0770
test characters
2016-09-06 14:33:16 +02:00
Pascal
eff070ba2e
some formatting on dlog
2016-09-06 14:32:00 +02:00
Pascal
b9c7ceb92a
change dlog_mope to make recursion by hand
2016-09-06 14:32:00 +02:00
Pascal
9bbb280778
add recursion formulas for log mod pe
2016-09-06 14:32:00 +02:00
Pascal
4ef261ba3a
split dlog precomp file
2016-09-06 14:32:00 +02:00
Pascal
0d96be37f8
add parity in char (simpler to have on logs)
2016-09-06 14:32:00 +02:00
Pascal
06d7cce20a
fix bug on char_next + add log precomputations
2016-09-06 14:32:00 +02:00
Pascal
0180bf4db7
remove deprecated dlog_vec_crt
2016-09-06 14:32:00 +02:00
Pascal
f488a8b034
huge refactor
...
- split files, one for each function
- use acb_dirichlet prefix everywhere
- distinguish pairing / character value
+ fix bug on exponent
2016-09-06 14:32:00 +02:00
Pascal
be2a0592ac
remove wrong vec_crt, rename subgroup->add
2016-09-06 14:24:01 +02:00
Pascal
42c6f373c9
debugged dlog_vec_sieve
2016-09-06 14:24:01 +02:00
Pascal
a85a12fa6b
start to debug dlog_vec
2016-09-06 14:24:01 +02:00
Pascal
4ece4cbacb
split files
2016-09-06 14:24:01 +02:00
Pascal
5ecc8e1f25
dlog vec performs as it should
...
but still mathematically not debugged
2016-09-06 14:24:01 +02:00
Pascal
ba8ff73f7d
fix log table for large moduli + add order 2 & 3
2016-09-06 14:24:01 +02:00
Pascal
4d40de48d6
split dlog files, use nmod in bsgs
2016-09-06 14:24:01 +02:00
Pascal
fea25a359e
split dlog vec
2016-09-06 14:24:01 +02:00
Pascal
25cd112af3
use flint nmod structure + start dlog_vec functions
2016-09-06 14:24:01 +02:00
Pascal
34969d1145
move discrete log to dlog dir
2016-09-06 14:24:01 +02:00
Pascal
636bcf8d0a
add dlog rho method
2016-09-06 14:22:08 +02:00
Pascal
f1b83ce545
add discrete log precomputations
2016-09-06 14:22:08 +02:00
Pascal
1deaf2362d
profile charevalvec
2016-09-06 14:22:07 +02:00
Pascal
ae87bc156d
implement 3 vector evaluations
2016-09-06 14:22:07 +02:00
Pascal
37e8a1b18f
fix generators and test conrey elements
2016-09-06 14:22:07 +02:00
Pascal
76f5816cbd
add next_primitive, first test on conrey elts
2016-09-06 14:22:07 +02:00
Pascal
fa1a85b746
[dirichlet] add conrey type to handle logs + char type
...
- try to handle even and odd components the same way in the dirichlet group
- switch from phi_q_odd to smaller expo = exponent of the group
all character orders divide this number, and a character of that order exists
- use conrey logarithm to reuse log and to loop efficiently over the group
(see the diff on l.c, only 1 log in computed instead of 2 * q)
- NOT TESTED, for the moment it just compiles, I know some errors
(e.g. the FIXME in group_init.c : the generators have to be lifted mod q)
this commit is just a proof of concept.
2016-09-06 14:22:07 +02:00