Difference between revisions of "ApCoCoA-1:BBF.Explanation of BBF variables and structures"

From ApCoCoAWiki
(Description update.)
Line 1: Line 1:
 
<command>
 
<command>
 
   <title>BBF.BBFOverview</title>
 
   <title>BBF.BBFOverview</title>
   <short_description>An overview of the Border Basis Framework.</short_description>
+
   <short_description>Explanation of the variables and structures used in the Border Basis Framework.</short_description>
  <syntax>...</syntax>
 
 
   <description>
 
   <description>
The naming convention for the structures used during a computation is as follows.
+
To be able to use all the features of the Border Basis Framework you should be familiar with the notion of the Border Basis Algorithm as it is described in [1]. During a border basis computation you can query the ApCoCoABBFServer for information about certain variables and structures. The following list provides an overview of all available objects and explains their meaning.
 
+
<itemize>
   STRUCTURE    MEANING
+
   <item><em>U</em> Order ideal; so called computing universe; named "L" in [1].</item>
  --------------------------------------------------------------------------
+
  <item><em>V</em> Set of polynomials with pairwise different leading terms; represents a linear basis.</item>
    U           Order ideal; so called computing universe; named "L" in [1].
+
  <item><em>W'</em> Set of polynomials with pairwise different leading terms; represents a linear basis extension of V.</item>
    V           Set of polynomials with pairwise different leading terms;
+
  <item><em>O</em> Order ideal consisting of elements U \ { LT(v) : v in V }.</item>
                represents a linear basis.
+
</itemize>
    W'         Set of polynomials with pairwise different leading terms;
+
Please see [1] for additional information regarding the Border Basis Algorithm.
                represents a linear basis extension of V.
 
    O           Order ideal consisting of elements U \ { LT(v) : v in V }.
 
 
 
Please see [http://staff.fim.uni-passau.de/kreuzer/papers/algbb.pdf A. Kehrein und M. Kreuzer: Computing border bases] for additional information regarding the Border Basis Algorithm.
 
 
 
 
<par/>
 
<par/>
 
References: [1] A. Kehrein und M. Kreuzer, Computing border bases, J. Pure Appl. Alg. 205 (2006), S. 279 - 295
 
References: [1] A. Kehrein und M. Kreuzer, Computing border bases, J. Pure Appl. Alg. 205 (2006), S. 279 - 295
  <example>...</example>
 
 
   </description>
 
   </description>
 +
  <see>BBF.RetrieveOGenerators</see>
 +
  <see>BBF.RetrieveUGenerators</see>
 +
  <see>BBF.RetrieveV</see>
 +
  <see>BBF.RetrieveVLTs</see>
 +
  <see>BBF.RetrieveVPolysWithTermInSupport</see>
 +
  <see>BBF.RetrieveWPrime</see>
 +
  <see>BBF.RetrieveWPrimeLTs</see>
 
   <see>BB.BBasis</see>
 
   <see>BB.BBasis</see>
 
   <wiki-category>Package_bbf</wiki-category>
 
   <wiki-category>Package_bbf</wiki-category>
 
</command>
 
</command>

Revision as of 15:25, 23 April 2009

BBF.BBFOverview

Explanation of the variables and structures used in the Border Basis Framework.

Description

To be able to use all the features of the Border Basis Framework you should be familiar with the notion of the Border Basis Algorithm as it is described in [1]. During a border basis computation you can query the ApCoCoABBFServer for information about certain variables and structures. The following list provides an overview of all available objects and explains their meaning.

  • U Order ideal; so called computing universe; named "L" in [1].

  • V Set of polynomials with pairwise different leading terms; represents a linear basis.

  • W' Set of polynomials with pairwise different leading terms; represents a linear basis extension of V.

  • O Order ideal consisting of elements U \ { LT(v) : v in V }.

Please see [1] for additional information regarding the Border Basis Algorithm.

References: [1] A. Kehrein und M. Kreuzer, Computing border bases, J. Pure Appl. Alg. 205 (2006), S. 279 - 295

BBF.RetrieveOGenerators

BBF.RetrieveUGenerators

BBF.RetrieveV

BBF.RetrieveVLTs

BBF.RetrieveVPolysWithTermInSupport

BBF.RetrieveWPrime

BBF.RetrieveWPrimeLTs

BB.BBasis