X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?a=blobdiff_plain;f=check%2Fexpand_subs.cpp;h=cf6847a7eddf8e9aac36c9cbb1ec9300023ec1b2;hb=cf8f92747d9bd3f54f9dd206f7952eba12f7c791;hp=e29e1777515174291848a49196e081ed36c570a2;hpb=c10054835b4c63a95b37703a952d663f280aa1ce;p=ginac.git diff --git a/check/expand_subs.cpp b/check/expand_subs.cpp index e29e1777..cf6847a7 100644 --- a/check/expand_subs.cpp +++ b/check/expand_subs.cpp @@ -1,18 +1,41 @@ -// check/expand_subs.cpp - -/* The first test routine implements Denny Fliegner's quick consistency check: +/** @file expand_subs.cpp + * + * The first test routine implements Denny Fliegner's quick consistency check: * e = (a0 + a1 + a2 + a3 + ...)^2 * expand e * substitute a0 by (-a2 - a3 - ...) in e * expand e - * after which e should be just a1^2. - * In addition, a simpler modification is tested in the second test: + * after which e should be just a1^2. + * In addition, a simpler modification is tested in the second test: * e = (a0 + a1)^200 * expand e * substitute a0 by -a1 in e - * after which e should return 0 (without expanding). */ + * after which e should return 0 (without expanding). */ + +/* + * 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 + */ + -#include +#include + +#ifndef NO_GINAC_NAMESPACE +using namespace GiNaC; +#endif // ndef NO_GINAC_NAMESPACE #define VECSIZE 100 @@ -63,11 +86,11 @@ unsigned expand_subs(void) cout << "checking commutative expansion and substitution..." << flush; clog << "---------commutative expansion and substitution:" << endl; - + result += expand_subs1(); result += expand_subs2(); - - if (! result) { + + if (!result) { cout << " passed "; clog << "(no output)" << endl; } else {