List of Figure Captions.pdfVIP

Theorem 14 Let step be a linear wavefront function () that satises the correctness requirement. Let plac e be a linear place function (matrix P) that is consistent with step. Suppose the -solution space is a line  = ! + c. Then ow is wel l dened i (:c)P! = (:!)Pc. Proof The pro of resembles the pro of of Theorem 2 in [8] but is presente d in matrix notation for greater clarity. 0 Let