Home
last modified time | relevance | path

Searched refs:ddf_TRUE (Results 1 – 11 of 11) sorted by relevance

/dports/math/sympol/SymPol-0.1.9/external/cddlib-094f/
H A Dcddcore_f.c40 *adjacent = ddf_TRUE; in ddf_CheckAdjacency()
52 *adjacent = ddf_TRUE; in ddf_CheckAdjacency()
131 *feasible = ddf_TRUE; in ddf_StoreRay1()
182 *feasible = ddf_TRUE; in ddf_StoreRay2()
950 stop=ddf_TRUE; in ddf_MatrixRank()
993 stop=ddf_TRUE; in ddf_FindBasis()
1037 *found = ddf_TRUE; in ddf_FindInitialRays()
1055 *equal = ddf_TRUE; in ddf_CheckEquality()
1445 equal = ddf_TRUE; in ddf_LexEqual()
1823 while (ddf_TRUE){ in ddf_Partition()
[all …]
H A Dcddlp_f.c30 #define ddf_TRUE 1 macro
510 red=ddf_TRUE; in ddf_GetRedundancyInformation()
614 colselected=ddf_TRUE; *selected=ddf_TRUE; in ddf_SelectDualSimplexPivot()
1061 stop=ddf_TRUE; in ddf_FindLPBasis()
1135 stop=ddf_TRUE; in ddf_FindLPBasis2()
1153 stop = ddf_TRUE; in ddf_FindLPBasis2()
1549 stop=ddf_TRUE; in ddf_DualSimplexMaximize()
1662 stop=ddf_TRUE; in ddf_CrissCrossMaximize()
2686 success=ddf_TRUE; in ddf_MatrixRedundancyRemove()
3327 success=ddf_TRUE; in ddf_MatrixCanonicalizeLinearity()
[all …]
H A Dcddlib_f.c221 poly->IsEmpty=ddf_TRUE; in ddf_CheckEmptiness()
223 answer=ddf_TRUE; in ddf_CheckEmptiness()
230 poly->IsEmpty=ddf_TRUE; in ddf_CheckEmptiness()
232 answer=ddf_TRUE; in ddf_CheckEmptiness()
334 ddf_boolean found=ddf_TRUE; in ddf_DDFile2File()
356 found=ddf_TRUE; in ddf_DDFile2File()
H A Dcddio_f.c46 stop=ddf_TRUE; in ddf_SetInputFile()
172 ddf_debug = ddf_TRUE; in ddf_ProcessCommandLine()
174 ddf_debug = ddf_TRUE; in ddf_ProcessCommandLine()
915 linearity=ddf_TRUE; in ddf_PolyFile2Matrix()
959 successful=ddf_TRUE; in ddf_PolyFile2Matrix()
989 poly->homogeneous=ddf_TRUE; in ddf_DDMatrix2Poly()
1018 poly->homogeneous=ddf_TRUE; in ddf_DDMatrix2Poly2()
1373 redundant=ddf_TRUE; in ddf_ComputeAinc()
1403 ddf_boolean adj=ddf_TRUE; in ddf_InputAdjacentQ()
1420 adj=ddf_TRUE; in ddf_InputAdjacentQ()
[all …]
H A Dcddmp_f.c41 ddf_choiceLexicoPivotQ=ddf_TRUE; /* whether to use the lexicographic pivot */ in ddf_set_global_constants()
81 ddf_choiceLexicoPivotQ=ddf_TRUE; /* whether to use the lexicographic pivot */ in ddf_free_global_constants()
H A Dcddtypes_f.h28 #define ddf_TRUE 1 macro
H A Dcddio.c174 ddf_debug = ddf_TRUE; in dd_ProcessCommandLine()
/dports/math/cddlib/cddlib-0.94l/lib-src/
H A Dcddtypes_f.h28 #define ddf_TRUE 1 macro
H A Dcddio.c173 ddf_debug = ddf_TRUE; in dd_ProcessCommandLine()
/dports/math/gfan/gfan0.6.2/src/
H A Dlp_cdd.cpp33 rep=ddf_Inequality; newformat=ddf_TRUE; in vectorList2Matrix()
53 successful=ddf_TRUE; in vectorList2Matrix()
/dports/math/gfanlib/gfan0.6.2/src/
H A Dlp_cdd.cpp33 rep=ddf_Inequality; newformat=ddf_TRUE; in vectorList2Matrix()
53 successful=ddf_TRUE; in vectorList2Matrix()