Module basic_sigbased_gb :: Class min_size_mons

Class min_size_mons

       sigbased_gb --+        
                     |        
coeff_free_sigbased_gb --+    
                         |    
           arris_algorithm --+
                             |
                            min_size_mons

Instance Methods

[hide private]

prune_S(self, S, Syz, Done, G)

source code

Inherited from arris_algorithm: initialize_Syz, new_pair, prune_P, spoly, update_Syz

Inherited from coeff_free_sigbased_gb: sigsafe_reduction

Inherited from sigbased_gb: basis_sig, incremental_basis, min_sig_degree, sig_redundant, spoly_multipliers, subset

Method Details

[hide private]

prune_S(self, S, Syz, Done, G)

source code

Overrides: sigbased_gb.prune_S