#include <algebraic_number.hpp>

Public Types

typedef algebraic_extension< C >
::El El

Public Member Functions

algebraic_number_extension ()
algebraic_number_extension (const format< C > &fm)
algebraic_number_extension (const algebraic_extension< C > &ext2, const Ball &x2)
algebraic_number_extension (const polynomial< C > &mp, const Ball &x2)
template<typename C2 , typename Ball2 > algebraic_number_extension (const algebraic_number_extension< C2, Ball2 > &ext2)
algebraic_number_extension (const pair< algebraic_extension< C >, Ball > &p)
pair< algebraic_extension< C >
,Ball > operator* () const

Public Attributes

algebraic_extension< C > ext
Ball x

Detailed Description

template<typename C, typename Ball>
class mmx::algebraic_number_extension< C, Ball >

Definition at line 33 of file algebraic_number.hpp.

Member Typedef Documentation

typedef algebraic_extension<C>::El El

Definition at line 38 of file algebraic_number.hpp.

Constructor & Destructor Documentation

algebraic_number_extension ( ) [inline]

Definition at line 41 of file algebraic_number.hpp.

                                      :
    ext (), x (0) {}

algebraic_number_extension ( const format< C > & fm ) [inline]

Definition at line 43 of file algebraic_number.hpp.

                                                         :
    ext (fm), x (0) {}

algebraic_number_extension	(	const algebraic_extension< C > &	ext2,
		const Ball &	x2
	)		`[inline]`

Definition at line 45 of file algebraic_number.hpp.

References algebraic_number_extension< C, Ball >::ext, mmx::shrink_check(), and algebraic_number_extension< C, Ball >::x.

                                                                           :
    ext (ext2), x (x2) { shrink_check (ext.mp, x); }

algebraic_number_extension	(	const polynomial< C > &	mp,
		const Ball &	x2
	)		`[inline]`

Definition at line 47 of file algebraic_number.hpp.

References mmx::shrink_check(), and algebraic_number_extension< C, Ball >::x.

                                                                          :
    ext (mp), x (x2) { shrink_check (mp, x); }

algebraic_number_extension ( const algebraic_number_extension< C2, Ball2 > & ext2 ) [inline]

Definition at line 50 of file algebraic_number.hpp.

References algebraic_number_extension< C, Ball >::ext, mmx::shrink_check(), and algebraic_number_extension< C, Ball >::x.

                                                                               :
    ext (ext2.ext), x (as<Ball> (ext2.x)) { shrink_check (ext.mp, x); }

algebraic_number_extension ( const pair< algebraic_extension< C >, Ball > & p ) [inline]

Definition at line 52 of file algebraic_number.hpp.

                                                                   :
    ext (p.x1), x (p.x2) {}

Member Function Documentation

pair< algebraic_extension<C> ,Ball> operator* ( ) const [inline]

Definition at line 54 of file algebraic_number.hpp.

References algebraic_number_extension< C, Ball >::ext, and algebraic_number_extension< C, Ball >::x.

                                                  {
    return pair<Extension,Ball> (ext, x); }

Member Data Documentation

algebraic_extension<C> ext

Definition at line 36 of file algebraic_number.hpp.

Referenced by mmx::abs(), algebraic_number_extension< C, Ball >::algebraic_number_extension(), algebraic_number_extension< C, Ball >::operator*(), and mmx::Re().

Ball x

Definition at line 37 of file algebraic_number.hpp.