Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | Static Public Attributes | Friends | List of all members
bb::UnivariateView< Fr, domain_end > Class Template Reference

A view of a univariate, also used to truncate univariates. More...

#include <univariate.hpp>

Public Types

using CoefficientAccumulator = UnivariateCoefficientBasis< Fr, MONOMIAL_LENGTH, true >
 

Public Member Functions

 UnivariateView ()=default
 
bool operator== (const UnivariateView &other) const
 
const Fr & value_at (size_t i) const
 
template<size_t full_domain_end>
 UnivariateView (const Univariate< Fr, full_domain_end > &univariate_in)
 
 operator UnivariateCoefficientBasis< Fr, 2, true > () const
 
Univariate< Fr, domain_end > operator+ (const UnivariateView &other) const
 
Univariate< Fr, domain_end > operator- (const UnivariateView &other) const
 
Univariate< Fr, domain_end > operator- () const
 
Univariate< Fr, domain_end > operator* (const UnivariateView &other) const
 
Univariate< Fr, domain_end > sqr () const
 
Univariate< Fr, domain_end > operator* (const Univariate< Fr, domain_end > &other) const
 
Univariate< Fr, domain_end > operator+ (const Univariate< Fr, domain_end > &other) const
 
Univariate< Fr, domain_end > operator+ (const Fr &other) const
 
Univariate< Fr, domain_end > operator- (const Fr &other) const
 
Univariate< Fr, domain_end > operator* (const Fr &other) const
 
Univariate< Fr, domain_end > operator- (const Univariate< Fr, domain_end > &other) const
 

Public Attributes

std::span< const Fr, LENGTH > evaluations
 

Static Public Attributes

static constexpr size_t LENGTH = domain_end
 
static constexpr size_t MONOMIAL_LENGTH = LENGTH > 1 ? 2 : 1
 

Friends

std::ostream & operator<< (std::ostream &os, const UnivariateView &u)
 

Detailed Description

template<class Fr, size_t domain_end>
class bb::UnivariateView< Fr, domain_end >

A view of a univariate, also used to truncate univariates.

For optimization purposes, it makes sense to define univariates with large lengths and then reuse only some of the data in those univariates. We do that by taking a view of those elements and then, as needed, using this to populate new containers.

Definition at line 571 of file univariate.hpp.

Member Typedef Documentation

◆ CoefficientAccumulator

template<class Fr , size_t domain_end>
using bb::UnivariateView< Fr, domain_end >::CoefficientAccumulator = UnivariateCoefficientBasis<Fr, MONOMIAL_LENGTH, true>

Definition at line 576 of file univariate.hpp.

Constructor & Destructor Documentation

◆ UnivariateView() [1/2]

template<class Fr , size_t domain_end>
bb::UnivariateView< Fr, domain_end >::UnivariateView ( )
default

◆ UnivariateView() [2/2]

template<class Fr , size_t domain_end>
template<size_t full_domain_end>
bb::UnivariateView< Fr, domain_end >::UnivariateView ( const Univariate< Fr, full_domain_end > &  univariate_in)
inlineexplicit

Definition at line 593 of file univariate.hpp.

Member Function Documentation

◆ operator UnivariateCoefficientBasis< Fr, 2, true >()

template<class Fr , size_t domain_end>
bb::UnivariateView< Fr, domain_end >::operator UnivariateCoefficientBasis< Fr, 2, true > ( ) const
inlineexplicit

Definition at line 596 of file univariate.hpp.

◆ operator*() [1/3]

template<class Fr , size_t domain_end>
Univariate< Fr, domain_end > bb::UnivariateView< Fr, domain_end >::operator* ( const Fr &  other) const
inline

Definition at line 673 of file univariate.hpp.

◆ operator*() [2/3]

template<class Fr , size_t domain_end>
Univariate< Fr, domain_end > bb::UnivariateView< Fr, domain_end >::operator* ( const Univariate< Fr, domain_end > &  other) const
inline

