libff::Double Class Reference

#include <double.hpp>

Collaboration diagram for libff::Double:

Public Member Functions
	Double ()
	Double (double real)
	Double (double real, double imag)
	Double (std::complex< double > num)
Double	operator+ (const Double &other) const
Double	operator- (const Double &other) const
Double	operator* (const Double &other) const
Double	operator- () const
Double &	operator+= (const Double &other)
Double &	operator-= (const Double &other)
Double &	operator*= (const Double &other)
bool	operator== (const Double &other) const
bool	operator!= (const Double &other) const
bool	operator< (const Double &other) const
bool	operator> (const Double &other) const
Double	operator^ (const libff::bigint< 1 > power) const
Double	operator^ (const size_t power) const
libff::bigint< 1 >	as_bigint () const
unsigned long	as_ulong () const
Double	inverse () const
Double	squared () const

Static Public Member Functions
static Double	one ()
static Double	zero ()
static Double	random_element ()
static Double	geometric_generator ()
static Double	arithmetic_generator ()

Public Attributes
std::complex< double >	val

Static Public Attributes
static unsigned	add_cnt = 0
static unsigned	sub_cnt = 0
static unsigned	mul_cnt = 0
static unsigned	inv_cnt = 0
static Double	multiplicative_generator = Double(2)
static Double	root_of_unity
static size_t	s

Detailed Description

Definition at line 21 of file double.hpp.

Constructor & Destructor Documentation

Double() [1/4]

libff::Double::Double

(

)

Definition at line 21 of file double.cpp.

{ val = std::complex<double>(0, 0); }

Here is the caller graph for this function:

Double() [2/4]

libff::Double::Double

(

double

real

)

Definition at line 23 of file double.cpp.

{ val = std::complex<double>(real, 0); }

Double() [3/4]

libff::Double::Double	(	double	real,
		double	imag
	)

Definition at line 25 of file double.cpp.

{
    val = std::complex<double>(real, imag);
}

Double() [4/4]

libff::Double::Double

(

std::complex< double >

num

)

Definition at line 30 of file double.cpp.

{ val = num; }

Member Function Documentation

arithmetic_generator()

Double libff::Double::arithmetic_generator ( )

static

Definition at line 159 of file double.cpp.

{ return Double(1); }

Here is the call graph for this function:

as_bigint()

libff::bigint< 1 > libff::Double::as_bigint

(

)

const

Definition at line 142 of file double.cpp.

{
    return libff::bigint<1>(val.real());
}

as_ulong()

unsigned long libff::Double::as_ulong

(

)

const

Definition at line 147 of file double.cpp.

{ return round(val.real()); }

geometric_generator()

Double libff::Double::geometric_generator ( )

static

Definition at line 157 of file double.cpp.

{ return Double(2); }

Here is the call graph for this function:

inverse()

Double libff::Double::inverse

(

)

const

Definition at line 133 of file double.cpp.

{
#ifdef PROFILE_OP_COUNTS
    ++inv_cnt;
#endif
 
    return Double(std::complex<double>(1) / val);
}

Here is the call graph for this function:

one()

Double libff::Double::one ( )

static

Definition at line 151 of file double.cpp.

{ return Double(1); }

Here is the call graph for this function:

operator!=()

bool libff::Double::operator!=

(

const Double &

other

)

const

Definition at line 108 of file double.cpp.

{
    return Double(val) == other ? 0 : 1;
}

Here is the call graph for this function:

operator*()

Double libff::Double::operator*

(

const Double &

other

)

const

Definition at line 55 of file double.cpp.

{
#ifdef PROFILE_OP_COUNTS
    ++mul_cnt;
#endif
 
    return Double(val * other.val);
}

Here is the call graph for this function:

operator*=()

Double & libff::Double::operator*=

(

const Double &

other

)

Definition at line 92 of file double.cpp.

{
#ifdef PROFILE_OP_COUNTS
    ++mul_cnt;
#endif
 
    this->val *= std::complex<double>(other.val);
    return *this;
}

