X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Frelational.cpp;h=37063e6afec7ff0c3038d754ccba0cab387e549c;hp=bf2d4b876bd391e9b085762967e22393c539707c;hb=cd0f12f5ce6023812f76d0f6eb40ee83078c2775;hpb=cca88b51436e4b654d16a4d60cd0d1c66fcf5dd6 diff --git a/ginac/relational.cpp b/ginac/relational.cpp index bf2d4b87..37063e6a 100644 --- a/ginac/relational.cpp +++ b/ginac/relational.cpp @@ -3,7 +3,7 @@ * Implementation of relations between expressions */ /* - * GiNaC Copyright (C) 1999-2014 Johannes Gutenberg University Mainz, Germany + * GiNaC Copyright (C) 1999-2015 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 @@ -322,7 +322,7 @@ relational::safe_bool relational::make_safe_bool(bool cond) const return cond? &safe_bool_helper::nonnull : 0; } -/** Cast the relational into a boolean, mainly for evaluation within an +/** Cast the relational into a Boolean, mainly for evaluation within an * if-statement. Note that (a=b) == true in * the general symbolic case. A false result means the comparison is either * false or undecidable (except of course for !=, where true means either