from hypothesis import given

from ppb_vector import Vector2
from utils import vectors

@given(vector=vectors())
def test_negation_scalar(vector: Vector2):
    assert - vector == (-1) * vector

from hypothesis import given

from ppb_vector import Vector2
from utils import vectors

@given(vector=vectors())
def test_negation_scalar(vector: Vector2):
    assert - vector == (-1) * vector

@given(vector=vectors())
def test_negation_involutive(vector: Vector2):
    assert vector == - (- vector)

Test that negation is involutive
tests/negation: Test that negation is involutive

  from hypothesis import given
  
  from ppb_vector import Vector2
  from utils import vectors
  
  @given(vector=vectors())
  def test_negation_scalar(vector: Vector2):
      assert - vector == (-1) * vector
  
+ @given(vector=vectors())
+ def test_negation_involutive(vector: Vector2):
+     assert vector == - (- vector)
+ 
Test that negation is involutive
## Code Before:
from hypothesis import given

from ppb_vector import Vector2
from utils import vectors

@given(vector=vectors())
def test_negation_scalar(vector: Vector2):
    assert - vector == (-1) * vector

## Instruction:
Test that negation is involutive
## Code After:
from hypothesis import given

from ppb_vector import Vector2
from utils import vectors

@given(vector=vectors())
def test_negation_scalar(vector: Vector2):
    assert - vector == (-1) * vector

@given(vector=vectors())
def test_negation_involutive(vector: Vector2):
    assert vector == - (- vector)
