![]() |
My Project
|
#include "tropicalStrategy.h"
#include "singularWishlist.h"
#include "adjustWeights.h"
#include "ppinitialReduction.h"
#include "tropical.h"
#include "std_wrapper.h"
#include "tropicalCurves.h"
#include "tropicalDebug.h"
#include "containsMonomial.h"
#include "kernel/ideals.h"
#include "kernel/combinatorics/stairc.h"
#include "kernel/GBEngine/kstd1.h"
#include "misc/prime.h"
Go to the source code of this file.
Functions | |
int | dim (ideal I, ring r) |
static void | swapElements (ideal I, ideal J) |
static bool | noExtraReduction (ideal I, ring r, number) |
static ring | constructStartingRing (ring r) |
Given a polynomial ring r over the rational numbers and a weighted ordering, returns a polynomial ring s over the integers with one extra variable, which is weighted -1. | |
static ideal | constructStartingIdeal (ideal originalIdeal, ring originalRing, number uniformizingParameter, ring startingRing) |
|
static |
Definition at line 227 of file tropicalStrategy.cc.
Given a polynomial ring r over the rational numbers and a weighted ordering, returns a polynomial ring s over the integers with one extra variable, which is weighted -1.
Definition at line 166 of file tropicalStrategy.cc.
Definition at line 23 of file tropicalStrategy.cc.
Definition at line 62 of file tropicalStrategy.cc.