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 577 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 582 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 599 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 606 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 683 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 655 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 642 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 669 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 662 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 619 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 633 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 676 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 690 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 626 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 586 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 648 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 596 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 698 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 580 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 579 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 581 of file univariate.hpp.

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