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

From ApCoCoAWiki
m (ApCoCoA:BBF.Overview moved to ApCoCoA:BBF.MeaningOfVariables: Name change (again).)
(Description update.)
Line 16: Line 16:
  
 
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.
 
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/>
 +
References: [1] A. Kehrein und M. Kreuzer, Computing border bases, J. Pure Appl. Alg. 205 (2006), S. 279 - 295
 
   <example>...</example>
 
   <example>...</example>
 
   </description>
 
   </description>

Revision as of 14:44, 23 April 2009

BBF.BBFOverview

An overview of the Border Basis Framework.

Syntax

...

Description

The naming convention for the structures used during a computation is as follows.

 STRUCTURE     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 A. Kehrein und M. Kreuzer: Computing border bases 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

Example

...

BB.BBasis