[][src]Struct flag_algebra::operator::Basis

pub struct Basis<F> {
    pub size: usize,
    pub t: Type,
    // some fields omitted
}

The set of flags of size size and type t .get() returns an ordered vector containing all corresponding flags

Fields

size: usize

Number of vertices of the flags of the basis.

t: Type

Type of the flags of the basis.

Methods

impl<F: Flag> Basis<F>[src]

pub fn make(size: usize, t: Type) -> Self[src]

Constructor for a basis.

pub fn new(size: usize) -> Self[src]

Basis of flag with size vertices and without type.

pub fn with_size(&self, size: usize) -> Self[src]

Basis of flag with size vertices and same type as self.

pub fn with_type(&self, t: Type) -> Self[src]

Basis of flag with same size as self and type t.

pub fn without_type(&self) -> Self[src]

Basis of flag with same size as self without type t.

pub fn print_concise(&self) -> String[src]

Print the basis information in a short way

impl<F> Basis<F> where
    F: Flag
[src]

Constructing quantum graphs on a basis

pub fn zero<N>(self) -> QFlag<N, F> where
    N: Num + Clone
[src]

pub fn one<N>(self) -> QFlag<N, F> where
    N: Num + Clone
[src]

pub fn random<N>(self) -> QFlag<N, F> where
    N: From<i16>, 
[src]

pub fn flag_from_id<N>(self, id: usize) -> QFlag<N, F> where
    N: Num + Clone
[src]

pub fn flag_from_id_with_base_size<N>(
    self,
    id: usize,
    size: usize
) -> QFlag<N, F> where
    N: Num + Clone
[src]

pub fn flag<N>(self, f: &F) -> QFlag<N, F> where
    N: Num + Clone
[src]

pub fn from_vec<N>(self, vec: Vec<N>) -> QFlag<N, F>[src]

pub fn from_coeff<M, N, P>(&self, f: P) -> QFlag<N, F> where
    M: Into<N>,
    P: FnMut(&F, usize) -> M, 
[src]

pub fn from_indicator<N, P>(&self, f: P) -> QFlag<N, F> where
    N: One + Zero,
    P: FnMut(&F, usize) -> bool
[src]

pub fn all_cs(&self) -> Vec<MulAndUnlabeling<F>>[src]

Trait Implementations

impl<F: Flag> Savable<Vec<F>, F> for Basis<F>[src]

impl<F> Clone for Basis<F>[src]

impl<F> Copy for Basis<F>[src]

impl<F: Eq> Eq for Basis<F>[src]

impl<F: PartialEq> PartialEq<Basis<F>> for Basis<F>[src]

impl<F> Display for Basis<F>[src]

impl<F: Debug> Debug for Basis<F>[src]

impl<F: Flag> Div<Basis<F>> for Basis<F>[src]

type Output = Self

The resulting type after applying the / operator.

impl<F: Flag> Mul<Basis<F>> for Basis<F>[src]

type Output = Self

The resulting type after applying the * operator.

impl<F: Hash> Hash for Basis<F>[src]

impl<F> StructuralPartialEq for Basis<F>[src]

impl<F> StructuralEq for Basis<F>[src]

Auto Trait Implementations

impl<F> Send for Basis<F> where
    F: Send

impl<F> Sync for Basis<F> where
    F: Sync

impl<F> Unpin for Basis<F> where
    F: Unpin

impl<F> UnwindSafe for Basis<F> where
    F: UnwindSafe

impl<F> RefUnwindSafe for Basis<F> where
    F: RefUnwindSafe

Blanket Implementations

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> From<T> for T[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T> ToString for T where
    T: Display + ?Sized
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<SS, SP> SupersetOf<SS> for SP where
    SS: SubsetOf<SP>, 

impl<T> Same<T> for T[src]

type Output = T

Should always be Self

impl<V, T> VZip<V> for T where
    V: MultiLane<T>,