up previous next
Num.CABM

Computes the border basis of an almost vanishing ideal for a set of complex points.
Syntax
          
Num.CABM(PointsReal:MAT, PointsComp:MAT, Epsilon:RAT):Object
Num.CABM(PointsReal:MAT, PointsComp:MAT, Epsilon:RAT, Delta:RAT, 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 ideal for a set of complex points.

The current ring has to be a ring over the rational numbers with a standard-degree compatible term-ordering. The matrix PointsReal and PointsComp contain the points: each point is a row in the matrix, so the number of columns must equal the number of indeterminates in the current ring. The following parameters are optional:

Example
Use P ::= Q[x];

PointsReal := Mat([[0],[0]]);
PointsComp := Mat([[1],[-1]]);

Res := Num.CABM(PointsReal, PointsComp, 0.1);

Dec(Res,3);
-- CoCoAServer: computing Cpu Time = 0
-------------------------------
[["-0.707 x^2 -0.707  ", "0"], ["1", " x "]]
-------------------------------


See Also