Struct MultilinearExtensionIndex

pub struct MultilinearExtensionIndex<'a, U, FW>
where
    U: UnderlierType + PackScalar<FW>,
    FW: Field,
{ /* private fields */ }

Data structure that indexes multilinear extensions by oracle ID.

A crate::oracle::MultilinearOracleSet indexes multilinear polynomial oracles by assigning unique, sequential oracle IDs. The caller can get the MultilinearExtension defined natively over a subfield. This is possible because the MultilinearExtensionIndex::get method is generic over the subfield type and the struct itself only stores the underlying data.

Implementations

impl<'a, U, FW> MultilinearExtensionIndex<'a, U, FW>

where U: UnderlierType + PackScalar<FW>, FW: Field,

pub fn new() -> Self

pub fn get_multilin_poly( &self, id: OracleId, ) -> Result<MultilinearWitness<'a, PackedType<U, FW>>, Error>

pub fn has(&self, id: OracleId) -> bool

Whether has data for the given oracle id.

pub fn update_multilin_poly( &mut self, witnesses: impl IntoIterator<Item = (OracleId, MultilinearWitness<'a, PackedType<U, FW>>)>, ) -> Result<(), Error>

pub fn get<FS>( &self, id: OracleId, ) -> Result<MultilinearExtensionBorrowed<'_, PackedType<U, FS>>, Error>

where FS: TowerField, FW: ExtensionField<FS>, U: PackScalar<FS>,

TODO: Remove once PCS no longer needs this

Trait Implementations

impl<'a, U, FW> Debug for MultilinearExtensionIndex<'a, U, FW>

where U: UnderlierType + PackScalar<FW> + Debug, FW: Field + Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a, U, FW> Default for MultilinearExtensionIndex<'a, U, FW>

where U: UnderlierType + PackScalar<FW> + Default, FW: Field + Default,

fn default() -> MultilinearExtensionIndex<'a, U, FW>

Returns the “default value” for a type.