#lang racket
(require (planet wcy/mpost-wrapper))
(require (planet wcy/mpost-wrapper/label))
(provide main)

(define (ex-32-points y xs)
  (map(lambda (x) (point x y)) xs))
(define (main)
  (let* ((u '1cm)
         (xs (list  (op* -1 u) 0 u))
         (u-points (ex-32-points u xs))
         (l-points (ex-32-points 0 xs)))
    (for* ((a (in-list l-points))
           (b (in-list u-points)))
          (draw  (op--  a b)))
    (for ((ut (in-list (list "$a$" "$b$" "$c$")))
          (a  (in-list u-points))
          (lt (in-list (list "$a'$" "$b'$" "$c'$")))
          (b  (in-list l-points)))
         (dot-label-top (btex ut) a)
         (dot-label-bot (btex lt) b))))