source: git/factory/gmpext.h @ 80b8fe

spielwiese
Last change on this file since 80b8fe was abddbe, checked in by Martin Lee <martinlee84@…>, 10 years ago
chg: added brief descriptions to some files
  • Property mode set to 100644
File size: 425 bytes
Line 
1/* emacs edit mode for this file is -*- C++ -*- */
2
3#ifndef INCL_GMPEXT_H
4#define INCL_GMPEXT_H
5
6/**
7 * @file gmpext.h
8 *
9 * utility functions for gmp
10**/
11
12// #include "config.h"
13// #include <factory/cf_gmp.h>
14
15#include "cf_defs.h"
16#include "imm.h"
17
18
19inline bool
20mpz_is_imm( const mpz_t mpi )
21{
22    return ( mpz_cmp_si( mpi, MINIMMEDIATE ) >= 0 ) &&
23        ( mpz_cmp_si( mpi, MAXIMMEDIATE ) <= 0 );
24}
25
26#endif /* ! INCL_GMPEXT_H */
Note: See TracBrowser for help on using the repository browser.