February 2017 - GiNaC-list

compile-time calculations
by Matteo 28 Feb '17

28 Feb '17

Hello, I am currently evaluating GiNaC for use in an engineering software that we use internally. Therefore, I am still inexperienced with it and only ask for some pointers. I have read in the news feed http://www.ginac.de/News.html that new C++11 features like "constexpr" are being implemented into GiNaC. My question is: how much can be done at compile time? Background: The basic workflow that we would like to optimize is the following: 1) Design an algorithm in C++, which involves manipulation of scientific formulae 2) Elaborate the "manipulation" part in a separate environment (mostly SageMath) 3) Translate the result of the separate CAS as C++ 4) Integrate the result into the original C++ algorithm This works, but has the following disadvantages: - it requires to leave one environment (C++ IDE) to the other (CAS environment) - translating the mathematical results to C++ is tedious and error prone (although it can be automated for simple cases) - it separates the various parts of the algorithm into different documents, which makes it hard to mantain Ideally then, we would use GiNaC instead of SageMath (or other CAS) to unify the code. However, we would like to remove the runtime overhead of expression manipulation and interpretation. I am looking for something like the "compilation of expressions to function pointers", but with the addition of compile-time expression manipulation. http://www.ginac.de/tutorial/#Compiling-expressions-to-C-function-pointers The closest I have found so far is ViennaMath, but it seems still very limited in features. http://viennamath.sourceforge.net/viennamath-example-integration.html Thank you for any help!

1 0

Re: [GiNaC-list] problems with cstring and string
by Tania Robens 09 Feb '17

09 Feb '17

ok i will try this i did install cln locally and configured with something like export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$CLN/lib ./configure --prefix=/home/trobens/programs/ginac/install CLN_CFLAGS=-I$CLN/include/cln/ CLN_LIBS=-L$CLN/lib/ CPPFLAGS=-I$CLN/include/ LDFLAGS=-L$CLN/lib/ LIBS=-lcln mb this causes the problem ?? On Thu, 9 Feb 2017, Mario Prausa wrote: > > > On 09.02.2017 03:51, Tania Robens wrote: >> >> In file included from >> /home/trobens/programs/cln/install/include/cln/string.h:9:0, >> from >> /opt/rh/devtoolset-3/root/usr/include/c++/4.9.2/cstring:42, >> from class_info.h:27, >> from registrar.h:26, >> from basic.h:29, >> from ex.h:26, >> from expair.h:26, >> from expairseq.h:26, >> from add.h:26, >> from add.cpp:23: >> > > This looks suspicious. The ginac file "class_info.h" includes the > standard C++ library file "cstring" which includes the CLN file > "string.h". In the standard C libray there is also a file by the name > "string.h" which is what "cstring" wants to include. > > I think the problem is the order of your include pathes. The pathes to > the standard libraries should go before any other libraries (in that > case CLN). > > Mario > ------------------------------------------------------------------------- Dr. habil. Tania Robens Michigan State University Department of Physics and Astronomy 567 Wilson Road East Lansing, MI 48824 USA

3 3

problems with cstring and string
by Tania Robens 09 Feb '17

09 Feb '17

Hi I have tried to implement the newest CLN version (cln-1.3.4) and ginac version (ginac-1.7.2). i am using gcc (GCC) 4.9.2 20150212 (Red Hat 4.9.2-6) (but also had the same problem with newer compilers) uname -a renders Linux 2.6.32-642.11.1.el6.x86_64 #1 SMP Tue Nov 15 14:13:21 CST 2016 x86_64 x86_64 x86_64 GNU/Linux CLN works, but for ginac i get checking readline/readline.h usability... no checking readline/readline.h presence... yes configure: WARNING: readline/readline.h: present but cannot be compiled configure: WARNING: readline/readline.h: check for missing prerequisite headers? configure: WARNING: readline/readline.h: see the Autoconf documentation configure: WARNING: readline/readline.h: section "Present But Cannot Be Compiled" configure: WARNING: readline/readline.h: proceeding with the compiler's result configure: WARNING: ## ---------------------------------- ## configure: WARNING: ## Report this to ginac-list(a)ginac.de ## configure: WARNING: ## ---------------------------------- ## checking for readline/readline.h... no checking readline/history.h usability... no checking readline/history.h presence... yes configure: WARNING: readline/history.h: present but cannot be compiled configure: WARNING: readline/history.h: check for missing prerequisite headers? configure: WARNING: readline/history.h: see the Autoconf documentation configure: WARNING: readline/history.h: section "Present But Cannot Be Compiled" configure: WARNING: readline/history.h: proceeding with the compiler's result configure: WARNING: ## ---------------------------------- ## configure: WARNING: ## Report this to ginac-list(a)ginac.de ## configure: WARNING: ## ---------------------------------- ## checking for readline/history.h... no and, when i ignore this and do make anyways, i have In file included from /home/trobens/programs/cln/install/include/cln/string.h:9:0, from /opt/rh/devtoolset-3/root/usr/include/c++/4.9.2/cstring:42, from class_info.h:27, from registrar.h:26, from basic.h:29, from ex.h:26, from expair.h:26, from expairseq.h:26, from add.h:26, from add.cpp:23: /opt/rh/devtoolset-3/root/usr/include/c++/4.9.2/cstring:75:11: error: ‘::memchr’ has not been declared using ::memchr; ^ /opt/rh/devtoolset-3/root/usr/include/c++/4.9.2/cstring:76:11: error: ‘::memcmp’ has not been declared using ::memcmp; ...etc ... which then leads to a stop in the compilation. i have tried various ways around this, if someone has a quick solution please let me know the same mistake occurs with earlier ginac versions and, as stated, with newer gccs (up to 6.1) ?? Thanks Best Tania Robens ------------------------------------------------------------------------- Dr. habil. Tania Robens Michigan State University Department of Physics and Astronomy 567 Wilson Road East Lansing, MI 48824 USA

3 3