My Project
Loading...
Searching...
No Matches
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)