- 05 Jan 2019, 13:50
- Forum: Helpdesk
- Topic: typeof 3-cube in 3.2rc4
- Replies:
**3** - Views:
**108**

If I am not mistaken, the code ... was being used in polymake 3.0.X and before 3.1 was released Surely, the tutorial was valid at the moment it had been written, but then it managed to fall through the testing grid, so that it was not adapted to later polymake changes. Repair action is in progress ...

- 05 Jan 2019, 00:34
- Forum: Helpdesk
- Topic: typeof 3-cube in 3.2rc4
- Replies:
**3** - Views:
**108**

$t=typeof $c; This is an incorrect expression. The typeof keyword is used when one wants to construct a type without referring to any data instance, e.g. like this: typeof Polytope<Rational> If you already have an object, its type can be obtained this way: $c->type I'm quite dismayed by finding wro...

- 04 Jun 2018, 00:28
- Forum: Helpdesk
- Topic: ERROR: no matching overloaded instance of...
- Replies:
**3** - Views:
**1317**

The function homology expects the list of facets as the first argument, not the entire `big' object. You can verify this by looking at the list of argument types produced by help "topaz::homology"; The name of the first argument is "complex" which might be in fact misleading. In your example you sho...

- 07 Mar 2018, 09:32
- Forum: Helpdesk
- Topic: Corrupt or incomplete installation
- Replies:
**2** - Views:
**1315**

Which polymake version are you using? If it's not the recently released 3.2, would you mind migrating to it?

- 07 Mar 2018, 09:29
- Forum: Helpdesk
- Topic: Running into error with 3.2 installation
- Replies:
**13** - Views:
**3460**

Another option is to run polymake docker image, it comes equipped with ppl 1.2 (and many other things).

- 02 Mar 2018, 19:44
- Forum: Helpdesk
- Topic: Discrepancy in computing facets of a mixed integer program
- Replies:
**29** - Views:
**5039**

Hmm, at least you should deal with them differently when importing them as input, shouldn't you?it makes a minor difference in my codes whether something is an equality or an inequality, so I somehow lost some theoretical understanding.

- 02 Mar 2018, 11:33
- Forum: Helpdesk
- Topic: Discrepancy in computing facets of a mixed integer program
- Replies:
**29** - Views:
**5039**

Every Polytope object has FACETS and AFFINE_HULL, the latter can just be empty (more precisely, is a matrix with 0 rows) when the polyhedron is full-dimensional. FACETS are by definition non-trivial inequalities, that is, for every facet there is at least one vertex point not lying in the hyperplane.

- 02 Mar 2018, 09:55
- Forum: Helpdesk
- Topic: Discrepancy in computing facets of a mixed integer program
- Replies:
**29** - Views:
**5039**

I use polymake to get the facets of these 3104 lattice points. They are Dx <= e Now, when solve the linear program Min Cx Such that Ax <= b, Dx <= e, x can be continuous I expect to get the optimal solution value of 178. Unfortunately, I do not get 178 but instead get a number lower than this. Coul...

- 02 Mar 2018, 09:48
- Forum: Helpdesk
- Topic: Discrepancy in computing facets of a mixed integer program
- Replies:
**29** - Views:
**5039**

Then AffineHull is exactly what I said, the equations defining the linear span. If there are some, they must be taken together with Facets, not instead of! And they are equations, not inequalities. So you must have computed the second LP on a polyhedron of a much higher dimension!

- 02 Mar 2018, 00:29
- Forum: Helpdesk
- Topic: Discrepancy in computing facets of a mixed integer program
- Replies:
**29** - Views:
**5039**

Well, there are not that many ways to define a facet, I guess. The only source of confusion I could imagine might be the concrete matrix representation: if you have a linear system A*x <= B, you have to specify INEQUALITIES and FACETS as a block matrix (B | -A) because polymake's polyhedra are alway...

Powered by phpBB® Forum Software © phpBB Limited