Difference between revisions of "ApCoCoA-1:BBF.Explanation of BBF variables and structures"
(Description update.) |
m (replaced <quotes> tag by real quotes) |
||
| (11 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
| + | {{Version|1}} | ||
<command> | <command> | ||
| − | <title>BBF. | + | <title>BBF.Explanation of BBF variables and structures</title> |
| − | <short_description> | + | <short_description>Explanation of the variables and structures used in the Border Basis Framework.</short_description> |
| − | |||
<description> | <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. | |
| − | + | <itemize> | |
| − | + | <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> | |
| − | + | <item><em>W'</em> Set of polynomials with pairwise different leading terms; represents a linear basis extension of V.</item> | |
| − | + | <item><em>O</em> Order ideal consisting of elements U \ { LT(v) : v in V }.</item> | |
| − | + | </itemize> | |
| − | + | Please see [1] for additional information regarding the Border Basis Algorithm. | |
| − | |||
| − | |||
| − | |||
| − | Please see [ | ||
| − | |||
<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 | ||
| − | |||
</description> | </description> | ||
| − | <see> | + | <see>ApCoCoA-1:BBF.RetrieveOGenerators|BBF.RetrieveOGenerators</see> |
| − | <wiki-category>Package_bbf</wiki-category> | + | <see>ApCoCoA-1:BBF.RetrieveUGenerators|BBF.RetrieveUGenerators</see> |
| + | <see>ApCoCoA-1:BBF.RetrieveV|BBF.RetrieveV</see> | ||
| + | <see>ApCoCoA-1:BBF.RetrieveVLTs|BBF.RetrieveVLTs</see> | ||
| + | <see>ApCoCoA-1:BBF.RetrieveVPolysWithTermInSupport|BBF.RetrieveVPolysWithTermInSupport</see> | ||
| + | <see>ApCoCoA-1:BBF.RetrieveWPrime|BBF.RetrieveWPrime</see> | ||
| + | <see>ApCoCoA-1:BBF.RetrieveWPrimeLTs|BBF.RetrieveWPrimeLTs</see> | ||
| + | <wiki-category>ApCoCoA-1:Package_bbf</wiki-category> | ||
</command> | </command> | ||
Latest revision as of 13:27, 29 October 2020
| This article is about a function from ApCoCoA-1. |
BBF.Explanation of BBF variables and structures
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.RetrieveVPolysWithTermInSupport
