Next: Core Functions
Up: Library Functions
Previous: Library Functions
Library Initialization
- void dd_set_global_constants(void)
- :
This is to set the global constants such as dd_zero,
dd_purezero and
dd_one for sign recognition and basic arithmetic
operations. Every program to use cddlib must call this function
before doing any computation. Just call this once.
See Section 4.3.3 for the definitions of
constants.
Komei Fukuda
2004-11-24