source: git/factory/gmpext.h @ e4e36c

fieker-DuValspielwiese
Last change on this file since e4e36c was 362fc67, checked in by Martin Lee <martinlee84@…>, 12 years ago
chg: remove $Id$
  • Property mode set to 100644
File size: 366 bytes
RevLine 
[493c477]1/* emacs edit mode for this file is -*- C++ -*- */
[2dd068]2
[9d7aaa]3#ifndef INCL_GMPEXT_H
4#define INCL_GMPEXT_H
[2dd068]5
[e4fe2b]6// #include "config.h"
[ee668e]7// #include <factory/cf_gmp.h>
[2dd068]8
9#include "cf_defs.h"
10#include "imm.h"
11
12
13inline bool
[a52291]14mpz_is_imm( const mpz_t mpi )
[2dd068]15{
16    return ( mpz_cmp_si( mpi, MINIMMEDIATE ) >= 0 ) &&
17        ( mpz_cmp_si( mpi, MAXIMMEDIATE ) <= 0 );
18}
19
[493c477]20#endif /* ! INCL_GMPEXT_H */
Note: See TracBrowser for help on using the repository browser.