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/Interval_glue.hpp> 00013 #include <realroot/polynomial.hpp> 00014 #include <realroot/polynomial_glue.hpp> 00015 #include <realroot/ring_sparse_glue.hpp> 00016 #include <realroot/ring_monomial_tensor_glue.hpp> 00017 #include <realroot/solver_univariate_glue.hpp> 00018 #include <basix/glue.hpp> 00019 00020 #define int_literal(x) as_int (as_string (x)) 00021 #define is_generic_literal is<literal> 00022 #define gen_literal_apply(f,v) gen (as<generic> (f), v) 00023 #define gen_literal_access(f,v) access (as<generic> (f), v) 00024 #define set_of_generic set_of(generic) 00025 #define set_of_double set_of(double) 00026 #define set_of_integer set_of(integer) 00027 #define set_of_rational set_of(rational) 00028 #define set_of_bigfloat set_of(bigfloat) 00029 #define set_of_complex_bigfloat set_of(complex_bigfloat) 00030 ; 00031 namespace mmx { 00032 inline long int bit_size(const rational& z) {return std::max(bit_size(numerator(z)), bit_size(denominator(z))); } 00033 } 00034 00035 00036 namespace mmx { 00037 void 00038 glue_solver_univariate_rational () { 00039 static bool done = false; 00040 if (done) return; 00041 done = true; 00042 call_glue (string ("glue_kernel")); 00043 call_glue (string ("glue_interval")); 00044 call_glue (string ("glue_ring_monomial_tensor_rational")); 00045 } 00046 }
1.6.1