2013
DOI: 10.1016/j.jsc.2013.08.002
|View full text |Cite
|
Sign up to set email alerts
|

Involutive bases algorithm incorporating F5 criterion

Abstract: Faugère's F5 algorithm [13] is the fastest known algorithm to compute Gröbner bases. It has a signature-based and an incremental structure that allow to apply the F5 criterion for deletion of unnecessary reductions. In this paper, we present an involutive completion algorithm which outputs a minimal involutive basis. Our completion algorithm has a nonincremental structure and in addition to the involutive form of Buchberger's criteria it applies the F5 criterion whenever this criterion is applicable in the cou… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
10
0

Year Published

2016
2016
2025
2025

Publication Types

Select...
4
2

Relationship

2
4

Authors

Journals

citations
Cited by 9 publications
(10 citation statements)
references
References 23 publications
(80 reference statements)
0
10
0
Order By: Relevance
“…Hospital Financial Data Based on Noekeon Algorithm e encryption and decryption structure of Noekeon algorithm are very similar, and each basic module algorithm is matched. [7].…”
Section: Design Of Hybrid Encryption Scheme Ofmentioning
confidence: 99%
“…Hospital Financial Data Based on Noekeon Algorithm e encryption and decryption structure of Noekeon algorithm are very similar, and each basic module algorithm is matched. [7].…”
Section: Design Of Hybrid Encryption Scheme Ofmentioning
confidence: 99%
“…involutive bases [54,55] (2013) AP [3] (2009) GVW(HS) [48,49,83] (2011) on solvable algebras [81] (2012) SB [70] (2012) SSG [44] (2012) G2V [46] (2010) GVW(v1) [47] (2010) iG2V [26] (2012)…”
Section: Invariant (Group Action)mentioning
confidence: 99%
“…Moreover, there are first works in using signature-based criteria for computing involutive bases ( [54,55]).…”
Section: Algorithmic Property 83mentioning
confidence: 99%
“…In this section, by using the algorithm described in Section 3, we show how one can incorporate an involutive version of Hilbert driven strategy to improve this algorithm. compare behavior of InvolutiveBasis and HDQuasiStable algorithms with Gerdt et al [17] and QuasiStable [24] algorithms, respectively (we shall remark that QuasiStable has the same structure as the HDQuasiStable, however to compute Janet bases we use Gerdt's algorithm). For this purpose, we used some well-known examples from computer algebra literature.…”
Section: Hilbert Driven Pommaret Bases Computationsmentioning
confidence: 99%
“…
In this paper, we describe improved algorithms to compute Janet and Pommaret bases. To this end, based on the method proposed by Möller et al [21], we present a more efficient variant of Gerdt's algorithm (than the algorithm presented in [17]) to compute minimal involutive bases. Further, by using the involutive version of Hilbert driven technique, along with the new variant of Gerdt's algorithm, we modify the algorithm, given in [24], to compute a linear change of coordinates for a given homogeneous ideal so that the new ideal (after performing this change) possesses a finite Pommaret basis.
…”
mentioning
confidence: 99%