00001
00002 #include <basix/int.hpp>
00003 #include <basix/vector.hpp>
00004 #include <basix/port.hpp>
00005 #include <basix/literal.hpp>
00006 #include <numerix/integer.hpp>
00007 #include <numerix/modular.hpp>
00008 #include <numerix/modular_integer.hpp>
00009 #include <numerix/rational.hpp>
00010 #include <numerix/floating.hpp>
00011 #include <numerix/kernel.hpp>
00012 #include <realroot/polynomial.hpp>
00013 #include <realroot/polynomial_glue.hpp>
00014 #include <realroot/ring_sparse_glue.hpp>
00015 #include <realroot/ring_monomial_tensor_glue.hpp>
00016 #include <basix/glue.hpp>
00017
00018 #define int_literal(x) as_int (as_string (x))
00019 #define is_generic_literal is<literal>
00020 #define gen_literal_apply(f,v) gen (as<generic> (f), v)
00021 #define gen_literal_access(f,v) access (as<generic> (f), v)
00022 #define set_of_generic set_of(generic)
00023 #define set_of_double set_of(double)
00024 #define set_of_integer set_of(integer)
00025 #define set_of_rational set_of(rational)
00026 #define set_of_bigfloat set_of(bigfloat)
00027 #define set_of_complex_bigfloat set_of(complex_bigfloat)
00028
00029 namespace mmx {
00030 void
00031 glue_ring_monomial_tensor_integer () {
00032 static bool done = false;
00033 if (done) return;
00034 done = true;
00035 call_glue (string ("glue_int"));
00036 call_glue (string ("glue_basix_vector_generic"));
00037 call_glue (string ("glue_string"));
00038 call_glue (string ("glue_kernel"));
00039 define_type<ring<integer, Sparse, DegRevLex> > (gen (lit ("RingSparseMonomial"), lit ("Integer")));
00040 define_type<MonomialTensor > (lit ("MonomialBasis"));
00041 define_constant<MonomialTensor > ("Monomials", MonomialTensor ());
00042 define_type<ring<integer, Sparse, DegRevLex>::Polynomial > (gen (lit ("Polynomial"), gen (lit ("RingSparseMonomial"), lit ("Integer"))));
00043 }
00044 }
