Skip to content

Commit

Permalink
Correct ecdata constraints
Browse files Browse the repository at this point in the history 
The rough fix made for the `ecdata/constraints` was incorrect, and this
now fixes it.
  • Loading branch information
@DavePearce
DavePearce committed Jan 13, 2025
1 parent cc962ff commit 051db4f
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions ecdata/constraints.lisp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -453,8 +453,8 @@
P_x_lo
P_y_hi
P_y_lo
P_x_square_hi
P_x_square_lo
P_y_square_hi
P_y_square_lo
P_x_cube_plus_three_hi
P_x_cube_plus_three_lo)
(callToC1MembershipEXT k
Expand All @@ -481,13 +481,13 @@
P_x_lo
P_y_hi
P_y_lo
P_x_square_hi
P_x_square_lo
P_y_square_hi
P_y_square_lo
P_x_cube_plus_three_hi
P_x_cube_plus_three_lo)
(begin (callToLT k P_x_hi P_x_lo P_BN_HI P_BN_LO)
(callToLT (+ k 1) P_y_hi P_y_lo P_BN_HI P_BN_LO)
(callToEQ (+ k 2) P_x_square_hi P_x_square_lo P_x_cube_plus_three_hi P_x_cube_plus_three_lo)))
(callToEQ (+ k 2) P_y_square_hi P_y_square_lo P_x_cube_plus_three_hi P_x_cube_plus_three_lo)))

;; Note: in the specs for simplicity we omit the last four arguments
(defun (callToC1MembershipEXT k
Expand Down

0 comments on commit 051db4f

Please sign in to comment.