id	summary	reporter	owner	description	type	status	priority	milestone	component	version	severity	resolution	keywords	cc
539	InnerPoint finds a not valid point	Víctor de Buen Remiro	Liván Ramírez Dorta	"This is an example of InnerPoint failing, due to it returns a point that not matches the inequations but there exists a inner point x2 that I've found with Mathematica

  Matrix A = SetMat(SetOfSet(
    SetOfReal( -1, +0, +0, +0, +0, +0),
    SetOfReal( +1, +0, +0, +0, +0, +0),
    SetOfReal( +0, -1, +0, +0, +0, +0),
    SetOfReal( +0, +1, +0, +0, +0, +0),
    SetOfReal( +0, +0, -1, +0, +0, +0),
    SetOfReal( +0, +0, +1, +0, +0, +0),
    SetOfReal( +0, +0, +0, -1, +0, +0),
    SetOfReal( +0, +0, +0, +1, +0, +0),
    SetOfReal( +0, +0, +0, +0, -1, +0),
    SetOfReal( +0, +0, +0, +0, +1, +0),
    SetOfReal( +0, +0, +0, +0, +0, -1),
    SetOfReal( +0, +0, +0, +0, +0, +1),
    SetOfReal( +0, +1, +0, +0, +0, -1),
    SetOfReal( +0, +0, +0, -1, +0, +1),
    SetOfReal( +1, +0, +0, +0, -1, +0),
    SetOfReal( +0, +0, -1, +0, +1, +0),
    SetOfReal( +0, +0, -1, +1, +0, +0),
    SetOfReal( -1, +1, +0, +0, +0, +0),
    SetOfReal( +0, +0, +0, +0, -1, +1)
  ));
  Matrix a = Col( +2, -1.21, +1.3, -1.19, +2, -1.108, +1.3, -1.1, +2, -1.159, +1.3, -1.15, +0, +0, +0, +0, +0, +0, +0);
  Set X = InnerPoint(A,a);
  Matrix check_1 = A*X::InnerPoint-a;
  Real ok_1 = MatMax(check_1)<=1.E-15;

  Matrix x2 = Col(-1.21, -1.21, -1.108, -1.108, -1.159, -1.159);
  Matrix check_2 = A*x2-a;
  Real ok_2 = MatMax(check_2)<=1.E-15;"	defect	closed	highest		Math	head	blocker	fixed