ndd_base_expand, ndd_base_reduce[ Synopsis | Description | Return values | Diagnostics | See also | Back to the NDD package documentation ] |
#include "lash-ndd.h"
ndd *ndd_base_expand(ndd *nd);
ndd *ndd_base_reduce(ndd *nd);
The function ndd_base_expand computes an NDD representing the set { rk x | x in S and k in N }, where S is the subset of Z represented by the NDD *nd. The function ndd_base_reduce computes an NDD representing the set { x / rk | x in S and k in N }. For both functions, the NDD *nd is supposed to be of dimension 1 and to use the numeration base r.
Warning: The use of these functions is strongly discouraged, since they might no longer appear in future releases of the package.
These functions do not modify *nd.
[ Synopsis | Description | Return values | Diagnostics | See also | Back to the NDD package documentation ] |