These are chat archives for symengine/symengine

Mar 2018
Gary Tan
Mar 06 2018 08:57
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!