24 Commits

Author SHA1 Message Date
wborgeaud
47da1ef68c Add MLE tests for algebras 2021-06-08 14:01:47 +02:00
wborgeaud
19a38682ab Minor tweaks 2021-06-08 12:49:45 +02:00
wborgeaud
070dc7c9f1 s/ext_ext/ext_algebra 2021-06-08 11:30:39 +02:00
wborgeaud
d727f84a56 Working test 2021-06-08 11:18:21 +02:00
wborgeaud
5678c7ebda Added ExtensionAlgebra 2021-06-08 10:58:03 +02:00
Daniel Lubarov
cb7f8c8b8c
Draw challenge points from the extension field (#51)
* Draw challenge points from the extension field

* Now building

* Misc

* Default eval_unfiltered_base

* fmt

* A few field settings

* Add to Sage

* Display tweak

* eval_filtered_base

* Quartic in bench

* Missing methods

* Fix tests

* PR feedback
2021-05-30 13:25:53 -07:00
Daniel Lubarov
9cf586274e Fix typos 2021-05-25 15:06:05 -07:00
Daniel Lubarov
d9e828811f Typo 2021-05-24 15:10:45 -07:00
Daniel Lubarov
e98593aa7e Little circuit optimization 2021-05-24 15:09:43 -07:00
wborgeaud
a11d2ed36b Fixes based on PR comments 2021-05-24 22:04:06 +02:00
wborgeaud
c9309eb27b Minor 2021-05-24 17:40:26 +02:00
wborgeaud
4f6e9fb2e0 Recursive evaluation for interpolation gate. 2021-05-24 17:31:55 +02:00
wborgeaud
b64a5fab46 Addition and multiplication for ExtensionTarget 2021-05-24 16:36:21 +02:00
wborgeaud
655bcd8eac Minor 2021-05-24 15:31:52 +02:00
wborgeaud
66d6f3c338 Remove useless Qua(d)r(a)ticFieldExtension traits 2021-05-24 14:12:08 +02:00
wborgeaud
78f71672a3 Change Field::exp to using a u64 power. 2021-05-19 12:17:43 +02:00
wborgeaud
e806d86f86 Remove custom primitive_root_of_unity in extension fields by modifying the generators. 2021-05-19 09:35:39 +02:00
wborgeaud
1cbd12edbd Fixes based on PR comments 2021-05-18 22:22:15 +02:00
wborgeaud
8737c8d5b9 revert extension field order 2021-05-18 16:37:21 +02:00
wborgeaud
4f6f2192ab Minor fixes 2021-05-18 16:23:44 +02:00
wborgeaud
a2cf2c03b6 Working FRI with field extensions 2021-05-18 15:22:06 +02:00
wborgeaud
1e45b0b1c0 Move Frobenius to default trait implementation. 2021-05-11 20:58:04 +02:00
wborgeaud
f1d812812e Added field order test 2021-05-11 15:26:20 +02:00
wborgeaud
04664a54ee Binary extension fields 2021-05-11 14:21:21 +02:00