aboutsummaryrefslogtreecommitdiff
path: root/src/ModularArithmetic/BarrettReduction
Commit message (Expand)AuthorAge
* Bundle arguments to Barrett ReductionGravatar Jason Gross2016-10-10
* Work around bug #4165 (broken context) in 8.4Gravatar Jason Gross2016-08-10
* Specify a type of bounded integers for mod arithGravatar Jason Gross2016-08-09
* Implement Barrett Reduction following HAC 14.42 (#45)Gravatar Jason Gross2016-08-04
* Add a generalized version of Barrett Reduction (#44)Gravatar Jason Gross2016-08-04
* Split up proof in BarrettReduction.ZGravatar Jason Gross2016-07-21
* Implement and prove Barrett reduction on Z (#18)Gravatar Jason Gross2016-07-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 13:31:16 +0000