rectification; Abhyankar-Sathaye embedding problem; variable index calculus; elliptic curves; ECDLP; Edwards curves; Jacobi intersection curves; point decomposition problem; Gröbner basis with symmetries 