Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
_initial__Ideals.out | 2022-11-09 12:44 | 219 | ||
_is__Stable.out | 2022-07-05 06:49 | 1.2K | ||
_polymake__State__Polytope_lp__Ideal_rp.out | 2022-07-05 06:49 | 679 | ||
_polymake__State__Polytope_lp__Z__Z_cm__Ideal_rp.out | 2022-07-05 06:49 | 670 | ||