operator+()

Double libff::Double::operator+

(

const Double &

other

)

const

Definition at line 37 of file double.cpp.

{
#ifdef PROFILE_OP_COUNTS
    ++add_cnt;
#endif
 
    return Double(val + other.val);
}

Here is the call graph for this function:

operator+=()

Double & libff::Double::operator+=

(

const Double &

other

)

Definition at line 72 of file double.cpp.

{
#ifdef PROFILE_OP_COUNTS
    ++add_cnt;
#endif
 
    this->val = std::complex<double>(val + other.val);
    return *this;
}

operator-() [1/2]

Double libff::Double::operator-

(

)

const

Definition at line 64 of file double.cpp.

{
    if (val.imag() == 0)
        return Double(-val.real());
 
    return Double(-val.real(), -val.imag());
}

Here is the call graph for this function:

operator-() [2/2]

Double libff::Double::operator-

(

const Double &

other

)

const

Definition at line 46 of file double.cpp.

{
#ifdef PROFILE_OP_COUNTS
    ++sub_cnt;
#endif
 
    return Double(val - other.val);
}

Here is the call graph for this function:

operator-=()

Double & libff::Double::operator-=

(

const Double &

other

)

Definition at line 82 of file double.cpp.

{
#ifdef PROFILE_OP_COUNTS
    ++sub_cnt;
#endif
 
    this->val = std::complex<double>(val - other.val);
    return *this;
}

operator<()

bool libff::Double::operator<

(

const Double &

other

)

const

Definition at line 113 of file double.cpp.

{
    return (val.real() < other.val.real());
}

operator==()

bool libff::Double::operator==

(

const Double &

other

)

const

Definition at line 102 of file double.cpp.

{
    return (std::abs(val.real() - other.val.real()) < 0.000001) &&
           (std::abs(val.imag() - other.val.imag()) < 0.000001);
}

operator>()

bool libff::Double::operator>

(

const Double &

other

)

const

Definition at line 118 of file double.cpp.

{
    return (val.real() > other.val.real());
}

operator^() [1/2]

Double libff::Double::operator^

(

const libff::bigint< 1 >

power

)

const

Definition at line 123 of file double.cpp.

{
    return Double(pow(val, power.as_ulong()));
}

Here is the call graph for this function:

operator^() [2/2]

Double libff::Double::operator^

(

const size_t

power

)

const

Definition at line 128 of file double.cpp.

{
    return Double(pow(val, power));
}

Here is the call graph for this function:

random_element()

Double libff::Double::random_element ( )

static

Definition at line 155 of file double.cpp.

{ return Double(std::rand() % 1001); }

Here is the call graph for this function:

squared()

Double libff::Double::squared

(

)

const

Definition at line 149 of file double.cpp.

{ return Double(val * val); }

Here is the call graph for this function:

zero()

Double libff::Double::zero ( )

static

Definition at line 153 of file double.cpp.

{ return Double(0); }

Here is the call graph for this function:

Member Data Documentation

add_cnt

unsigned libff::Double::add_cnt = 0

static

Definition at line 34 of file double.hpp.

inv_cnt

unsigned libff::Double::inv_cnt = 0

static

Definition at line 37 of file double.hpp.

mul_cnt

unsigned libff::Double::mul_cnt = 0

static

Definition at line 36 of file double.hpp.

multiplicative_generator

Double libff::Double::multiplicative_generator = Double(2)

static

Definition at line 68 of file double.hpp.

root_of_unity

Double libff::Double::root_of_unity

static

Definition at line 69 of file double.hpp.

s

size_t libff::Double::s

static

Definition at line 70 of file double.hpp.

sub_cnt

unsigned libff::Double::sub_cnt = 0

static

Definition at line 35 of file double.hpp.

val

std::complex<double> libff::Double::val

Definition at line 24 of file double.hpp.

---

The documentation for this class was generated from the following files:

• /home/runner/work/libff/libff/libff/common/double.hpp
• /home/runner/work/libff/libff/libff/common/double.cpp