Documentation

• \( \mathbb{Q} \times \mathbb{Q} \), the two-dimensional rationals.

>>> :{
  -- Addition
  f1 :: (VectorSpace v k) => v -> v
  f1 v = v .+. v
:}

>>> f1 (8,4)
(16,8)

>>> :{
  -- Zero
  f2 :: (VectorSpace v k) => v -> v
  f2 v = v .+. zero
:}

>>> f2 (8,4)
(8,4)

>>> :{
  -- Subtraction
  f3 :: (VectorSpace v k) => v -> v
  f3 v = v .-. v
:}

>>> f3 (8,4)
(0,0)

>>> :{
  -- Scalar multiplication
  f4 :: (VectorSpace v k, Num k) => v -> v
  f4 v = v .* 6
:}

>>> f4 (8,4)
(48,24)

>>> :{
  -- Scalar division
  f5 :: (VectorSpace v k, Num k) => v -> v
  f5 v = v .% 2
:}

>>> f5 (8,4)
(4,2)