public static Double[,] CoverToHalfspaces ( String textSpec ) {
Region reg = new Region ( );
Parser par = new Parser ( );
double cid, hid;
int rowcount, row;
par.input = textSpec;
par.buildto ( reg );
if ( par. parse ( ) == false ) {
return null;
}
reg.normalize ( );
rowcount = 0;
for (int i = 0; i < reg.Count; i++) {
rowcount += reg.getNth(i).Count;
}
row = 0;
Double[,] result = new Double[rowcount, 6];
cid = 0.0;
for (int i = 0; i < reg.Count; i++) {
Convex con = reg.getNth (i);
hid = 0.0;
for (int j=0; j< con.Count; j++ ) {
Halfspace h = con.hsAt (j);
result[row, 0] = cid;
result[row, 1] = hid;
result[row, 2] = h.sv.x;
result[row, 3] = h.sv.y;
result[row, 4] = h.sv.z;
result[row, 5] = h.d;
hid += 1.0;
row++;
}
cid += 1.0;
}
return result;
}
