Module basic_sigbased_gb :: Class f5z

Class f5z

       sigbased_gb --+        
                     |        
coeff_free_sigbased_gb --+    
                         |    
                        f5 --+
                             |
                            f5z

Instance Methods

[hide private]

update_Syz(self, Syz, sigma, r)

source code

Inherited from f5: initialize_Syz, new_pair, prune_P, prune_S, spoly

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]

update_Syz(self, Syz, sigma, r)

source code

Overrides: sigbased_gb.update_Syz