| Commit message (Collapse) | Author | Age |
| |
|
|
|
|
| |
carries and proved that it preserves GF representation.
|
|
|
|
| |
carry_rep.
|
| |
|
| |
|
| |
|
|
|
|
| |
carry_rep_reduce.
|
| |
|
| |
|
| |
|
|
|
|
| |
implementation of GFrep interface.
|
| |
|
|
|
|
| |
admits about inject to GaloisTheory.
|
|\ |
|
| |
| |
| |
| | |
(first element of base is 1).
|
| | |
|
|/ |
|
|
|
|
| |
moved some lemmas to ListUtil.
|
| |
|
|
|
|
| |
(currently admitted).
|
| |
|
| |
|
| |
|
|\ |
|
| | |
|
| | |
|
| |\
| |/
|/| |
|
| |
| |
| |
| | |
base_positive for extended base system.
|
| | |
|
| |
| |
| |
| | |
working on admits (extended_shiftadd and reduce_defn).
|
| |
| |
| |
| | |
products.
|
| | |
|
|\| |
|
| | |
|
| | |
|
| |\ |
|
| | | |
|
| | | |
|
|\| |
| | |
| | |
| | |
| | | |
Conflicts:
src/Galois/BaseSystem.v
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
|\ \ \ |
|
|\ \ \ \
| | |/ /
| |/| | |
|