Difference between revisions of "ApCoCoA-1:BBF.Explanation of BBF variables and structures"
From ApCoCoAWiki
m (ApCoCoA:BBF.BBFOverview moved to ApCoCoA:BBF.OverviewAndExplanations: Title change.) |
m (ApCoCoA:BBF.OverviewAndExplanations moved to ApCoCoA:BBF.Overview: Name change (again).) |
(No difference)
|
Revision as of 13:52, 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.
Example
...