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.IsAvi</key>
+
     <key>numerical.RatPoints</key>
     <key>Num.IsAvi</key>
+
     <key>Num.RatPoints</key>
     <key>IsAvi</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

Introduction to CoCoAServer