cybics/crystal/action.md

class group action algorithm the core primitive of genies: compute [a] * E for an ideal class [a] and a supersingular curve E. input ideal class [a] represented as exponent vector (e_1, e_2, ..., e_n) with e_i in {-m, ..., m} curve E given by Montgomery coefficient A in F_q (so E_A: y^2 = x^3 +…