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

From ApCoCoAWiki
m (insert version info)
 
(12 intermediate revisions by 3 users not shown)
Line 1: Line 1:
 +
{{Version|1}}
 
<command>
 
<command>
    <title>BBF.RetrieveVLTs</title>
+
  <title>BBF.RetrieveVLTs</title>
    <short_description>Retrieve leading terms of polynomials of V.</short_description>
+
  <short_description>Retrieve leading terms of polynomials of V.</short_description>
 +
 
 
<syntax>
 
<syntax>
 
BBF.RetrieveVLTs():LIST
 
BBF.RetrieveVLTs():LIST
 
BBF.RetrieveVLTs(Degree:INT):LIST
 
BBF.RetrieveVLTs(Degree:INT):LIST
 
</syntax>
 
</syntax>
    <description>
+
  <description>
 
<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.
 
<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/>
 
<par/>
The first function without parameter retrieves the leading terms of the polynomials of V from the ApCoCoABBFServer. The second function with parameter <tt>Degree</tt> >= 0 retrieves the leading terms of degree <tt>Degree</tt> of the polynomials of V.
+
The first function without parameter retrieves the leading terms of the polynomials of V from the ApCoCoABBFServer. The second function with parameter <tt>Degree</tt> &gt;= 0 retrieves the leading terms of degree <tt>Degree</tt> of the polynomials of V.
 +
<itemize>
 +
  <item>@return List of leading terms from polynomials of set V.</item>
 +
</itemize>
 +
The following parameter is optional.
 
<itemize>
 
<itemize>
 
   <item>@param <em>Degree</em> Retrieve the leading terms of degree Degree from the polynomials of set V.</item>
 
   <item>@param <em>Degree</em> Retrieve the leading terms of degree Degree from the polynomials of set V.</item>
  <item>@return List of leading terms from polynomials of set V.</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 25: Line 30:
 
[x^2y, x^2z, xy^2, xz^2, y^2z, yz^2, x^2, y^2, z^2]
 
[x^2y, x^2z, xy^2, xz^2, y^2z, yz^2, x^2, y^2, z^2]
 
</example>
 
</example>
 
 
<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 37: Line 41:
 
[x^2y, x^2z, xy^2, xz^2, y^2z, yz^2]
 
[x^2y, x^2z, xy^2, xz^2, y^2z, yz^2]
 
</example>
 
</example>
    </description>
+
  </description>
     <see>BBF.RetrieveV</see>
+
  <types>
    <see>BBF.RetrieveVPolysWithTermInSupport</see>
+
     <type>borderbasis</type>
    <key>RetrieveVLTs</key>
+
  </types>
    <key>BBF.RetrieveVLTs</key>
+
  <see>ApCoCoA-1:BBF.Explanation of BBF variables and structures|BBF.Explanation of BBF variables and structures</see>
    <wiki-category>Package_bbf</wiki-category>
+
  <see>ApCoCoA-1:BBF.RetrieveV|BBF.RetrieveV</see>
 +
  <see>ApCoCoA-1:BBF.RetrieveVPolysWithTermInSupport|BBF.RetrieveVPolysWithTermInSupport</see>
 +
  <key>RetrieveVLTs</key>
 +
  <key>BBF.RetrieveVLTs</key>
 +
  <wiki-category>ApCoCoA-1:Package_bbf</wiki-category>
 
</command>
 
</command>

Latest revision as of 09:48, 7 October 2020

This article is about a function from ApCoCoA-1.

BBF.RetrieveVLTs

Retrieve leading terms of polynomials of V.

Syntax

BBF.RetrieveVLTs():LIST
BBF.RetrieveVLTs(Degree:INT):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.

The first function without parameter retrieves the leading terms of the polynomials of V from the ApCoCoABBFServer. The second function with parameter Degree >= 0 retrieves the leading terms of degree Degree of the polynomials of V.

  • @return List of leading terms from polynomials of set V.

The following parameter is optional.

  • @param Degree Retrieve the leading terms of degree Degree from the polynomials of set V.

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.Steps(20);
-- After computation has finished:
BBF.RetrieveVLTs();

Output:
[x^2y, x^2z, xy^2, xz^2, y^2z, yz^2, x^2, y^2, z^2]

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.Steps(20);
-- After computation has finished:
BBF.RetrieveVLTs(3);

Output:
[x^2y, x^2z, xy^2, xz^2, y^2z, yz^2]

BBF.Explanation of BBF variables and structures

BBF.RetrieveV

BBF.RetrieveVPolysWithTermInSupport