glue/glue_homotopy_ball_double.cpp File Reference

#include <basix/double.hpp>
#include <basix/int.hpp>
#include <basix/vector.hpp>
#include <basix/port.hpp>
#include <basix/literal.hpp>
#include <numerix/integer.hpp>
#include <numerix/modular.hpp>
#include <numerix/modular_integer.hpp>
#include <numerix/rational.hpp>
#include <numerix/complex.hpp>
#include <numerix/complex_double.hpp>
#include <numerix/ball.hpp>
#include <numerix/ball_complex.hpp>
#include <algebramix/vector_unrolled.hpp>
#include <algebramix/vector_simd.hpp>
#include <algebramix/vector_modular.hpp>
#include <analyziz/vector_double.hpp>
#include <analyziz/vector_ball.hpp>
#include <basix/compound.hpp>
#include <basix/mmx_syntax.hpp>
#include <basix/lisp_syntax.hpp>
#include <basix/cpp_syntax.hpp>
#include <basix/syntactic.hpp>
#include <algebramix/polynomial.hpp>
#include <algebramix/polynomial_polynomial.hpp>
#include <algebramix/polynomial_integer.hpp>
#include <algebramix/polynomial_rational.hpp>
#include <algebramix/polynomial_modular.hpp>
#include <algebramix/polynomial_modular_integer.hpp>
#include <algebramix/polynomial_complex.hpp>
#include <algebramix/polynomial_schonhage.hpp>
#include <analyziz/polynomial_numeric.hpp>
#include <analyziz/polynomial_double.hpp>
#include <analyziz/polynomial_ball.hpp>
#include <analyziz/solver.hpp>
#include <analyziz/solver_aberth.hpp>
#include <analyziz/solver_ball.hpp>
#include <algebramix/permutation.hpp>
#include <basix/row_tuple.hpp>
#include <algebramix/matrix.hpp>
#include <algebramix/matrix_ring_naive.hpp>
#include <algebramix/matrix_integer.hpp>
#include <algebramix/matrix_modular_integer.hpp>
#include <algebramix/matrix_quotient.hpp>
#include <algebramix/matrix_complex.hpp>
#include <analyziz/matrix_jacobian.hpp>
#include <analyziz/matrix_double.hpp>
#include <analyziz/matrix_ball.hpp>
#include <analyziz/matrix_numeric.hpp>
#include <analyziz/eigen.hpp>
#include <analyziz/eigen_homotopy.hpp>
#include <analyziz/eigen_ball.hpp>
#include <multimix/multivariate_coordinates.hpp>
#include <multimix/multivariate_monomial.hpp>
#include <multimix/multivariate_polynomial.hpp>
#include <multimix/sparse_polynomial_integer.hpp>
#include <multimix/sparse_polynomial_rational.hpp>
#include <multimix/sparse_polynomial_modular.hpp>
#include <multimix/sparse_polynomial_modular_integer.hpp>
#include <numerix/floating.hpp>
#include <continewz/homotopy_euler.hpp>
#include <continewz/homotopy_floating.hpp>
#include <continewz/homotopy_post_certify.hpp>
#include <basix/routine.hpp>
#include <basix/alias.hpp>
#include <basix/glue.hpp>

Go to the source code of this file.

Namespaces

namespace mmx

Defines

#define double_literal(x) as_double (as_string (x))
#define int_literal(x) as_int (as_string (x))
#define is_generic_literal is<literal>
#define gen_literal_apply(f, v) gen (as<generic> (f), v)
#define gen_literal_access(f, v) access (as<generic> (f), v)
#define is_generic_compound is<compound>
#define compound_arguments(x) cdr (as_vector (x))
#define gen_compound_apply(f, v) gen (as<generic> (f), v)
#define identity_matrix_integer identity_matrix<integer>
#define hilbert_matrix_rational hilbert_matrix<rational>
#define mmx_coordinate multivariate_coordinate<>
#define mmx_coordinates multivariate_coordinates<>
#define mv_monomial multivariate<monomial<> >
#define mv_polynomial(C) multivariate<sparse_polynomial<C> >
#define Polynomial multivariate<sparse_polynomial<modular<modulus<C>, modular_local> > >

Functions

template<typename C > polynomial< C > polynomial_reverse (const vector< C > &v)
template<typename C > polynomial< modular< modulus
< C >, modular_local > > as_polynomial_modular (const polynomial< C > &f, const modulus< C > &p)
template<typename C > vector< generic > wrap_subresultants (const polynomial< C > &f, const polynomial< C > &g)
template<typename C > matrix< C > matrix_new (const vector< row_tuple< C > > &t)
template<typename C > matrix< C > matrix_new (const vector< C > &t)
template<typename C > vector< generic > wrap_column_reduced_echelon_with_permutation (const matrix< C > &m)
template<typename C > vector< generic > wrap_column_reduced_echelon_with_transform (const matrix< C > &m)
template<typename C > vector< generic > wrap_row_reduced_echelon_with_transform (const matrix< C > &m)
template<typename C > multivariate
< sparse_polynomial< modular
< modulus< C >, modular_local > > > as_mv_polynomial_modular (const multivariate< sparse_polynomial< C > > &f, const modulus< C > &p)
static vector< integer > GLUE_1 (const vector< int > &arg_1)
static vector< rational > GLUE_2 (const vector< int > &arg_1)
static vector< complex
< rational > > GLUE_3 (const vector< int > &arg_1)
static vector< int > GLUE_4 (const vector< integer > &arg_1)
static vector< mmx_ball(double,
double) > GLUE_5 (const vector< integer > &arg_1)
static vector< mmx_ball(double,
complex< double >) > GLUE_6 (const vector< integer > &arg_1)
static vector< mmx_ball(double,
complex< double >) > GLUE_7 (const vector< multivariate< sparse_polynomial< rational > > > &arg_1, const vector< multivariate_coordinate<> > &arg_2, const vector< mmx_ball(double, complex< double >) > &arg_3, const multivariate_coordinate<> &arg_4, const mmx_ball(double, complex< double >)&arg_5)
static vector< mmx_ball(double,
complex< double >) > GLUE_8 (const vector< multivariate< sparse_polynomial< rational > > > &arg_1, const vector< multivariate_coordinate<> > &arg_2, const vector< mmx_ball(double, complex< double >) > &arg_3, const multivariate_coordinate<> &arg_4, const vector< mmx_ball(double, complex< double >) > &arg_5)
static matrix< mmx_ball(double,
complex< double >) > GLUE_9 (const vector< multivariate< sparse_polynomial< rational > > > &arg_1, const vector< multivariate_coordinate<> > &arg_2, const matrix< mmx_ball(double, complex< double >) > &arg_3, const multivariate_coordinate<> &arg_4, const mmx_ball(double, complex< double >)&arg_5)
static matrix< mmx_ball(double,
complex< double >) > GLUE_10 (const vector< multivariate< sparse_polynomial< rational > > > &arg_1, const vector< multivariate_coordinate<> > &arg_2, const matrix< mmx_ball(double, complex< double >) > &arg_3, const multivariate_coordinate<> &arg_4, const vector< mmx_ball(double, complex< double >) > &arg_5)
static vector< mmx_ball(double,
double) > GLUE_11 (const vector< rational > &arg_1)
static vector< mmx_ball(double,
complex< double >) > GLUE_12 (const vector< rational > &arg_1)
static vector< mmx_ball(double,
complex< double >) > GLUE_13 (const vector< complex< rational > > &arg_1)
void glue_homotopy_ball_double ()