ApCoCoA-1:BBF.RetrieveVLTs: Difference between revisions

From ApCoCoAWiki
Skaspar (talk | contribs)
Key and see section update.
m insert version info
 
(13 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>
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. 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/>
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 23: 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 35: 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>
    <key>bbf.RetrieveVLTs</key>
  <see>ApCoCoA-1:BBF.RetrieveV|BBF.RetrieveV</see>
    <wiki-category>Package_bbf</wiki-category>
  <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