Difference between revisions of "ApCoCoA-1:BBF.RetrieveBorderBasis"

From ApCoCoAWiki
(Key and see section update.)
m (insert version info)
 
(12 intermediate revisions by 4 users not shown)
Line 1: Line 1:
 +
{{Version|1}}
 
<command>
 
<command>
    <title>BBF.RetrieveBorderBasis</title>
+
  <title>BBF.RetrieveBorderBasis</title>
    <short_description>Retrieve computed border basis.</short_description>
+
  <short_description>Retrieves a computed border basis.</short_description>
 +
 
 
<syntax>
 
<syntax>
 
BBF.RetrieveBorderBasis():LIST
 
BBF.RetrieveBorderBasis():LIST
 
</syntax>
 
</syntax>
    <description>
+
  <description>
Retrieve the computed border basis from the ApCoCoABBFServer. Please note that in order to use this function you have to start the ApCoCoABBFServer.
+
<em>Please note:</em> The function(s) explained on this page is/are using the <em>ApCoCoABBFServer</em>. You will have to start the ApCoCoABBFServer in order to use it/them.
 +
<par/>
 +
This command retrieves the computed border basis from the ApCoCoABBFServer.
 +
 
 
<itemize>
 
<itemize>
 
   <item>@return List of border basis polynomials.</item>
 
   <item>@return List of border basis polynomials.</item>
 
</itemize>
 
</itemize>
 
<example>
 
<example>
Use Z/(32003)[x, y, z],DegLex;
+
Use ZZ/(32003)[x, y, z],DegLex;
 
I:=Ideal(-4*x^2 + 1, -4*y^2 - 1, 5*z^2);
 
I:=Ideal(-4*x^2 + 1, -4*y^2 - 1, 5*z^2);
 
BBF.Init(I);
 
BBF.Init(I);
Line 21: Line 26:
 
[z^2, y^2 + 8001, x^2 - 8001, yz^2, y^2z + 8001z, xz^2, xy^2 + 8001x, x^2z - 8001z, x^2y - 8001y, xyz^2, xy^2z + 8001xz, x^2yz - 8001yz]
 
[z^2, y^2 + 8001, x^2 - 8001, yz^2, y^2z + 8001z, xz^2, xy^2 + 8001x, x^2z - 8001z, x^2y - 8001y, xyz^2, xy^2z + 8001xz, x^2yz - 8001yz]
 
</example>
 
</example>
    </description>
+
  </description>
    <see>Border Basis Framework overview</see>
+
  <see>ApCoCoA-1:BBF.RetrieveBorderBasisLTs|BBF.RetrieveBorderBasisLTs</see>
    <see>BBF.RetrieveBorderBasisLTs</see>
+
  <see>ApCoCoA-1:BBF.RetrieveBorderBasisPolyByLT|BBF.RetrieveBorderBasisPolyByLT</see>
    <see>BBF.RetrieveBorderBasisPolyByLT</see>
+
  <see>ApCoCoA-1:BB.BBasis|BB.BBasis</see>
    <see>BB.BBasis</see>
+
  <types>
     <key>RetrieveBorderBasis</key>
+
     <type>borderbasis</type>
    <key>BBF.RetrieveBorderBasis</key>
+
  </types>
    <key>bbf.RetrieveBorderBasis</key>
+
  <key>RetrieveBorderBasis</key>
    <wiki-category>Package_bbf</wiki-category>
+
  <key>BBF.RetrieveBorderBasis</key>
 +
  <wiki-category>ApCoCoA-1:Package_bbf</wiki-category>
 
</command>
 
</command>

Latest revision as of 09:47, 7 October 2020

This article is about a function from ApCoCoA-1.

BBF.RetrieveBorderBasis

Retrieves a computed border basis.

Syntax

BBF.RetrieveBorderBasis():LIST

Description

Please note: The function(s) explained on this page is/are using the ApCoCoABBFServer. You will have to start the ApCoCoABBFServer in order to use it/them.

This command retrieves the computed border basis from the ApCoCoABBFServer.

  • @return List of border basis polynomials.

Example

Use ZZ/(32003)[x, y, z],DegLex;
I:=Ideal(-4*x^2 + 1, -4*y^2 - 1, 5*z^2);
BBF.Init(I);
BBF.Finish();
-- After computation has finished:
BBF.RetrieveBorderBasis();

Output:
[z^2, y^2 + 8001, x^2 - 8001, yz^2, y^2z + 8001z, xz^2, xy^2 + 8001x, x^2z - 8001z, x^2y - 8001y, xyz^2, xy^2z + 8001xz, x^2yz - 8001yz]

BBF.RetrieveBorderBasisLTs

BBF.RetrieveBorderBasisPolyByLT

BB.BBasis