PythonCdb.hh

Go to the documentation of this file.

/* 

    Cadabra: a field-theory motivated computer algebra system.
    Copyright (C) 2001-2014  Kasper Peeters <kasper.peeters@phi-sci.com>

   This program 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.

   This program 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 this program.  If not, see <http://www.gnu.org/licenses/>.
 
*/

#pragma once

#include <boost/python.hpp>
#include <stdexcept>
#include "Storage.hh"
#include "Kernel.hh"
#include "Algorithm.hh"


bool __eq__Ex_Ex(const cadabra::Ex&, const cadabra::Ex&);


bool __eq__Ex_int(const cadabra::Ex&, int);


std::shared_ptr<cadabra::Ex> fetch_from_python(const std::string& nm);


std::string Ex_str_(const cadabra::Ex&);
std::string Ex_repr_(const cadabra::Ex&);


std::string Ex_latex_(const cadabra::Ex&);


boost::python::object Ex_to_Sympy(const cadabra::Ex&);


std::string Ex_to_Sympy_string(const cadabra::Ex&);



cadabra::Ex operator+(const cadabra::Ex& ex1, const cadabra::Ex& ex2);


cadabra::Ex operator-(const cadabra::Ex& ex1, const cadabra::Ex& ex2);


class BaseProperty {
};


template<class T>
class Property : public BaseProperty {
    public:
        Property(std::shared_ptr<cadabra::Ex> obj, std::shared_ptr<cadabra::Ex> params=0);

        std::string str_() const;

        std::string latex_() const;

        std::string repr_() const;


    private:
        // We keep a pointer to the C++ property, so it is possible to 
        // query properties using the Python interface. However, this C++
        // object is owned by the C++ kernel and does not get destroyed
        // when the Python object goes out of scope.

        // When the Python object survives the local scope, results are
        // undefined. 
        T *prop;

        // We also keep a shared pointer to the expression for which we
        // have defined this property, so that we can print sensible 
        // information.
        std::shared_ptr<cadabra::Ex> for_obj;
};



cadabra::Kernel *create_scope();
cadabra::Kernel *create_scope_from_global();
cadabra::Kernel *create_empty_scope();


void    inject_defaults(cadabra::Kernel *);

cadabra::Kernel *get_kernel_from_scope();


void call_post_process(cadabra::Kernel&, cadabra::Ex& ex);