numerix_doc 0.4
|
00001 00002 /****************************************************************************** 00003 * MODULE : integer_meta.hpp 00004 * DESCRIPTION: Categorial meta properties of integers 00005 * COPYRIGHT : (C) 2004 Joris van der Hoeven 00006 ******************************************************************************* 00007 * This software falls under the GNU general public license and comes WITHOUT 00008 * ANY WARRANTY WHATSOEVER. See the file $TEXMACS_PATH/LICENSE for more details. 00009 * If you don't have this file, write to the Free Software Foundation, Inc., 00010 * 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. 00011 ******************************************************************************/ 00012 00013 #ifndef __MMX_INTEGER_META_HPP 00014 #define __MMX_INTEGER_META_HPP 00015 #include <numerix/integer.hpp> 00016 #include <basix/category_meta.hpp> 00017 namespace mmx { 00018 #define META_TMPL STMPL 00019 #define META_TPNM 00020 #define META_TYPE integer 00021 #define META_COND always 00022 00023 HAS_RING() 00024 HAS_ORDERING() 00025 00026 #undef META_COND 00027 #undef META_TYPE 00028 #undef META_TPNM 00029 #undef META_TMPL 00030 } 00031 #endif // __MMX_INTEGER_META_HPP