Difference between revisions of "ApCoCoA-1:Num.ABM"

From ApCoCoAWiki
Line 10: Line 10:
 
<description>
 
<description>
 
<em>Please note:</em> The function(s) explained on this page is/are using the <em>ApCoCoAServer</em>. You will have to start the ApCoCoAServer in order to use it/them.
 
<em>Please note:</em> The function(s) explained on this page is/are using the <em>ApCoCoAServer</em>. You will have to start the ApCoCoAServer in order to use it/them.
 +
<par/>
 +
This command computes a border basis of an almost vanishing ideal for a set of points.
 +
<par/>
 +
The current ring has to be a ring over the rationals with a standard-degree
 +
compatible term-ordering.  The matrix Points contains the points: each
 +
point is a row in the matrix, so the number of columns must equal the
 +
number of indeterminates in the current ring.
  
 
<itemize>
 
<itemize>
Line 27: Line 34:
  
 
</itemize>
 
</itemize>
 
This command computes a border basis of an almost vanishing ideal for a set of points.
 
<par/>
 
The current ring has to be a ring over the rationals with a standard-degree
 
compatible term-ordering.  The matrix Points contains the points: each
 
point is a row in the matrix, so the number of columns must equal the
 
number of indeterminates in the current ring.
 
  
 
<example>
 
<example>
Line 55: Line 55:
 
     <key>ABM</key>
 
     <key>ABM</key>
 
     <key>Num.ABM</key>
 
     <key>Num.ABM</key>
 +
    <key>numerical.ABM</key>
 
     <wiki-category>Package_numerical</wiki-category>
 
     <wiki-category>Package_numerical</wiki-category>
 
   </command>
 
   </command>

Revision as of 11:49, 24 April 2009

Num.ABM

Border basis of almost vanishing ideal for a set of points.

Syntax

Num.ABM(Points:MAT, Tau:RAT):Object
Num.ABM(Points:MAT, Tau:RAT, Delta:RAT, NormalizeType:INT):Object

Description

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

This command computes a border basis of an almost vanishing ideal for a set of points.

The current ring has to be a ring over the rationals with a standard-degree

compatible term-ordering. The matrix Points contains the points: each

point is a row in the matrix, so the number of columns must equal the number of indeterminates in the current ring.

  • @param Points The points for which a border basis is computed.

  • @param Tau A positive rational number describing which singular values should be treated as 0 (smaller values for tau lead to bigger errors of the polynomials evaluated at the point set). Tau should be in the interval (0,1). As a rule of thumb, Tau is the expected percentage of error on the input points.

  • @return A list of two results. First the border basis as a list of polynomials, second the vector space basis of P/I as a list of terms.


The following parameters are optional:

  • @param Delta A positiv rational number. Delta describes the computing precision. In different steps, it is crucial, if a value is 0 or not. The algorithm assumes every value in [-Delta, Delta] to be 0. The default value for Delta is 0.00000000001.

  • @param NormalizeType A integer of the range 1..4. The default value is 1. This parameter describes, if / how the input points are normalized. If NormalizeType equals 1, each coordinate is divided by the maximal absolut value of the matrix's corresponding column. This ensures that all point's coordinates are in [-1,1]. With NormalizeType=2 no normalization is done at all. NormalizeType=3 shifts each coordinate to [-1,1]. So it's minimum is mapped to -1 and the maximum to one, describing a unique affine mapping. The last option is NormalizeType=4. In this case, each coordinate is normalized, using the column's euclidian norm. Due to backward compatibility, the default is 1, although 3 is in most cases a better choice.


Example

Use P::=QQ[x,y,z];

Points := Mat([[1,0,0],[0,0,1],[0,2,0]]);
Num.ABM(Points,0.001);
-------------------------------
[[x + 9007199254740991/18014398509481984y + z - 1, z^2 - 9007199254740991/9007199254740992z, 1/2yz, xz, 1/4y^2 - 9007199254740991/18014398509481984y, 1/2xy], [y, z, 1]]

See also

Introduction to CoCoAServer

Num.SubABM