simplify.h

#ifndef SYMENGINE_SIMPLIFY_H
#define SYMENGINE_SIMPLIFY_H
 
#include <symengine/visitor.h>
#include <symengine/basic.h>
#include <symengine/assumptions.h>
 
namespace SymEngine
{
 
class SimplifyVisitor : public BaseVisitor<SimplifyVisitor, TransformVisitor>
{
private:
    std::pair<RCP<const Basic>, RCP<const Basic>>
    simplify_pow(const RCP<const Basic> &e, const RCP<const Basic> &b);
 
public:
    using TransformVisitor::bvisit;
 
    SimplifyVisitor() : BaseVisitor<SimplifyVisitor, TransformVisitor>() {}
 
    void bvisit(const Mul &x);
    void bvisit(const Pow &x);
    void bvisit(const OneArgFunction &x);
};
 
RCP<const Basic> simplify(const RCP<const Basic> &x,
                          const Assumptions *assumptions = nullptr);
 
} // namespace SymEngine
 
#endif