factor_in.hh

Go to the documentation of this file.

#pragma once

#include "Algorithm.hh"

namespace cadabra {


class factor_in : public Algorithm {
    public:
        factor_in(const Kernel&, Ex&, Ex&);

        virtual bool     can_apply(iterator) override;
        virtual result_t apply(iterator&) override;

    protected:
       Ex& factors;
        std::set<Ex, tree_exact_less_for_indexmap_obj> factnodes; // objects to be taken in brackets;  
                                             // FIXME: use patterns
        bool      compare_restricted(iterator one, iterator two) const;
        bool      compare_prod_nonprod(iterator prod, iterator nonprod) const;

        // Calculate the hash value excluding factors given in the argument list
        hashval_t calc_restricted_hash(iterator it) const;
        void      fill_hash_map(iterator);

        typedef std::multimap<hashval_t, Ex::sibling_iterator> term_hash_t;
        typedef term_hash_t::iterator                          term_hash_iterator_t;

        term_hash_t term_hash;
};

}