1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
(* ========================================================================= *)
(* Library of complex function vector spaces. *)
(* *)
(* (c) Copyright, Mohamed Yousri Mahmoud, Vincent Aravantinos, 2012-2013 *)
(* Hardware Verification Group, *)
(* Concordia University *)
(* *)
(* Contact: <mosolim@ece.concordia.ca>, <vincent@ece.concordia.ca> *)
(* Last update: Mar 2015 *)
(* ========================================================================= *)
needs "Multivariate/realanalysis.ml";;
(* ------------------------------------------------------------------------- *)
(* Load the "q" module for more convenient parsing with type inference. *)
(* ------------------------------------------------------------------------- *)
needs "Library/q.ml";;
(* ------------------------------------------------------------------------- *)
(* The main files. *)
(* ------------------------------------------------------------------------- *)
needs "Functionspaces/utils.ml";;
needs "Functionspaces/cfunspace.ml";;
needs "Functionspaces/L2.ml";;
|
