all but inv

This commit is contained in:
Dmitry Vagner 2022-12-16 17:46:50 -08:00
parent d6c7e319bd
commit 15ee75f2ea

View File

@ -344,144 +344,144 @@ fn frob_fp12(n: usize, f: Fp12) -> Fp12 {
}
const EXPS4: [(bool, bool, bool); 65] = [
(True, True, True),
(True, True, False),
(True, True, True),
(True, True, True),
(False, False, False),
(False, False, True),
(True, False, True),
(False, True, False),
(True, False, True),
(True, True, False),
(True, False, True),
(False, True, False),
(True, True, False),
(True, True, False),
(True, True, False),
(False, True, False),
(False, True, False),
(False, False, True),
(True, False, True),
(True, True, False),
(False, True, False),
(True, True, False),
(True, True, False),
(True, True, False),
(False, False, True),
(False, False, True),
(True, False, True),
(True, False, True),
(True, True, False),
(True, False, False),
(True, True, False),
(False, True, False),
(True, True, False),
(True, False, False),
(False, True, False),
(False, False, False),
(True, False, False),
(True, False, False),
(True, False, True),
(False, False, True),
(False, True, True),
(False, False, True),
(False, True, True),
(False, True, True),
(False, False, False),
(True, True, True),
(True, False, True),
(True, False, True),
(False, True, True),
(True, False, True),
(False, True, True),
(False, True, True),
(True, True, False),
(True, True, False),
(True, True, False),
(True, False, False),
(False, False, True),
(True, False, False),
(False, False, True),
(True, False, True),
(True, True, False),
(True, True, True),
(False, True, True),
(False, True, False),
(True, True, True),
(true, true, true),
(true, true, false),
(true, true, true),
(true, true, true),
(false, false, false),
(false, false, true),
(true, false, true),
(false, true, false),
(true, false, true),
(true, true, false),
(true, false, true),
(false, true, false),
(true, true, false),
(true, true, false),
(true, true, false),
(false, true, false),
(false, true, false),
(false, false, true),
(true, false, true),
(true, true, false),
(false, true, false),
(true, true, false),
(true, true, false),
(true, true, false),
(false, false, true),
(false, false, true),
(true, false, true),
(true, false, true),
(true, true, false),
(true, false, false),
(true, true, false),
(false, true, false),
(true, true, false),
(true, false, false),
(false, true, false),
(false, false, false),
(true, false, false),
(true, false, false),
(true, false, true),
(false, false, true),
(false, true, true),
(false, false, true),
(false, true, true),
(false, true, true),
(false, false, false),
(true, true, true),
(true, false, true),
(true, false, true),
(false, true, true),
(true, false, true),
(false, true, true),
(false, true, true),
(true, true, false),
(true, true, false),
(true, true, false),
(true, false, false),
(false, false, true),
(true, false, false),
(false, false, true),
(true, false, true),
(true, true, false),
(true, true, true),
(false, true, true),
(false, true, false),
(true, true, true),
];
const EXPS2: [(bool, bool); 62] = [
(True, False),
(True, True),
(False, False),
(True, False),
(True, False),
(True, True),
(True, False),
(True, True),
(True, False),
(False, True),
(False, True),
(True, True),
(True, True),
(False, False),
(True, True),
(False, False),
(False, False),
(False, True),
(False, True),
(True, True),
(True, True),
(True, True),
(False, True),
(True, True),
(False, False),
(True, True),
(True, False),
(True, True),
(False, False),
(True, True),
(True, True),
(True, False),
(False, False),
(False, True),
(False, False),
(True, True),
(False, True),
(False, False),
(True, False),
(False, True),
(False, True),
(True, False),
(False, True),
(False, False),
(False, False),
(False, False),
(False, True),
(True, False),
(True, True),
(False, True),
(True, True),
(True, False),
(False, True),
(False, False),
(True, False),
(False, True),
(True, False),
(True, True),
(True, False),
(True, True),
(False, True),
(True, True),
(true, false),
(true, true),
(false, false),
(true, false),
(true, false),
(true, true),
(true, false),
(true, true),
(true, false),
(false, true),
(false, true),
(true, true),
(true, true),
(false, false),
(true, true),
(false, false),
(false, false),
(false, true),
(false, true),
(true, true),
(true, true),
(true, true),
(false, true),
(true, true),
(false, false),
(true, true),
(true, false),
(true, true),
(false, false),
(true, true),
(true, true),
(true, false),
(false, false),
(false, true),
(false, false),
(true, true),
(false, true),
(false, false),
(true, false),
(false, true),
(false, true),
(true, false),
(false, true),
(false, false),
(false, false),
(false, false),
(false, true),
(true, false),
(true, true),
(false, true),
(true, true),
(true, false),
(false, true),
(false, false),
(true, false),
(false, true),
(true, false),
(true, true),
(true, false),
(true, true),
(false, true),
(true, true),
];
const EXPS0: [(bool, bool); 65] = [
False, False, True, False, False, True, True, False, True, False, True, True, True, False,
True, False, False, False, True, False, False, True, False, True, False, True, True, False,
False, False, False, False, True, False, True, False, True, True, True, False, False, True,
True, True, True, False, True, False, True, True, False, False, True, False, False, False,
True, True, True, True, False, False, True, True, False,
const EXPS0: [bool; 65] = [
false, false, true, false, false, true, true, false, true, false, true, true, true, false,
true, false, false, false, true, false, false, true, false, true, false, true, true, false,
false, false, false, false, true, false, true, false, true, true, true, false, false, true,
true, true, true, false, true, false, true, true, false, false, true, false, false, false,
true, true, true, true, false, false, true, true, false,
];
fn fast_exp(f: Fp12) -> Fp12 {