special_number.hpp

Go to the documentation of this file.

//This file is part of Bertini 2.
//
//special_number.hpp is free software: you can redistribute it and/or modify
//it under the terms of the GNU General Public License as published by
//the Free Software Foundation, either version 3 of the License, or
//(at your option) any later version.
//
//special_number.hpp is distributed in the hope that it will be useful,
//but WITHOUT ANY WARRANTY; without even the implied warranty of
//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
//GNU General Public License for more details.
//
//You should have received a copy of the GNU General Public License
//along with special_number.hpp.  If not, see <http://www.gnu.org/licenses/>.
//
// Copyright(C) Bertini2 Development Team
//
// See <http://www.gnu.org/licenses/> for a copy of the license,
// as well as COPYING.  Bertini2 is provided with permitted
// additional terms in the b2/licenses/ directory.
 
// special_number.hpp:  Declares the class SpecialNumber.

 
#ifndef BERTINI_FUNCTION_TREE_SPECIAL_NUMBER_HPP
#define BERTINI_FUNCTION_TREE_SPECIAL_NUMBER_HPP
 
 
#include "bertini2/function_tree/symbols/number.hpp"
 
#include <cmath>
 
 
 
namespace bertini {
namespace node{
    using ::acos;
    using ::exp;
 
 
    namespace special_number{

        class Pi : public Number, public NameHolder
        {
        public:
            BERTINI_DEFAULT_VISITABLE()
 
            virtual ~Pi() = default;

            template<typename... Ts>
            static
            std::shared_ptr<Pi> Make(Ts&& ...ts){
                return std::static_pointer_cast<Pi>(Intern(std::shared_ptr<Node>( new Pi(ts...) )));
            }
 
            void print(std::ostream & target) const override
            {
                target << name();
            }
 
            // All Pi nodes are the same number: type-based structural identity, so the
            // intern table collapses every Pi() onto one shared node (and deserialized
            // Pi's re-intern onto it, ADR-0042).
            std::size_t HashImpl() const override
            {
                return typeid(Pi).hash_code();
            }
            bool IsSame(Node const& other) const override
            {
                return dynamic_cast<Pi const*>(&other) != nullptr;
            }
 
 
        private:
 
            Pi() : NameHolder("pi")
            {}
 
            // Return value of constant
 
 
 
 
 
 
            friend class boost::serialization::access;
 
            template <typename Archive>
            void serialize(Archive& ar, const unsigned /*version*/) {
                ar & boost::serialization::base_object<Number>(*this);
                ar & boost::serialization::base_object<NameHolder>(*this);
            }
        };
 
 

        class E : public Number, public NameHolder
        {
        public:
            BERTINI_DEFAULT_VISITABLE()
 
 
 
            virtual ~E() = default;
 

            template<typename... Ts>
            static
            std::shared_ptr<E> Make(Ts&& ...ts){
                return std::static_pointer_cast<E>(Intern(std::shared_ptr<Node>( new E(ts...) )));
            }
 
            void print(std::ostream & target) const override
            {
                target << name();
            }
 
            // All E nodes are the same number: type-based structural identity (see Pi).
            std::size_t HashImpl() const override
            {
                return typeid(E).hash_code();
            }
            bool IsSame(Node const& other) const override
            {
                return dynamic_cast<E const*>(&other) != nullptr;
            }
 
 
        private:
 
            E() : NameHolder("e")
            {}
 
 
            // Return value of constant
 
 
 
 
 
 
            friend class boost::serialization::access;
 
            template <typename Archive>
            void serialize(Archive& ar, const unsigned /*version*/) {
                ar & boost::serialization::base_object<Number>(*this);
                ar & boost::serialization::base_object<NameHolder>(*this);
            }
 
        };
 
    } // re: special_number namespace
 

    std::shared_ptr<Node> Pi();

    std::shared_ptr<Node> E();

    std::shared_ptr<Node> I();

    std::shared_ptr<Node> Two();

    std::shared_ptr<Node> One();

    std::shared_ptr<Node> Zero();
 
 
} // re: namespace node
} // re: namespace bertini
 
#endif