Skip to content

Commit

Permalink
fix lint
Browse files Browse the repository at this point in the history
  • Loading branch information
asanso committed Mar 1, 2024
1 parent 8cfbdce commit 80ef9b3
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions main.py
Original file line number Diff line number Diff line change
Expand Up @@ -121,9 +121,9 @@ def case01_add_G1():

# Additive negation
result_neg_G1 = add(G1, neg(G1))
assert(is_inf(result_neg_G1))
assert (is_inf(result_neg_G1))
result_neg_P1 = add(P1, neg(P1))
assert(is_inf(result_neg_P1))
assert (is_inf(result_neg_P1))
# Doubling
result_doubling_G1 = add(G1, G1)
assert result_doubling_G1 == multiply(G1, 2)
Expand Down

0 comments on commit 80ef9b3

Please sign in to comment.