Definition at line 645 of file univariate.hpp.

◆ operator*() [3/3]

template<class Fr , size_t domain_end>
Univariate< Fr, domain_end > bb::UnivariateView< Fr, domain_end >::operator* ( const UnivariateView< Fr, domain_end > &  other) const
inline

Definition at line 632 of file univariate.hpp.

◆ operator+() [1/3]

template<class Fr , size_t domain_end>
Univariate< Fr, domain_end > bb::UnivariateView< Fr, domain_end >::operator+ ( const Fr &  other) const
inline

Definition at line 659 of file univariate.hpp.

◆ operator+() [2/3]

template<class Fr , size_t domain_end>
Univariate< Fr, domain_end > bb::UnivariateView< Fr, domain_end >::operator+ ( const Univariate< Fr, domain_end > &  other) const
inline

Definition at line 652 of file univariate.hpp.

◆ operator+() [3/3]

template<class Fr , size_t domain_end>
Univariate< Fr, domain_end > bb::UnivariateView< Fr, domain_end >::operator+ ( const UnivariateView< Fr, domain_end > &  other) const
inline

Definition at line 609 of file univariate.hpp.

◆ operator-() [1/4]

template<class Fr , size_t domain_end>
Univariate< Fr, domain_end > bb::UnivariateView< Fr, domain_end >::operator- ( ) const
inline

Definition at line 623 of file univariate.hpp.

◆ operator-() [2/4]

template<class Fr , size_t domain_end>
Univariate< Fr, domain_end > bb::UnivariateView< Fr, domain_end >::operator- ( const Fr &  other) const
inline

Definition at line 666 of file univariate.hpp.

◆ operator-() [3/4]

template<class Fr , size_t domain_end>
Univariate< Fr, domain_end > bb::UnivariateView< Fr, domain_end >::operator- ( const Univariate< Fr, domain_end > &  other) const
inline

Definition at line 680 of file univariate.hpp.

◆ operator-() [4/4]

template<class Fr , size_t domain_end>
Univariate< Fr, domain_end > bb::UnivariateView< Fr, domain_end >::operator- ( const UnivariateView< Fr, domain_end > &  other) const
inline

Definition at line 616 of file univariate.hpp.

◆ operator==()

template<class Fr , size_t domain_end>
bool bb::UnivariateView< Fr, domain_end >::operator== ( const UnivariateView< Fr, domain_end > &  other) const
inline

Definition at line 580 of file univariate.hpp.

◆ sqr()

template<class Fr , size_t domain_end>
Univariate< Fr, domain_end > bb::UnivariateView< Fr, domain_end >::sqr ( ) const
inline

Definition at line 638 of file univariate.hpp.

◆ value_at()

template<class Fr , size_t domain_end>
const Fr & bb::UnivariateView< Fr, domain_end >::value_at ( size_t  i) const
inline

Definition at line 590 of file univariate.hpp.

Friends And Related Symbol Documentation

◆ operator<<

template<class Fr , size_t domain_end>
std::ostream & operator<< ( std::ostream &  os,
const UnivariateView< Fr, domain_end > &  u 
)
friend

Definition at line 688 of file univariate.hpp.

Member Data Documentation

◆ evaluations

template<class Fr , size_t domain_end>
std::span<const Fr, LENGTH> bb::UnivariateView< Fr, domain_end >::evaluations

Definition at line 574 of file univariate.hpp.

◆ LENGTH

template<class Fr , size_t domain_end>
constexpr size_t bb::UnivariateView< Fr, domain_end >::LENGTH = domain_end
staticconstexpr

Definition at line 573 of file univariate.hpp.

◆ MONOMIAL_LENGTH

template<class Fr , size_t domain_end>
constexpr size_t bb::UnivariateView< Fr, domain_end >::MONOMIAL_LENGTH = LENGTH > 1 ? 2 : 1
staticconstexpr

Definition at line 575 of file univariate.hpp.

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