These are chat archives for symengine/symengine

6th
Mar 2018
Carl Poppa
@tgn3000
Mar 06 2018 08:57 UTC
Dear SymEngine developers, I was wondering how to determine whether a formula of RCP<const Basic> type has Inf, NegInf, or ComplexInf in it? For example,
RCP<const Basic> z = symbol("z"), zplusinf = add(z, Inf);
cout << *zplusinf << endl;
Thank you very much!