Difference between revisions of "ApCoCoA-1:Num.RatPoints"
From ApCoCoAWiki
(New page: <command> <title>Num.RatPoints</title> <short_description>Checks if a given set of polynomials vanishes at a given set of points</short_description> <syntax> Num.RatPoints(AppBB:...) |
|||
| Line 46: | Line 46: | ||
<type>apcocoaserver</type> | <type>apcocoaserver</type> | ||
</types> | </types> | ||
| − | <key>numerical. | + | <key>numerical.RatPoints</key> |
| − | <key>Num. | + | <key>Num.RatPoints</key> |
| − | <key> | + | <key>RatPoints</key> |
<wiki-category>Package_numerical</wiki-category> | <wiki-category>Package_numerical</wiki-category> | ||
</command> | </command> | ||
Revision as of 16:54, 22 April 2009
Num.RatPoints
Checks if a given set of polynomials vanishes at a given set of points
Syntax
Num.RatPoints(AppBB:PolyList, OrderIdeal:PolyList)):[Matrix];
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. Please also note that you will have to use an ApCoCoAServer with enabled BLAS/LAPACK support.
Calculates a set of points which are the zeros of an exact border basis which is close to AppBB. Uses the eigenvalue methode.
@param AppBB An approximate border basis.
@param Points The asscoiated order ideal
@return A set of points in matrix form.
Example
Use P::=QQ[x,y,z]; Points := Mat([[2/3,0,0],[0,1,0],[0,0,1/3]]); R:=Num.SubAVI(Points, 0.001, [1]); Dec(Num.RatPoints(R[1],R[2]),2); -- CoCoAServer: computing Cpu Time = 0 ------------------------------- -- CoCoAServer: computing Cpu Time = 0 ------------------------------- [Mat([ ["0.66", "0.00", "-0.00"], ["0", "0", "1.00"], ["0", "0.33", "0"] ]), Mat([ ["0", "0", "0"], ["0", "0", "0"], ["0", "0", "0"] ])] -------------------------------
See also
