CONE: "pointed"-property

[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

[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,...]).

[simon]

thanks!