*/
/*
- * GiNaC Copyright (C) 1999-2010 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
}
// And this used to fail in GiNaC 1.5.8 because it first substituted
- // exp(x) -> exp(log(x)) -> x, and then substitued again x -> log(x)
+ // exp(x) -> exp(log(x)) -> x, and then substituted again x -> log(x)
e1 = exp(x);
e2 = e1.subs(x == log(x));
if (!e2.is_equal(x)) {