Hello everyone:

I am trying to add a new function which would be used for propositional reasoning.

I got some information in GiNaC’s tutorial, included the source file “inifcns.cpp” and

“inifcns.h” which are mentioned in tutorial.

Now, my question is how to compile the new files.

For example, the header file <xxx.h >

#include <ginac/ginac.h>

using namespace std;

namespace GiNaC {

/* a test function*/

DECLARE_FUNCTION_2P(myfcn)

}

#endif

and the source file <xxx.cxx>

#include "xxx.h"

#include "ginac.h"

namespace GiNaC {

REGISTER_FUNCTION(myfcn, dummy())

}

I don’t know the next step. Can you give me a whole process demo?

Please help me. Thank you very much.