<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-00706852</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-22T18:55:49+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Fast algorithm for change of ordering of zero-dimensional Gröbner bases with sparse multiplication matrices</title>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Charles</forename>
                <surname>Faugère</surname>
              </persName>
              <email type="md5">424972c8b3e59f15dec87335bdbaf554</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">faugere</idno>
              <idno type="idhal" notation="numeric">19366</idno>
              <idno type="halauthorid" notation="string">2141-19366</idno>
              <idno type="IDREF">https://www.idref.fr/090173449</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/COI-0285-2022</idno>
              <affiliation ref="#struct-2438"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Chenqi</forename>
                <surname>Mou</surname>
              </persName>
              <email type="md5">596b3c7ebe19576e37124ff525414e9d</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="numeric">926190</idno>
              <idno type="halauthorid" notation="string">641194-926190</idno>
              <affiliation ref="#struct-194036"/>
              <affiliation ref="#struct-2438"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Chenqi</forename>
                <surname>Mou</surname>
              </persName>
              <email type="md5">596b3c7ebe19576e37124ff525414e9d</email>
              <email type="domain">gmail.com</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2012-06-11 16:11:01</date>
              <date type="whenModified">2025-02-26 15:24:03</date>
              <date type="whenReleased">2012-06-11 16:11:01</date>
              <date type="whenProduced">2011-06-07</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="165322">
                <persName>
                  <forename>Chenqi</forename>
                  <surname>Mou</surname>
                </persName>
                <email type="md5">596b3c7ebe19576e37124ff525414e9d</email>
                <email type="domain">gmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00706852</idno>
            <idno type="halUri">https://hal.sorbonne-universite.fr/hal-00706852</idno>
            <idno type="halBibtex">faugere:hal-00706852</idno>
            <idno type="halRefHtml">&lt;i&gt;ISSAC 2011 - International Symposium on Symbolic and Algebraic Computation&lt;/i&gt;, Jun 2011, San Jose, United States. pp.115-122, &lt;a target="_blank" href="https://dx.doi.org/10.1145/1993886.1993908"&gt;&amp;#x27E8;10.1145/1993886.1993908&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">ISSAC 2011 - International Symposium on Symbolic and Algebraic Computation, Jun 2011, San Jose, United States. pp.115-122, &amp;#x27E8;10.1145/1993886.1993908&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UPMC" corresp="SORBONNE-UNIVERSITE">Université Pierre et Marie Curie</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INRIA-ROCQ">INRIA Paris - Rocquencourt</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="UPMC_POLE_1" corresp="UPMC">UPMC Pôle 1</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Fast algorithm for change of ordering of zero-dimensional Gröbner bases with sparse multiplication matrices</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Charles</forename>
                    <surname>Faugère</surname>
                  </persName>
                  <email type="md5">424972c8b3e59f15dec87335bdbaf554</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">faugere</idno>
                  <idno type="idhal" notation="numeric">19366</idno>
                  <idno type="halauthorid" notation="string">2141-19366</idno>
                  <idno type="IDREF">https://www.idref.fr/090173449</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/COI-0285-2022</idno>
                  <affiliation ref="#struct-2438"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Chenqi</forename>
                    <surname>Mou</surname>
                  </persName>
                  <email type="md5">596b3c7ebe19576e37124ff525414e9d</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="numeric">926190</idno>
                  <idno type="halauthorid" notation="string">641194-926190</idno>
                  <affiliation ref="#struct-194036"/>
                  <affiliation ref="#struct-2438"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Proceedings of the 36th international symposium on Symbolic and algebraic computation</title>
                <meeting>
                  <title>ISSAC 2011 - International Symposium on Symbolic and Algebraic Computation</title>
                  <date type="start">2011-06-07</date>
                  <date type="end">2011-06-09</date>
                  <settlement>San Jose</settlement>
                  <country key="US">United States</country>
                </meeting>
                <imprint>
                  <publisher>ACM</publisher>
                  <biblScope unit="pp">115-122</biblScope>
                  <date type="datePub">2011-06-07</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1145/1993886.1993908</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Sakata algorithm</term>
                <term xml:lang="en">Wiedemann algorithm</term>
                <term xml:lang="en">Sparse matrix</term>
                <term xml:lang="en">Zero-dimensional ideals</term>
                <term xml:lang="en">Change of ordering</term>
                <term xml:lang="en">Gröbner bases</term>
              </keywords>
              <classCode scheme="halDomain" n="scco.comp">Cognitive science/Computer science</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Let I in K[x1,...,xn] be a 0-dimensional ideal of degree D where K is a field. It is well-known that obtaining efficient algorithms for change of ordering of Gröbner bases of I is crucial in polynomial system solving. Through the algorithm FGLM, this task is classically tackled by linear algebra operations in K[x1,...,xn]/I. With recent progress on Gröbner bases computations, this step turns out to be the bottleneck of the whole solving process. Our contribution is an algorithm that takes advantage of the sparsity structure of multiplication matrices appearing during the change of ordering. This sparsity structure arises even when the input polynomial system defining I is dense. As a by-product, we obtain an implementation which is able to manipulate 0-dimensional ideals over a prime field of degree greater than 30000. It outperforms the Magma/Singular/FGb implementations of FGLM. First, we investigate the particular but important shape position case. The obtained algorithm performs the change of ordering within a complexity O(D(N1+nlog(D))), where N1 is the number of nonzero entries of a multiplication matrix. This almost matches the complexity of computing the minimal polynomial of one multiplication matrix. Then, we address the general case and give corresponding complexity results. Our algorithm is dynamic in the sense that it selects automatically which strategy to use depending on the input. Its key ingredients are the Wiedemann algorithm to handle 1-dimensional linear recurrence (for the shape position case), and the Berlekamp-Massey-Sakata algorithm from Coding Theory to handle multi-dimensional linearly recurring sequences in the general case.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-2438" status="OLD">
          <idno type="RNSR">200518334L</idno>
          <orgName>Solvers for Algebraic Systems and Applications</orgName>
          <orgName type="acronym">SALSA</orgName>
          <date type="start">2008-01-01</date>
          <date type="end">2011-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-233" type="direct"/>
            <relation active="#struct-93591" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
            <relation active="#struct-86790" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-194036" status="INCOMING">
          <orgName>LMIB - SKLSDE - SMSS</orgName>
          <desc>
            <address>
              <country key="CN"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-411674" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-233" status="OLD">
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>Laboratoire d'Informatique de Paris 6</orgName>
          <orgName type="acronym">LIP6</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lip6.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-93591" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-93591" status="OLD">
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Université Pierre et Marie Curie - Paris 6</orgName>
          <orgName type="acronym">UPMC</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 place Jussieu - 75005 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.upmc.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-86790" status="OLD">
          <orgName>Inria Paris-Rocquencourt</orgName>
          <date type="end">2016-03-30</date>
          <desc>
            <address>
              <addrLine>INRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/paris-rocquencourt</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-411674" status="VALID">
          <idno type="ROR">https://ror.org/00wk2mp56</idno>
          <orgName>Beihang University</orgName>
          <orgName type="acronym">BUAA</orgName>
          <desc>
            <address>
              <addrLine>Beijing 100083 PR China</addrLine>
              <country key="CN"/>
            </address>
            <ref type="url">https://ev.buaa.edu.cn/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>