/Users/mourrain/Devel/mmx/algebramix/include/algebramix/algebraic_extension.hpp File Reference

#include <algebramix/polynomial.hpp>
#include <algebramix/matrix.hpp>
#include <basix/symbol.hpp>

Go to the source code of this file.

Classes

• class algebraic_extension< C >
• struct binary_helper< algebraic_extension< C > >

Namespaces

• namespace mmx

Defines

• #define TMPL_DEF   template<typename C>
• #define TMPL   template<typename C>
• #define Polynomial   polynomial<C>
• #define Extension   algebraic_extension<C>
• #define Element   typename algebraic_extension<C>::El

Functions

• template<typename C > format< C > CF (const algebraic_extension< C > &x)
• template<typename C > nat hash (const algebraic_extension< C > &x)
• template<typename C > nat exact_hash (const algebraic_extension< C > &x)
• template<typename C > nat hard_hash (const algebraic_extension< C > &x)
• template<typename C > bool operator== (const algebraic_extension< C > &x, const algebraic_extension< C > &y)
• template<typename C > bool operator!= (const algebraic_extension< C > &x, const algebraic_extension< C > &y)
• template<typename C > bool exact_eq (const algebraic_extension< C > &x, const algebraic_extension< C > &y)
• template<typename C > bool exact_neq (const algebraic_extension< C > &x, const algebraic_extension< C > &y)
• template<typename C > bool hard_eq (const algebraic_extension< C > &x, const algebraic_extension< C > &y)
• template<typename C > bool hard_neq (const algebraic_extension< C > &x, const algebraic_extension< C > &y)
• template<typename C > syntactic flatten (const algebraic_extension< C > &x)
• template<typename C > algebraic_extension< C >::El square (const algebraic_extension< C > &ext, const typename algebraic_extension< C >::El &p1)
• template<typename C > algebraic_extension< C >::El mul (const algebraic_extension< C > &ext, const typename algebraic_extension< C >::El &p1, const typename algebraic_extension< C >::El &p2)
• template<typename C > algebraic_extension< C >::El invert (const algebraic_extension< C > &ext, const typename algebraic_extension< C >::El &p1)
• template<typename C > algebraic_extension< C >::El div (const algebraic_extension< C > &ext, const C &c1, const typename algebraic_extension< C >::El &p2)
• template<typename C > algebraic_extension< C >::El div (const algebraic_extension< C > &ext, const typename algebraic_extension< C >::El &p1, const typename algebraic_extension< C >::El &p2)
• template<typename C > bool is_zero (const algebraic_extension< C > &ext, const typename algebraic_extension< C >::El &p1)
• template<typename C > int sign (const algebraic_extension< C > &ext, const typename algebraic_extension< C >::El &p1)
• template<typename C > vector< C > shift1 (const algebraic_extension< C > &ext1, const algebraic_extension< C > &ext2, const vector< C > &v)
• template<typename C > vector< C > shift2 (const algebraic_extension< C > &ext1, const algebraic_extension< C > &ext2, const vector< C > &v)
• template<typename C > matrix< C > mul_matrix (const algebraic_extension< C > &ext1, const algebraic_extension< C > &ext2, const vector< C > &v)
• template<typename C > matrix< C > pow_matrix (const algebraic_extension< C > &ext1, const algebraic_extension< C > &ext2, const vector< C > &v)
• template<typename C > matrix< C > pow_matrix (const algebraic_extension< C > &ext1, const algebraic_extension< C > &ext2)
• template<typename C > polynomial< C > square_free (const polynomial< C > &p)
• template<typename C > algebraic_extension< C > join (const algebraic_extension< C > &ext1, const algebraic_extension< C > &ext2, typename algebraic_extension< C >::El &z1, typename algebraic_extension< C >::El &z2)
• template<typename C > algebraic_extension< C >::El compose (const algebraic_extension< C > &ext, const polynomial< C > &p, const typename algebraic_extension< C >::El &q)
• template<typename C > algebraic_extension< C > upgrade (const algebraic_extension< C > &ext1, const algebraic_extension< C > &ext2, typename algebraic_extension< C >::El &p1, typename algebraic_extension< C >::El &p2)
• template<typename C > polynomial< C > annihilator (const algebraic_extension< C > &ext, const typename algebraic_extension< C >::El &p)
• template<typename C > algebraic_extension< C > normalize (const algebraic_extension< C > &ext, const typename algebraic_extension< C >::El &p)
• template<typename C > algebraic_extension< C > ramify (const algebraic_extension< C > &ext, nat p)

---

Define Documentation

#define Element   typename algebraic_extension<C>::El

Definition at line 23 of file algebraic_extension.hpp.

Referenced by mmx::annihilator(), mmx::compose(), mmx::div(), mmx::invert(), mmx::join(), mmx::shift1(), mmx::shift2(), and mmx::upgrade().

#define Extension   algebraic_extension<C>

Definition at line 22 of file algebraic_extension.hpp.

Referenced by binary_helper< algebraic_extension< C > >::assemble(), trivial_extension_helper< empty_format, C, Extension >::ext(), trivial_extension_helper< FT, C, Extension >::ext(), mmx::join(), mmx::normalize(), mmx::ramify(), binary_helper< algebraic< C, Extension > >::read(), and mmx::upgrade().

#define Polynomial   polynomial<C>

Definition at line 21 of file algebraic_extension.hpp.

Referenced by mmx::annihilator(), and mmx::join().

#define TMPL   template<typename C>

Definition at line 20 of file algebraic_extension.hpp.

#define TMPL_DEF   template<typename C>

Definition at line 19 of file algebraic_extension.hpp.