binius_field

Module packed_extension

source

Traitsยง

  • Trait represents a relationship between a packed struct of field elements and a smaller packed struct the same field elements.
  • The trait represents the relation between the packed fields of the same bit size where one scalar is the extension of the other one.
  • This trait adds shortcut methods for the case PackedExtension<F, PackedSubfield: PackedFieldIndexable> which is a quite common case in our codebase.
  • A PackedField that can be safely cast to indexable slices of scalars.
  • This trait is a shorthand for the case PackedExtension<P::Scalar, PackedSubfield = P> which is a quite common case in our codebase.