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)

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)

@given(vector=vectors())
def test_negation_addition(vector: Vector2):
    assert vector + (- vector) == (0, 0)

Test that negation is the additive inverse