| 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.
|
| | |
|
|\| |
|
| | |
|
| | |
|
|\| |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |\ |
|
| | | |
|
| |\| |
|
| | | |
|
| | | |
|
| | | |
|