Cadabra
Computer algebra system for field theory problems
Loading...
Searching...
No Matches
Kernel.hh
Go to the documentation of this file.
1
2#pragma once
3
4#include <functional>
5#include "Props.hh"
6
12
13namespace cadabra {
14
15 class Kernel {
16 public:
17 Kernel(bool inject_defaults=true);
18 Kernel(const Kernel& other) = delete;
19 ~Kernel();
20
22 void inject_property(property *prop, std::shared_ptr<Ex> pattern, std::shared_ptr<Ex> property_arguments);
23
25 std::shared_ptr<Ex> ex_from_string(const std::string&);
26
27
29
34
35
36 const static std::string version;
37 const static std::string build ;
38
39 // Warnings
40 enum class warn_t {
41 notset = 0,
42 debug = 10,
43 info = 20,
44 warning = 30,
45 error = 40,
46 critical = 50
47 };
49 std::function<void(const std::string&)> warning_callback;
50 void warn(const std::string& msg, warn_t level = warn_t::warning) const;
51 };
52
53 }
Definition Kernel.hh:15
bool call_embedded_python_functions
Definition Kernel.hh:32
scalar_backend_t
Settings.
Definition Kernel.hh:31
Properties properties
Definition Kernel.hh:28
static const std::string version
Definition Kernel.hh:36
void inject_property(property *prop, std::shared_ptr< Ex > pattern, std::shared_ptr< Ex > property_arguments)
Inject a property into the system and attach it to the given pattern.
Definition Kernel.cc:107
static const std::string build
Definition Kernel.hh:37
std::function< void(const std::string &)> warning_callback
Definition Kernel.hh:49
Kernel(bool inject_defaults=true)
Definition Kernel.cc:26
std::shared_ptr< Ex > ex_from_string(const std::string &)
Create an Ex expression object from a string, which will be parsed.
Definition Kernel.cc:121
~Kernel()
Definition Kernel.cc:102
void warn(const std::string &msg, warn_t level=warn_t::warning) const
Definition Kernel.cc:133
bool display_fractions
Definition Kernel.hh:33
Kernel(const Kernel &other)=delete
warn_t warning_level
Definition Kernel.hh:48
enum cadabra::Kernel::scalar_backend_t scalar_backend
warn_t
Definition Kernel.hh:40
Class holding a collection of properties attached to expressions.
Definition Props.hh:234
Definition Props.hh:39
Base class for all properties, handling argument parsing and defining the interface.
Definition Props.hh:127
Functions to handle the exchange properties of two or more symbols in a product.
Definition Adjform.cc:83