Module basic_sigbased_gb :: Class f5z
[hide private]
[frames] | no frames]

Class f5z

source code

       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