Calcom/arrayOL.result

   1         Objective Caml version 3.00
   2
   3         Symbolic Parameterized Polyhedral Calculator version 1.00b
   4           (type: 'help ();;' for help)
   5
   6 # val build_string_vect : string -> int -> string list = <fun>
   7 val build_vect : string -> int -> SPPoC.Expr.t list = <fun>
   8 val const_vect : string -> int -> SPPoC.Expr.t list = <fun>
   9 val build_matrix : string -> int -> int -> SPPoC.Expr.t list list = <fun>
  10 val matrix_vect_mult :
  11   SPPoC.Expr.t list list -> SPPoC.Expr.t list -> SPPoC.Expr.t list = <fun>
  12 val int_vect : int list -> SPPoC.Expr.t list = <fun>
  13 val int_matrix : int list list -> SPPoC.Expr.t list list = <fun>
  14 val ( |+ ) : SPPoC.Expr.t list -> SPPoC.Expr.t list -> SPPoC.Expr.t list =
  15   <fun>
  16 val ( |- ) : SPPoC.Expr.t list -> SPPoC.Expr.t list -> SPPoC.Expr.t list =
  17   <fun>
  18 val ( |* ) : SPPoC.Expr.t list -> SPPoC.Expr.t list -> SPPoC.Expr.t list =
  19   <fun>
  20 val ( |: ) : SPPoC.Expr.t list -> SPPoC.Expr.t list -> SPPoC.Expr.t list =
  21   <fun>
  22 val ( |/ ) : SPPoC.Expr.t list -> SPPoC.Expr.t list -> SPPoC.Expr.t list =
  23   <fun>
  24 val ( |% ) : SPPoC.Expr.t list -> SPPoC.Expr.t list -> SPPoC.Expr.t list =
  25   <fun>
  26 val ( |>= ) : SPPoC.Expr.t list -> SPPoC.Expr.t list -> SPPoC.Ineq.t list =
  27   <fun>
  28 val ( |<= ) : SPPoC.Expr.t list -> SPPoC.Expr.t list -> SPPoC.Ineq.t list =
  29   <fun>
  30 val ( |> ) : SPPoC.Expr.t list -> SPPoC.Expr.t list -> SPPoC.Ineq.t list =
  31   <fun>
  32 val ( |< ) : SPPoC.Expr.t list -> SPPoC.Expr.t list -> SPPoC.Ineq.t list =
  33   <fun>
  34 val ( |= ) : SPPoC.Expr.t list -> SPPoC.Expr.t list -> SPPoC.Ineq.t list =
  35   <fun>
  36 val make_pattern : string -> string -> string -> int -> SPPoC.System.t =
  37   <fun>
  38 val make_pattern2 : string -> string -> string -> int -> SPPoC.System.t =
  39   <fun>
  40 val make_iterator : string -> string -> int -> SPPoC.System.t = <fun>
  41 val make_iterator2 : string -> string -> int -> SPPoC.System.t = <fun>
  42 val make_point :
  43   string -> string -> string -> string -> int -> SPPoC.System.t = <fun>
  44 val make_point2 :
  45   string -> string -> string -> string -> int -> SPPoC.System.t = <fun>
  46 val def_array_size : SPPoC.Expr.t list -> SPPoC.System.t = <fun>
  47 val def_fitting_size : SPPoC.Expr.t list -> SPPoC.System.t = <fun>
  48 val def_origin : SPPoC.Expr.t list -> SPPoC.System.t = <fun>
  49 val def_paving_size : SPPoC.Expr.t list -> SPPoC.System.t = <fun>
  50 val def_fitting : SPPoC.Expr.t list list -> SPPoC.System.t = <fun>
  51 val def_paving : SPPoC.Expr.t list list -> SPPoC.System.t = <fun>
  52 val test_overlap :
  53   SPPoC.System.t * SPPoC.System.t * SPPoC.System.t * SPPoC.System.t *
  54   SPPoC.System.t * SPPoC.System.t -> SPPoC.EQuast.t = <fun>
  55 val test_overlap2 :
  56   SPPoC.System.t * SPPoC.System.t * SPPoC.System.t * SPPoC.System.t *
  57   SPPoC.System.t * SPPoC.System.t -> SPPoC.EQuast.t = <fun>
  58 type qd = {
  59   array_size : int list;
  60   fitting : int list list;
  61   fitting_size : int list;
  62   origin : int list;
  63   paving : int list list;
  64   paving_size : int list;
  65 }
  66 val def_qd :
  67   qd ->
  68   SPPoC.System.t * SPPoC.System.t * SPPoC.System.t * SPPoC.System.t *
  69   SPPoC.System.t * SPPoC.System.t = <fun>
  70 val overlap : qd -> SPPoC.EQuast.t = <fun>
  71 val overlap2 : qd -> SPPoC.EQuast.t = <fun>
  72 val qdcompact : qd =
  73   {array_size=[9; 9]; fitting=[[1; 0]; [0; 1]]; fitting_size=[3; 3];
  74    origin=[0; 0]; paving=[[0; 3]; [3; 0]]; paving_size=[3; 3]}
  75 val qdtrous : qd =
  76   {array_size=[10; 10]; fitting=[[2; 0]; [0; 2]]; fitting_size=[2; 2];
  77    origin=[0; 0]; paving=[[0; 3]; [3; 0]]; paving_size=[4; 4]}
  78 val qdoverlap : qd =
  79   {array_size=[8; 4]; fitting=[[0; 1]; [1; 0]]; fitting_size=[4; 1];
  80    origin=[0; 0]; paving=[[2; 1]; [1; 2]]; paving_size=[4; 4]}
  81 - : SPPoC.EQuast.t = _|_
  82 - : SPPoC.EQuast.t = _|_
  83 - : SPPoC.EQuast.t = _|_
  84 - : SPPoC.EQuast.t = _|_
  85 - : SPPoC.EQuast.t = [1; -2; -1; 0]
  86 - : SPPoC.EQuast.t = [0; 0; 0; 0; 0; 0; 0; 0; 3; 2; 1; 0]
  87 #