Module basic_sigbased_gb :: Class f5

[frames] | no frames]

Class f5

       sigbased_gb --+    
                     |    
coeff_free_sigbased_gb --+
                         |
                        f5

Known Subclasses:

f5z

Instance Methods

initialize_Syz(self, F, G)

source code

update_Syz(self, Syz, sigma, r)

source code

prune_P(self, P, Syz)

source code

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

source code

new_pair(self, sig, p, q, G)

source code

spoly(self, s, G)

source code

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

initialize_Syz(self, F, G)

Overrides: sigbased_gb.initialize_Syz

update_Syz(self, Syz, sigma, r)

Overrides: sigbased_gb.update_Syz

prune_P(self, P, Syz)

Overrides: sigbased_gb.prune_P

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

Overrides: sigbased_gb.prune_S

new_pair(self, sig, p, q, G)

Overrides: sigbased_gb.new_pair

spoly(self, s, G)

Overrides: sigbased_gb.spoly