Correspondences

It is useful to be able to further specify functions by providing tuples of values that satisfy them.

• (corresponding-value f v v ... v)

  where v, are quantity values.

• (Correspondence x y x y ... x y)

• For many of relations describe in this section there are versions which imply that the composed function will pass through the origin, all else being equal.

  (M+0 x y) (m+ x y) (through-origin x y)
  (M-0 x y) (m- x y) (through-origin x y)
  (Qprop+0 y x) (Qprop+ y x) (through-origin y x)
  (Qprop-0 y x) (Qprop- y x) (through-origin y x)
  

  The constant of integration for C+ and C- is eliminated when possible via:

  (C+ y x) (through-origin y x)
  (C- y x) (through-origin y x)

  We can define through-origin as follows: