Commit graph

1882 commits

Author SHA1 Message Date
Pascal
1f5d49cfe9 use dlog vec function 2016-10-08 22:46:01 +02:00
Pascal
6dee9d41dc gauss sums using factor 2016-10-08 22:46:01 +02:00
Pascal
c1fd16fae4 refactor to use product of prime groups 2016-10-08 22:46:01 +02:00
Pascal
68faafa62a jacobi sums, use product 2016-10-08 22:46:01 +02:00
Pascal
4953a8b434 jacobi sums, exceptional cases, still a pb 2016-10-08 22:46:01 +02:00
Pascal
041f644fda fix stupid bug 2016-10-08 22:46:01 +02:00
Pascal
27d1877c3b equality tests 2016-10-08 22:46:00 +02:00
Pascal
f209d4307c add conrey index inside char 2016-10-08 22:46:00 +02:00
Pascal
49e03f8a1f split theta file 2016-10-08 22:46:00 +02:00
Pascal
a48ca38e09 refactor order 2016-10-08 22:46:00 +02:00
Pascal
ed86f818c8 length estimate fot odd theta series 2016-10-08 22:46:00 +02:00
Pascal
c37c09522f parity 2016-10-08 22:46:00 +02:00
Pascal
31f9665db7 export conductor_ui and number_primitive 2016-10-08 22:46:00 +02:00
Pascal
656a426e4a add conductor inside char type 2016-10-08 22:46:00 +02:00
Pascal
f7ac9d685f add theta functions 2016-10-08 22:46:00 +02:00
Pascal
320e35a53a change interface to switch acb / ui output 2016-10-08 22:46:00 +02:00
Pascal
0cbba4b8ff fix and test chi_vec_primeloop 2016-10-08 22:46:00 +02:00
Pascal
0d29c8b042 change argument order 2016-10-08 22:46:00 +02:00
Pascal
4f9ef0f0c6 test characters 2016-10-08 22:46:00 +02:00
Pascal
8bd17e2746 some formatting on dlog 2016-10-08 22:45:59 +02:00
Pascal
fdffa46757 change dlog_mope to make recursion by hand 2016-10-08 22:45:59 +02:00
Pascal
fdf49f76f4 add recursion formulas for log mod pe 2016-10-08 22:45:59 +02:00
Pascal
401f91eed1 split dlog precomp file 2016-10-08 22:45:59 +02:00
Pascal
36e1682d64 add parity in char (simpler to have on logs) 2016-10-08 22:45:59 +02:00
Pascal
986f7fab2f fix bug on char_next + add log precomputations 2016-10-08 22:45:59 +02:00
Pascal
f53fb1e761 remove deprecated dlog_vec_crt 2016-10-08 22:45:59 +02:00
Pascal
583cbd4147 huge refactor
- split files, one for each function
- use acb_dirichlet prefix everywhere
- distinguish pairing / character value
+ fix bug on exponent
2016-10-08 22:45:59 +02:00
Pascal
2e0b1a16e8 remove wrong vec_crt, rename subgroup->add 2016-10-08 22:45:59 +02:00
Pascal
024815e1b3 debugged dlog_vec_sieve 2016-10-08 22:45:59 +02:00
Pascal
49ff9e4830 start to debug dlog_vec 2016-10-08 22:45:59 +02:00
Pascal
4b24b265be split files 2016-10-08 22:45:59 +02:00
Pascal
05ecc82d87 dlog vec performs as it should
but still mathematically not debugged
2016-10-08 22:45:59 +02:00
Pascal
32a1c966b9 fix log table for large moduli + add order 2 & 3 2016-10-08 22:45:58 +02:00
Pascal
387c7f19e3 split dlog files, use nmod in bsgs 2016-10-08 22:45:58 +02:00
Pascal
390ac92735 split dlog vec 2016-10-08 22:45:58 +02:00
Pascal
0a56baebf2 use flint nmod structure + start dlog_vec functions 2016-10-08 22:45:58 +02:00
Pascal
5c08496740 move discrete log to dlog dir 2016-10-08 22:45:58 +02:00
Pascal
bd644682fd add dlog rho method 2016-10-08 22:45:58 +02:00
Pascal
4946ae85e4 add discrete log precomputations 2016-10-08 22:45:58 +02:00
Pascal
666db0a33f profile charevalvec 2016-10-08 22:45:58 +02:00
Pascal
68dac0eba2 implement 3 vector evaluations 2016-10-08 22:45:58 +02:00
Pascal
2f40b276cd fix generators and test conrey elements 2016-10-08 22:45:58 +02:00
Pascal
7e0eac0d36 add next_primitive, first test on conrey elts 2016-10-08 22:45:58 +02:00
Pascal
46fa645910 [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-10-08 22:45:58 +02:00
Pascal
48c527a8fa update doc and change chi_char to pairing_char 2016-10-08 22:43:29 +02:00
Pascal
00118eb55f remove all conrey 2016-10-08 20:54:14 +02:00
Pascal
e29ca5d50e switch conrey->char->fullchar 2016-10-08 20:50:41 +02:00
Fredrik Johansson
49a6bf8584 Merge remote-tracking branch 'pascal/dirichlet' into dirichlet 2016-10-06 15:09:31 +02:00
Pascal
6d9c036783 also remove lcentral (needs dft) 2016-10-06 15:06:56 +02:00
Pascal
815a67a1b1 forgot to remove acb_dft.h 2016-10-06 15:02:35 +02:00