![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | _initial__Ideals.out | 2023-09-28 08:22 | 219 | |
![]() | _is__Stable.out | 2023-09-28 08:22 | 1.2K | |
![]() | _polymake__State__Polytope_lp__Ideal_rp.out | 2023-09-28 08:22 | 679 | |
![]() | _polymake__State__Polytope_lp__Z__Z_cm__Ideal_rp.out | 2023-09-28 08:22 | 670 | |