Struct AffineSubspace 

pub struct AffineSubspace {
    offset: FpVector,
    linear_part: Subspace,
}

Fields

offset: FpVector

linear_part: Subspace

Implementations

impl AffineSubspace

pub fn new(offset: FpVector, linear_part: Subspace) -> Self

pub fn offset(&self) -> &FpVector

pub fn linear_part(&self) -> &Subspace

pub fn sum(&self, other: &Self) -> Self

pub fn contains(&self, vector: FpSlice<'_>) -> bool

pub fn contains_space(&self, other: &Self) -> bool

Trait Implementations

impl Clone for AffineSubspace

fn clone(&self) -> AffineSubspace

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AffineSubspace

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

Formats the value using the given formatter.

impl Display for AffineSubspace

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

Example

let linear_part = Subspace::from_matrix(Matrix::from_vec(TWO, &[vec![0, 1, 0], vec![0, 0, 1]]));
let offset = FpVector::from_slice(TWO, &[1, 0, 0]);
let subspace = AffineSubspace::new(offset, linear_part);

assert_eq!(
    format!("{}", subspace),
    "[1, 0, 0] + {[0, 1, 0], [0, 0, 1]}"
);

impl From<Subspace> for AffineSubspace

fn from(subspace: Subspace) -> Self

Converts to this type from the input type.

impl PartialEq for AffineSubspace

fn eq(&self, other: &AffineSubspace) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for AffineSubspace

impl StructuralPartialEq for AffineSubspace