source: git/Singular/dyn_modules/gfanlib/tropicalVariety.cc @ 06d5774

#include <callgfanlib_conversion.h>
#include <bbfan.h>
#include <groebnerCone.h>
#include <tropicalVarietyOfIdeals.h>
#include <libpolys/coeffs/numbers.h>
#include <libpolys/misc/options.h>
#include <kernel/structs.h>


BITSET bitsetSave1, bitsetSave2;

/***
 * sets option(redSB)
 **/
static void setOptionRedSB()
{
  SI_SAVE_OPT(bitsetSave1,bitsetSave2);
  si_opt_1|=Sy_bit(OPT_REDSB);
}

/***
 * sets option(noredSB);
 **/
static void undoSetOptionRedSB()
{
  SI_RESTORE_OPT(bitsetSave1,bitsetSave2);
}

BOOLEAN tropicalVariety(leftv res, leftv args)
{
  leftv u = args;
  if ((u!=NULL) && (u->Typ()==IDEAL_CMD))
  {
    ideal I = (ideal) u->CopyD();
    leftv v = u->next;
    if (v==NULL)
    {
      tropicalStrategy currentStrategy(I,currRing);
      gfan::ZFan* tropI = tropicalVariety(I,currRing,currentStrategy);
      res->rtyp = fanID;
      res->data = (char*) tropI;
      return FALSE;
    }
    if ((v!=NULL) && (v->Typ()==NUMBER_CMD))
    {
      number p = (number) v->CopyD();
      tropicalStrategy currentStrategy(I,p,currRing);
      setOptionRedSB();
      gfan::ZFan* tropI = tropicalVariety(I,currRing,currentStrategy);
      undoSetOptionRedSB();
      res->rtyp = fanID;
      res->data = (char*) tropI;
      return FALSE;
    }
    return FALSE;
  }
  WerrorS("tropicalVariety: unexpected parameters");
  return TRUE;
}