| 170 | |
| 171 | |
| 172 | void SymmetricComplex::insert(Cone const &c) |
| 173 | { |
| 174 | if(c.dimension>dimension)dimension=c.dimension; |
| 175 | if(!contains(c))//#2 |
| 176 | { |
| 177 | cones.insert(c); |
| 178 | } |
| 179 | else |
| 180 | { |
| 181 | if(c.isKnownToBeNonMaximal()){cones.erase(c);cones.insert(c);}// mark as non-maximal |
| 182 | } |
| 183 | } |
| 184 | |
| 185 | |
| 186 | int SymmetricComplex::getLinDim()const |
no test coverage detected