Searched refs:pDivAssume (Results 1 – 2 of 2) sorted by relevance
| /dports/math/singular/Singular-Release-4-2-1/Singular/dyn_modules/gfanlib/ |
| H A D | singularWishlist.h | 23 pDivAssume(p_DebugLmDivisibleByNoComp(a, b, r) == FALSE); in _p_LeadmonomDivisibleByNoComp()
39 pDivAssume(p_DebugLmDivisibleByNoComp(a, b, r) == FALSE); in _p_LeadmonomDivisibleByNoComp()
46 pDivAssume(p_DebugLmDivisibleByNoComp(a, b, r) == TRUE); in _p_LeadmonomDivisibleByNoComp()
|
| /dports/math/singular/Singular-Release-4-2-1/libpolys/polys/monomials/ |
| H A D | p_polys.h | 1242 #define pDivAssume(x) do {} while (0) macro
1749 pDivAssume(p_DebugLmDivisibleByNoComp(a, b, r) == FALSE); in _p_LmDivisibleByNoComp()
1765 pDivAssume(p_DebugLmDivisibleByNoComp(a, b, r) == FALSE); in _p_LmDivisibleByNoComp()
1777 pDivAssume(p_DebugLmDivisibleByNoComp(a, b, r) == TRUE); in _p_LmDivisibleByNoComp()
|