genheader.pl: create a header file 'cint_workaround.h' to fix the broken
[ginac.git] / check / check.h
index 68622d967b1c8a3f82789127b61a286703930407..d9ebbb6636228e70ffc70cae5ce66db8e0f28efd 100644 (file)
@@ -1,7 +1,27 @@
-// check/check.h
+/** @file check.h
+ *
+ *  Prototypes for all individual checks. */
 
-#ifndef _CHECK_H_
-#define _CHECK_H_
+/*
+ *  GiNaC Copyright (C) 1999-2000 Johannes Gutenberg University Mainz, Germany
+ *
+ *  This program is free software; you can redistribute it and/or modify
+ *  it under the terms of the GNU General Public License as published by
+ *  the Free Software Foundation; either version 2 of the License, or
+ *  (at your option) any later version.
+ *
+ *  This program is distributed in the hope that it will be useful,
+ *  but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ *  GNU General Public License for more details.
+ *
+ *  You should have received a copy of the GNU General Public License
+ *  along with this program; if not, write to the Free Software
+ *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
+ */
+
+#ifndef CHECK_H
+#define CHECK_H
 
 // fcntimer is defined in timer.cpp and used for timing check functions only:
 unsigned fcntimer(unsigned fcn());
@@ -20,5 +40,6 @@ unsigned normalization();
 unsigned matrix_checks();
 unsigned lsolve_onedim();
 unsigned series_expansion();
+unsigned lortensor_check();
 
-#endif // ndef _CHECK_H_
+#endif // ndef CHECK_H