eliminate_metric.hh

Go to the documentation of this file.

 
#pragma once
 
#include "Algorithm.hh"
#include "IndexIterator.hh"
 
namespace cadabra {
 
    class eliminate_converter : public Algorithm {
        public:
            eliminate_converter(const Kernel&, Ex&, Ex&, bool);
 
            virtual bool     can_apply(iterator) override;
            virtual result_t apply(iterator&) override;
 
        protected:
            virtual bool is_conversion_object(iterator) const=0;
 
        private:
            Ex                           preferred;
            IndexClassifier::index_map_t ind_dummy, ind_free;
            bool                         redundant;
 
            bool handle_one_index(index_iterator i1, index_iterator i2, iterator fit, sibling_iterator objs);
        };
 
 
    class eliminate_metric : public eliminate_converter {
        public:
            eliminate_metric(const Kernel&, Ex&, Ex&, bool);
 
        protected:
            virtual bool is_conversion_object(iterator) const override;
        };
 
    }