Struct SyzygyModule 

pub struct SyzygyModule {
    pub generators: Vec<Syzygy>,
    pub rank: usize,
}

The first syzygy module Syz(f_1,…,f_s).

Computed via the Schreyer algorithm (lift of S-pairs to the free module).

Fields

generators: Vec<Syzygy>

The generators of the syzygy module (each is a Syzygy).

rank: usize

Number of module generators (= number of f_i’s).

Implementations

impl SyzygyModule

pub fn compute(polys: &[Polynomial]) -> Self

Compute the first syzygy module of the polynomials using the Schreyer algorithm.

pub fn num_generators(&self) -> usize

Number of syzygy generators.

Trait Implementations

impl Clone for SyzygyModule

fn clone(&self) -> SyzygyModule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SyzygyModule

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

Formats the value using the given formatter.