My Project
tropicalVariety.h
Go to the documentation of this file.
1 #ifndef CALLGFANLIB_TROPICALVARIETY_H
2 #define CALLGFANLIB_TROPICALVARIETY_H
3 
5 
6 #endif
int BOOLEAN
Definition: auxiliary.h:87
Class used for (list of) interpreter objects.
Definition: subexpr.h:83
CanonicalForm res
Definition: facAbsFact.cc:60
BOOLEAN tropicalVariety(leftv res, leftv args)