https://github.com/janverschelde/PHCpack
Revision 896884086f7414b02ff7f8c607040210a0028c18 authored by Jan Verschelde on 29 May 2018, 01:40:19 UTC, committed by Jan Verschelde on 29 May 2018, 01:40:19 UTC
1 parent 36c6742
Tip revision: 896884086f7414b02ff7f8c607040210a0028c18 authored by Jan Verschelde on 29 May 2018, 01:40:19 UTC
via phc -m option #5, the stable mixed volume can be computed by DEMiCs
via phc -m option #5, the stable mixed volume can be computed by DEMiCs
Tip revision: 8968840
Computing file changes ...