*
* 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
*
* 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
// GiNaC library version information. It has very little to do with GiNaC
// version number. In particular, library version is OS dependent.
// GiNaC library version information. It has very little to do with GiNaC
// version number. In particular, library version is OS dependent.
// of leftover numbers. Not something we need to worry about yet. ;-)
#define GINAC_LT_CURRENT 4
#define GINAC_LT_REVISION 0
// of leftover numbers. Not something we need to worry about yet. ;-)
#define GINAC_LT_CURRENT 4
#define GINAC_LT_REVISION 0