#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))))