numerix_doc 0.4
|
00001 00002 /****************************************************************************** 00003 * MODULE : rational_meta.hpp 00004 * DESCRIPTION: Categorial meta properties of rationals 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_RATIONAL_META_HPP 00014 #define __MMX_RATIONAL_META_HPP 00015 #include <numerix/rational.hpp> 00016 #include <basix/category_meta.hpp> 00017 namespace mmx { 00018 #define META_TMPL STMPL 00019 #define META_TPNM 00020 #define META_TYPE rational 00021 #define META_COND always 00022 00023 //HAS_RING() 00024 HAS_FIELD() 00025 //HAS(div_op) 00026 HAS_ORDERING() 00027 00028 #undef META_COND 00029 #undef META_TYPE 00030 #undef META_TPNM 00031 #undef META_TMPL 00032 } 00033 #endif // __MMX_RATIONAL_META_HPP