Module basic_sigbased_gb :: Class coeff_free_sigbased_gb

[frames] | no frames]

Class coeff_free_sigbased_gb

sigbased_gb --+
              |
             coeff_free_sigbased_gb

Known Subclasses:

arris_algorithm
, f5

Instance Methods

sigsafe_reduction(self, s, sigma, G, F, Syz)

source code

Inherited from sigbased_gb: basis_sig, incremental_basis, initialize_Syz, min_sig_degree, new_pair, prune_P, prune_S, sig_redundant, spoly, spoly_multipliers, subset, update_Syz

Method Details

sigsafe_reduction(self, s, sigma, G, F, Syz)

Overrides: sigbased_gb.sigsafe_reduction