<<>> <> <> <> <<>> DIRECTORY ; QPSolve: CEDAR DEFINITIONS ~ BEGIN <<>> <> IVector: TYPE ~ REF IVectorRep; IVectorRep: TYPE ~ RECORD[n: NAT, s: SEQUENCE len: NAT OF INT]; RVector: TYPE ~ REF RVectorRep; RVectorRep: TYPE ~ RECORD [n: NAT, s: SEQUENCE len: NAT OF REAL]; Matrix: TYPE ~ REF MatrixRep; MatrixRep: TYPE ~ RECORD [m: NAT, s: SEQUENCE len: NAT OF RVector]; <> NewMatrix: PROC [m, n: NAT] RETURNS [M: Matrix]; QPSolve: PROC [c: RVector, A: Matrix, lobd: RVector, x: RVector, iVar: IVector, nFR: NAT] RETURNS [minFR: NAT] <> <> END..