up previous next
Num.SubAVI

Computes a border basis of an almost vanishing sub-ideal for a set of points and an ideal using the Num.AVI algorithm.
Syntax
          
Num.SubAVI(Points:MAT, Epsilon:RAT, Basis:LIST):Object
Num.SubAVI(Points:MAT, Epsilon:RAT, Basis:LIST, Delta:RAT, NormalizeType:INT, RREFNormalizeType:INT, RREFUseEps:BOOL, RREFType: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 sub-ideal for a set of points and an ideal using the Num.AVI algorithm.

The current ring has to be a ring over the rational numbers with a standard-degree compatible term-ordering. Each row in the matrix Points represents one point, so the number of columns must equal the number of indeterminates in the current ring. The following parameters are optional:

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.1, [x]);
Dec(R[1],2);
R[2];

-- CoCoAServer: computing Cpu Time = 0
-------------------------------
["1 x^2 -0.66 x ", "1 xy ", "1 xz "]
-------------------------------
[x]
-------------------------------



See Also