polymake_documentation.cc
Go to the documentation of this file.
1 #include <kernel/mod2.h>
2 
3 #ifdef HAVE_POLYMAKE
4 
5 /*
6 #include <polymake_conversion.h>
7 
8 #include <Singular/dyn_modules/gfanlib/bbcone.h>
9 #include <Singular/dyn_modules/gfanlib/bbfan.h>
10 #include <Singular/dyn_modules/gfanlib/bbpolytope.h>
11 
12 #include <Singular/blackbox.h>
13 #include <Singular/ipshell.h>
14 #include <Singular/subexpr.h>
15 
16 #include <string>
17 */
18 
19 #include <Singular/ipid.h>
20 
21 
23 {
24  const char *polymake_banner =
25  "Welcome to polymake version\nCopyright (c) 1997-2015\nEwgenij Gawrilow, Michael Joswig (TU Darmstadt)\nhttp://www.polymake.org\n";
26 
27  PrintS(polymake_banner);
28 }
29 #endif
void init_polymake_help()
void PrintS(const char *s)
Definition: reporter.cc:284