| 1266 | |
| 1267 | |
| 1268 | ZVector ZCone::semiGroupGeneratorOfRay()const |
| 1269 | { |
| 1270 | ZMatrix temp=quotientLatticeBasis(); |
| 1271 | assert(temp.getHeight()==1); |
| 1272 | for(int i=0;i<inequalities.getHeight();i++) |
| 1273 | if(dot(temp[0].toVector(),inequalities[i].toVector()).sign()<0) |
| 1274 | { |
| 1275 | temp[0]=-temp[0].toVector(); |
| 1276 | break; |
| 1277 | } |
| 1278 | return temp[0]; |
| 1279 | } |
| 1280 | |
| 1281 | |
| 1282 | ZCone ZCone::link(ZVector const &w)const |