42 std::string
s =
zf->toString(2+4+8+128);
83 else if (r->
Typ()==
l->Typ())
109 Werror(
"assign Type(%d) = Type(%d) not implemented",
l->Typ(),r->
Typ());
133 for (
int r = 1; r <=
rr; r++)
134 for (
int c = 1; c <=
cc; c++)
164 if (!gfan::Permutation::arePermutations(im))
166 Werror(
"provided bigintmat contains invalid permutations of {1, ..., %d}",
ambientDim);
170 sg.computeClosure(im);
193 WerrorS(
"emptyFan: unexpected parameters");
207 res->data = (
void*)
zf;
215 if (!gfan::Permutation::arePermutations(im))
217 Werror(
"provided bigintmat contains invalid permutations of {1, ..., %d}",
ambientDim);
221 sg.computeClosure(im);
224 res->data = (
void*)
zf;
242 WerrorS(
"fullFan: unexpected parameters");
248 return zf->getAmbientDimension();
253 return zf->getCodimension();
258 return zf->getDimension();
263 return zf->getLinealityDimension();
276 int d = (
int)(
long)
v->Data();
277 d -=
zf->getLinealityDimension();
283 WerrorS(
"numberOfConesOfDimension: invalid maximality flag");
288 m = (
int)(
long)
w->Data();
291 if (d<0 || (d>
zf->getAmbientDimension()-
zf->getLinealityDimension()))
293 WerrorS(
"numberOfConesOfDimension: invalid dimension");
298 int n =
zf->numberOfConesOfDimension(d,0,
mm);
300 res->data = (
void*) (
long) n;
305 WerrorS(
"numberOfConesOfDimension: unexpected parameters");
316 int d =
zf->getAmbientDimension();
319 for (
int i=0;
i<=d;
i++)
320 n = n +
zf->numberOfConesOfDimension(
i,0,0);
323 res->data = (
void*) (
long) n;
327 WerrorS(
"ncones: unexpected parameters");
340 for (
int d=0; d<=
zf->getAmbientDimension(); d++)
341 n = n +
zf->numberOfConesOfDimension(d,0,1);
344 res->data = (
void*) (
long) n;
348 WerrorS(
"nmaxcones: unexpected parameters");
354 bool b = (
zf->getAmbientDimension() ==
zc->ambientDimension());
357 for (
int d=0; d<=
zf->getAmbientDimension(); d++)
359 for (
int i=0;
i<
zf->numberOfConesOfDimension(d,0,1);
i++)
384 res->data = (
void*) (
long)
b;
389 WerrorS(
"isCompatible: unexpected parameters");
409 n = (
int)(
long)
w->Data();
415 WerrorS(
"insertCone: cone and fan not compatible");
429 WerrorS(
"insertCone: unexpected parameters");
436 for (
int d=0; d<=
zf->getAmbientDimension(); d++)
438 for (
int i=0;
i<
zf->numberOfConesOfDimension(d,0,1);
i++)
442 if (
zd.containsRelatively(
zv))
464 if((
zf->getAmbientDimension() ==
zc->ambientDimension()))
472 WerrorS(
"containsInCollection: mismatching ambient dimensions");
476 WerrorS(
"containsInCollection: unexpected parameters");
535 WerrorS(
"removeCone: cone not contained in fan");
549 WerrorS(
"removeCone: unexpected parameters");
567 int d = (
int)(
long)
v->Data();
568 d -=
zf->getLinealityDimension();
570 int i = (
int)(
long)
w->Data();
576 WerrorS(
"getCone: invalid maximality flag");
581 m = (
int)(
long)
x->Data();
584 if (d<0 || (d>
zf->getAmbientDimension()-
zf->getLinealityDimension()))
586 WerrorS(
"getCone: invalid dimension");
592 WerrorS(
"getCone: invalid index");
605 WerrorS(
"getCone: unexpected parameters");
619 int d = (
int)(
long)
v->Data();
625 o = (
int)(
long)
w->Data();
629 m = (
int)(
long)
x->Data();
634 if (((o == 0) || (o == 1)) && ((
m == 0) || (
m == 1)))
640 int ld =
zf->getLinealityDimension();
644 int n =
zf->numberOfConesOfDimension(d-
ld,
oo,
mm);
646 for (
int i=0;
i<n;
i++)
652 res->data = (
void*) L;
658 WerrorS(
"getCones: invalid dimension; no cones in this dimension");
665 WerrorS(
"getCones: invalid dimension");
672 WerrorS(
"getCones: invalid specifier for orbit or maximal");
678 WerrorS(
"getCones: unexpected parameters");
684 int i =
zf->isSimplicial() ? 1 : 0;
695 int b =
zf->isPure();
697 res->data = (
void*) (
long)
b;
701 WerrorS(
"isPure: unexpected parameters");
733 WerrorS(
"fVector: unexpected parameters");
740 for (
int i=0;
i<
zf->numberOfConesOfDimension(1,0,0);
i++)
779 WerrorS(
"numberOfConesWithVector: mismatching dimensions");
792 WerrorS(
"numberOfConesWithVector: unexpected parameters");
806 res->data = (
void*)
zf;
810 WerrorS(
"fanFromString: unexpected parameters");
825 WerrorS(
"fanViaCones: list contains entries of wrong type");
835 WerrorS(
"fanViaCones: entries of wrong type in list");
840 if (
zc->ambientDimension() !=
zf->getAmbientDimension())
842 WerrorS(
"fanViaCones: inconsistent ambient dimensions amongst cones in list");
849 res->data = (
void*)
zf;
868 WerrorS(
"fanViaCones: arguments of wrong type");
874 if (
zc->ambientDimension() !=
zf->getAmbientDimension())
876 WerrorS(
"fanViaCones: inconsistent ambient dimensions amongst input cones");
884 res->data = (
void*)
zf;
894 WerrorS(
"fanViaCones: unexpected parameters");
950 assume(
zf.getAmbientDimension() ==
zg.getAmbientDimension());
954 for (
int d=0; d<=
zf.getAmbientDimension(); d++)
955 for (
int i=0;
i<
zf.numberOfConesOfDimension(d,0,1);
i++)
959 for (
int d=0; d<=
zg.getAmbientDimension(); d++)
960 for (
int i=0;
i<
zg.numberOfConesOfDimension(d,0,1);
i++)
987 res->data = (
void*)
zr;
992 WerrorS(
"commonRefinement: unexpected parameters");
1051 l.data=(
void*)
"fan";
1055 std::string
s =
zf->toString(2+4+8+128);
1057 fprintf(
dd->f_write,
"%d %s ",(
int)
s.size(),
s.c_str());
BOOLEAN nmaxcones(leftv res, leftv args)
int getDimension(gfan::ZFan *zf)
BOOLEAN numberOfConesOfDimension(leftv res, leftv args)
BOOLEAN emptyFan(leftv res, leftv args)
BOOLEAN fanViaCones(leftv res, leftv args)
bool containsInCollection(gfan::ZFan *zf, gfan::ZCone *zc)
BOOLEAN fullFan(leftv res, leftv args)
static BOOLEAN jjFANFULL_I(leftv res, leftv v)
BOOLEAN getCones(leftv res, leftv args)
char * bbfan_String(blackbox *, void *d)
BOOLEAN fanFromString(leftv res, leftv args)
BOOLEAN isPure(leftv res, leftv args)
void * bbfan_Copy(blackbox *, void *d)
int numberOfConesWithVector(gfan::ZFan *zf, gfan::ZVector *v)
BOOLEAN ncones(leftv res, leftv args)
BOOLEAN bbfan_deserialize(blackbox **b, void **d, si_link f)
int isSimplicial(gfan::ZFan *zf)
static BOOLEAN jjFANEMPTY_I(leftv res, leftv v)
BOOLEAN removeCone(leftv res, leftv args)
int getCodimension(gfan::ZFan *zf)
void bbfan_destroy(blackbox *, void *d)
gfan::ZFan commonRefinement(gfan::ZFan zf, gfan::ZFan zg)
void * bbfan_Init(blackbox *)
BOOLEAN getCone(leftv res, leftv args)
BOOLEAN bbfan_Assign(leftv l, leftv r)
void bbfan_setup(SModulFunctions *p)
static BOOLEAN jjFANFULL_IM(leftv res, leftv v)
BOOLEAN bbfan_serialize(blackbox *b, void *d, si_link f)
gfan::ZMatrix rays(const gfan::ZFan *const zf)
static BOOLEAN jjFANEMPTY_IM(leftv res, leftv v)
int getLinealityDimension(gfan::ZFan *zf)
bool isCompatible(const gfan::ZFan *zf, const gfan::ZCone *zc)
BOOLEAN insertCone(leftv res, leftv args)
static gfan::IntMatrix permutationIntMatrix(const bigintmat *iv)
int getAmbientDimension(gfan::ZFan *zf)
BOOLEAN fVector(leftv res, leftv args)
int setBlackboxStuff(blackbox *bb, const char *n)
define a new type
gfan::ZMatrix * bigintmatToZMatrix(const bigintmat &bim)
bigintmat * zVectorToBigintmat(const gfan::ZVector &zv)
gfan::ZVector * bigintmatToZVector(const bigintmat &bim)
Class used for (list of) interpreter objects.
INLINE_THIS void Init(int l=0)
Coefficient rings, fields and other domains suitable for Singular polynomials.
static FORCE_INLINE number n_Sub(number a, number b, const coeffs r)
return the difference of 'a' and 'b', i.e., a-b
static FORCE_INLINE void n_Delete(number *p, const coeffs r)
delete 'p'
static FORCE_INLINE number n_Init(long i, const coeffs r)
a number representing i in the given coeff field/ring r
const CanonicalForm int s
const Variable & v
< [in] a sqrfree bivariate poly
void WerrorS(const char *s)
intvec * ivCopy(const intvec *o)
#define IMATELEM(M, I, J)
void Werror(const char *fmt,...)
int s_readbytes(char *buff, int len, s_buff F)
int status int void size_t count
int status int void * buf