Page 1 of 1

CONE: "pointed"-property

Posted: 16 Apr 2012, 10:32
by simon
Running the risk of saying something stupid: is it possible, that one must not use the zero-vector in INPUT_RAYS?
E.g. (in version 2.12), I create a one-dimensional cone, which is pointed:

Code: Select all

$c = new Cone(INPUT_RAYS=>[[1]]); print $c->POINTED; 1
However,

Code: Select all

$c = new Cone(INPUT_RAYS=>[[1],[0]]); print $c->POINTED; 0

Re: CONE: "pointed"-property

Posted: 16 Apr 2012, 11:20
by paffenholz
You are right, any ray in the input must be non-zero. This is not checked during construction. Many rules wouldn't care, and reducing to RAYS also removes [0] from the list, but in your particular case the rule for POINTED uses INPUT_RAYS and assumes that any non-zero scaling of a ray is different from the origin.

The same applies to INEQUALITIES, EQUATIONS, POINTS, ... (POINTS have to be homogeneous, so the origin of a polytope is [1,0,0,...]).

Re: CONE: "pointed"-property

Posted: 16 Apr 2012, 11:44
by simon
thanks!