Home
last modified time | relevance | path

Searched defs:r_assume (Results 1 – 2 of 2) sorted by relevance

/dports/math/singular/Singular-Release-4-2-1/libpolys/reporter/
H A Dreporter.h126 #define r_assume(x) do {} while (0) macro
133 #define r_assume(x) _r_assume(x, __FILE__, __LINE__) macro
/dports/math/singular/Singular-Release-4-2-1/kernel/
H A Dmod2.h381 #define r_assume(x) do {} while (0) macro
388 #define r_assume(x) _r_assume(x, __FILE__, __LINE__) macro