src/HOL/Matrix/CplexMatrixConverter.ML
changeset 15570 8d8c70b41bab
parent 15531 08c8dad8e399
     1.1 --- a/src/HOL/Matrix/CplexMatrixConverter.ML	Thu Mar 03 09:22:35 2005 +0100
     1.2 +++ b/src/HOL/Matrix/CplexMatrixConverter.ML	Thu Mar 03 12:43:01 2005 +0100
     1.3 @@ -73,7 +73,7 @@
     1.4  	    set_elem vec (s2i v) (if positive then num else "-"^num)
     1.5  	  | setprod _ _ _ = raise (Converter "term is not a normed product")	
     1.6  
     1.7 -	fun sum2vec (cplexSum ts) = foldl (fn (vec, t) => setprod vec true t) (empty_vector, ts)
     1.8 +	fun sum2vec (cplexSum ts) = Library.foldl (fn (vec, t) => setprod vec true t) (empty_vector, ts)
     1.9  	  | sum2vec t = setprod empty_vector true t						
    1.10  
    1.11  	fun constrs2Ab j A b [] = (A, b)
    1.12 @@ -100,7 +100,7 @@
    1.13      let
    1.14  	fun setv (v, (name, value)) = (matrix_builder.set_elem v (name2index name) value) 
    1.15      in
    1.16 -	(opt, foldl setv (matrix_builder.empty_vector, entries))
    1.17 +	(opt, Library.foldl setv (matrix_builder.empty_vector, entries))
    1.18      end
    1.19    | convert_results _ _ = raise (Converter "No optimal result")
    1.20