MCPcopy Create free account
hub / github.com/Singular/Singular / faceContaining

Method faceContaining

gfanlib/gfanlib_zcone.cpp:1315–1330  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1313}
1314
1315ZCone ZCone::faceContaining(ZVector const &v)const
1316{
1317 assert(n==(int)v.size());
1318 assert(contains(v));
1319 ZMatrix newEquations=equations;
1320 ZMatrix newInequalities(0,n);
1321 for(int i=0;i<inequalities.getHeight();i++)
1322 if(dot(inequalities[i],v).sign()!=0)
1323 newInequalities.appendRow(inequalities[i]);
1324 else
1325 newEquations.appendRow(inequalities[i]);
1326
1327 ZCone ret(newInequalities,newEquations,(state>=1)?PCP_impliedEquationsKnown:0);
1328 ret.ensureStateAsMinimum(state);
1329 return ret;
1330}
1331
1332
1333ZMatrix ZCone::getInequalities()const

Callers 3

coneContainingMethod · 0.80
faceContainingFunction · 0.80
checkFlipConeInputMethod · 0.80

Calls 6

assertFunction · 0.85
getHeightMethod · 0.80
appendRowMethod · 0.80
ensureStateAsMinimumMethod · 0.80
sizeMethod · 0.45
signMethod · 0.45

Tested by

no test coverage detected