up previous next
Num.SubBBABM

Computes a border basis of an almost vanishing sub-ideal for a set of points and an ideal using the Num.BBABM algorithm.
Syntax
          
Num.SubBBABM(Points:MAT, Epsilon:RAT, Basis:LIST):Object
Num.SubBBABM(Points:MAT, Epsilon:RAT, Basis:LIST, Delta:RAT, ForbiddenTerms:LIST, 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 sub-ideal for a set of points and an ideal using the Num.BBABM 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.SubBBABM(Points, 0.1, [x]);
Dec(R[1],2);
R[2];


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


See Also