source: git/factory/gmpext.h @ 6deedd

spielwiese
Last change on this file since 6deedd was a52291, checked in by Martin Lee <martinlee84@…>, 12 years ago
replacing MP_INT by mpz_t Conflicts: factory/cf_factory.h
  • Property mode set to 100644
File size: 369 bytes
Line 
1/* emacs edit mode for this file is -*- C++ -*- */
2/* $Id$ */
3
4#ifndef INCL_GMPEXT_H
5#define INCL_GMPEXT_H
6
7// #include "config.h"
8// #include "cf_gmp.h"
9
10#include "cf_defs.h"
11#include "imm.h"
12
13
14inline bool
15mpz_is_imm( const mpz_t mpi )
16{
17    return ( mpz_cmp_si( mpi, MINIMMEDIATE ) >= 0 ) &&
18        ( mpz_cmp_si( mpi, MAXIMMEDIATE ) <= 0 );
19}
20
21#endif /* ! INCL_GMPEXT_H */
Note: See TracBrowser for help on using the repository browser.