glue/glue_homotopy_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 <algebramix/vector_unrolled.hpp>
#include <algebramix/vector_simd.hpp>
#include <algebramix/vector_modular.hpp>
#include <analyziz/vector_double.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/solver.hpp>
#include <analyziz/solver_aberth.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/eigen.hpp>
#include <analyziz/eigen_homotopy.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 <numerix/ball.hpp>
#include <numerix/ball_complex.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< complex< double > > GLUE_7 (const vector< multivariate< sparse_polynomial< rational > > > &arg_1, const vector< multivariate_coordinate<> > &arg_2, const vector< complex< double > > &arg_3, const multivariate_coordinate<> &arg_4, const complex< double > &arg_5)
• static vector< complex< double > > GLUE_8 (const vector< multivariate< sparse_polynomial< rational > > > &arg_1, const vector< multivariate_coordinate<> > &arg_2, const vector< complex< double > > &arg_3, const multivariate_coordinate<> &arg_4, const vector< complex< double > > &arg_5)
• static matrix< complex< double > > GLUE_9 (const vector< multivariate< sparse_polynomial< rational > > > &arg_1, const vector< multivariate_coordinate<> > &arg_2, const matrix< complex< double > > &arg_3, const multivariate_coordinate<> &arg_4, const complex< double > &arg_5)
• static matrix< complex< double > > GLUE_10 (const vector< multivariate< sparse_polynomial< rational > > > &arg_1, const vector< multivariate_coordinate<> > &arg_2, const matrix< complex< double > > &arg_3, const multivariate_coordinate<> &arg_4, const vector< 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_double ()

---

Define Documentation

#define compound_arguments

(

x

)

cdr (as_vector (x))

Definition at line 69 of file glue_homotopy_double.cpp.

#define double_literal

(

x

)

as_double (as_string (x))

Definition at line 63 of file glue_homotopy_double.cpp.

#define gen_compound_apply	(	f,
		v		)	gen (as<generic> (f), v)

Definition at line 70 of file glue_homotopy_double.cpp.

#define gen_literal_access	(	f,
		v		)	access (as<generic> (f), v)

Definition at line 67 of file glue_homotopy_double.cpp.

#define gen_literal_apply	(	f,
		v		)	gen (as<generic> (f), v)

Definition at line 66 of file glue_homotopy_double.cpp.

#define hilbert_matrix_rational   hilbert_matrix<rational>

Definition at line 88 of file glue_homotopy_double.cpp.

#define identity_matrix_integer   identity_matrix<integer>

Definition at line 87 of file glue_homotopy_double.cpp.

#define int_literal

(

x

)

as_int (as_string (x))

Definition at line 64 of file glue_homotopy_double.cpp.

#define is_generic_compound   is<compound>

Definition at line 68 of file glue_homotopy_double.cpp.

#define is_generic_literal   is<literal>

Definition at line 65 of file glue_homotopy_double.cpp.

#define mmx_coordinate   multivariate_coordinate<>

Definition at line 137 of file glue_homotopy_double.cpp.

#define mmx_coordinates   multivariate_coordinates<>

Definition at line 138 of file glue_homotopy_double.cpp.

#define mv_monomial   multivariate<monomial<> >

Definition at line 139 of file glue_homotopy_double.cpp.

#define mv_polynomial

(

C

)

multivariate<sparse_polynomial<C> >

Definition at line 141 of file glue_homotopy_double.cpp.

#define Polynomial   multivariate<sparse_polynomial<modular<modulus<C>, modular_local> > >

Definition at line 145 of file glue_homotopy_double.cpp.