https://github.com/janverschelde/PHCpack
Revision 129c157a61096b3c38cedc821f9d0e87c9adeb01 authored by Jan Verschelde on 14 May 2018, 22:42:22 UTC, committed by Jan Verschelde on 14 May 2018, 22:42:22 UTC
1 parent 310f5bc
Tip revision: 129c157a61096b3c38cedc821f9d0e87c9adeb01 authored by Jan Verschelde on 14 May 2018, 22:42:22 UTC
added DEMiCs as one of the lifting strategies for the phc -m menu
added DEMiCs as one of the lifting strategies for the phc -m menu
Tip revision: 129c157
Computing file changes ...