ApCoCoA-1:BBF.RetrieveVPolysWithTermInSupport: Difference between revisions

From ApCoCoAWiki
Stadler (talk | contribs)
No edit summary
m insert version info
 
(10 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Version|1}}
<command>
<command>
    <title>BBF.RetrieveVPolysWithTermInSupport</title>
  <title>BBF.RetrieveVPolysWithTermInSupport</title>
    <short_description>Retrieve polynomials with specific support term from V.</short_description>
  <short_description>Retrieves polynomials with specific support term from <tt>V</tt>.</short_description>
 
<syntax>
<syntax>
BBF.RetrieveVPolysWithTermInSupport(T:POLY):LIST
BBF.RetrieveVPolysWithTermInSupport(T:POLY):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/>
Retrieve all polynomials from V that have the term <tt>T</tt> in their support.
This command retrieves all polynomials from <tt>V</tt> that have the term <tt>T</tt> in their support.


<itemize>
<itemize>
   <item>@param <em>T</em> All polynomials in V with this term in their support will be retreived.</item>
   <item>@param <em>T</em> All polynomials in <tt>V</tt> with this term in their support will be retrieved.</item>
   <item>@return List of polynomials of set V.</item>
   <item>@return List of polynomials of set <tt>V</tt>.</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 27:
[x^2z - 8001z, y^2z + 8001z]
[x^2z - 8001z, y^2z + 8001z]
</example>
</example>
     </description>
  </description>
     <see>BBF.RetrieveV</see>
  <types>
    <see>BBF.RetrieveVLTs</see>
    <type>poly</type>
    <key>RetrieveVPolysWithTermInSupport</key>
     <type>polynomial</type>
    <key>BBF.RetrieveVPolysWithTermInSupport</key>
     <type>borderbasis</type>
    <wiki-category>Package_bbf</wiki-category>
  </types>
  <see>ApCoCoA-1:BBF.Explanation of BBF variables and structures|BBF.Explanation of BBF variables and structures</see>
  <see>ApCoCoA-1:BBF.RetrieveV|BBF.RetrieveV</see>
  <see>ApCoCoA-1:BBF.RetrieveVLTs|BBF.RetrieveVLTs</see>
  <key>RetrieveVPolysWithTermInSupport</key>
  <key>BBF.RetrieveVPolysWithTermInSupport</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.RetrieveVPolysWithTermInSupport

Retrieves polynomials with specific support term from V.

Syntax

BBF.RetrieveVPolysWithTermInSupport(T:POLY):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 all polynomials from V that have the term T in their support.

  • @param T All polynomials in V with this term in their support will be retrieved.

  • @return List of 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.RetrieveVPolysWithTermInSupport(z);

Output:
[x^2z - 8001z, y^2z + 8001z]

BBF.Explanation of BBF variables and structures

BBF.RetrieveV

BBF.RetrieveVLTs