Module basic_sigbased_gb :: Class ggv

[frames] | no frames]

Class ggv

sigbased_gb --+
              |
             ggv

Known Subclasses:

ggv_first_implementation

Instance Methods

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

source code

initialize_Syz(self, F, G)

source code

spoly(self, s, G)

source code

prune_P(self, P, Syz)

source code

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

source code

update_Syz(self, Syz, sigma, r)

source code

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

Method Details

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

Overrides: sigbased_gb.new_pair

initialize_Syz(self, F, G)

Overrides: sigbased_gb.initialize_Syz

spoly(self, s, G)

Overrides: sigbased_gb.spoly

prune_P(self, P, Syz)

Overrides: sigbased_gb.prune_P

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

Overrides: sigbased_gb.prune_S

update_Syz(self, Syz, sigma, r)

Overrides: sigbased_gb.update_Syz