Theory Code_Generation_IArrays_Haskell

header{*Exporting code to Haskell*}

theory Code_Generation_IArrays_Haskell
imports    
  Code_Rational
begin

(*  
    Title:      Code_Generation_IArrays_Haskell.thy
    Author:     Jose Divasón <jose.divasonm at unirioja.es>
    Author:     Jesús Aransay <jesus-maria.aransay at unirioja.es>
*)

export_code
  print_rank_real
  print_rank_rat
  print_rank_z2
  print_rank
  print_result_real
  print_result_rat
  print_result_z2
  print_result_Gauss
  print_det_rat 
  print_det_real
  print_det
  print_inverse_real
  print_inverse_rat
  print_inverse
  print_system_rat
  print_system
  in Haskell
  module_name "Gauss_Haskell"
  file "haskell"

(*MATHEMATICA BUG*)
(*
export_code
  print_rank_real
  print_rank_rat
  print_rank_z2
  print_rank
  print_result_real
  print_result_rat
  print_result_z2
  print_result_Gauss
  print_det_rat 
  print_det_real
  print_det
  print_inverse_real
  print_inverse_rat
  print_inverse

  bigMatrix
  in Haskell
  module_name "Gauss_Haskell"
  file "haskell"*)


end