source:
git/factory/gmpext.h
@
6deedd
Last change on this file since 6deedd was a52291, checked in by , 12 years ago | |
---|---|
|
|
File size: 369 bytes |
Rev | Line | |
---|---|---|
[493c477] | 1 | /* emacs edit mode for this file is -*- C++ -*- */ |
[341696] | 2 | /* $Id$ */ |
[2dd068] | 3 | |
[9d7aaa] | 4 | #ifndef INCL_GMPEXT_H |
5 | #define INCL_GMPEXT_H | |
[2dd068] | 6 | |
[e4fe2b] | 7 | // #include "config.h" |
8 | // #include "cf_gmp.h" | |
[2dd068] | 9 | |
10 | #include "cf_defs.h" | |
11 | #include "imm.h" | |
12 | ||
13 | ||
14 | inline bool | |
[a52291] | 15 | mpz_is_imm( const mpz_t mpi ) |
[2dd068] | 16 | { |
17 | return ( mpz_cmp_si( mpi, MINIMMEDIATE ) >= 0 ) && | |
18 | ( mpz_cmp_si( mpi, MAXIMMEDIATE ) <= 0 ); | |
19 | } | |
20 | ||
[493c477] | 21 | #endif /* ! INCL_GMPEXT_H */ |
Note: See TracBrowser
for help on using the repository browser.