# Difference between revisions of "ApCoCoA-1:Num.IsAVI"

From ApCoCoAWiki

Line 3: | Line 3: | ||

<short_description>Checks if a given set of polynomials vanishes at a given set of points</short_description> | <short_description>Checks if a given set of polynomials vanishes at a given set of points</short_description> | ||

<syntax> | <syntax> | ||

− | Num.IsAVI(Polys: | + | Num.IsAVI(Polys:LIST, Points:MAT, Epsilon:RAT):[A:INT,B:INT]; |

</syntax> | </syntax> | ||

<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. | |

− | + | <par/> | |

Checks if a set of polynomials vanishes at a set of points epsilon approximately. The polynomials are preprocessed first to have norm 1. | Checks if a set of polynomials vanishes at a set of points epsilon approximately. The polynomials are preprocessed first to have norm 1. | ||

<itemize> | <itemize> | ||

Line 29: | Line 29: | ||

<types> | <types> | ||

<type>apcocoaserver</type> | <type>apcocoaserver</type> | ||

+ | <type>polynomial</type> | ||

+ | <type>points</type> | ||

</types> | </types> | ||

− | |||

<key>Num.IsAvi</key> | <key>Num.IsAvi</key> | ||

<key>IsAvi</key> | <key>IsAvi</key> | ||

<wiki-category>Package_numerical</wiki-category> | <wiki-category>Package_numerical</wiki-category> | ||

</command> | </command> |

## Revision as of 16:37, 23 April 2009

## Numerical.IsAVI

Checks if a given set of polynomials vanishes at a given set of points

### Syntax

Num.IsAVI(Polys:LIST, Points:MAT, Epsilon:RAT):[A:INT,B:INT];

### 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.

Checks if a set of polynomials vanishes at a set of points epsilon approximately. The polynomials are preprocessed first to have norm 1.

@param

*Polys*A list of polynomials.@param

*Points*A matrix containing the points to check.@param

*Epsilon*Rational number@return A number A which specifies how well the points vanish on average and a number B which contains the maximal evaluation value

#### Example

Num.IsAVI([x[1]+1,x[1]^2],[[0]],0.1); -- CoCoAServer: computing Cpu Time = 0 ------------------------------- [1/2, 1] -------------------------------

### See also