https://github.com/janverschelde/PHCpack
Revision 392dbc08a1c5d74554ec42ce2f49a9b8f30376af authored by Jan Verschelde on 28 May 2018, 17:29:07 UTC, committed by Jan Verschelde on 28 May 2018, 17:29:07 UTC
1 parent 75ddca1
Tip revision: 392dbc08a1c5d74554ec42ce2f49a9b8f30376af authored by Jan Verschelde on 28 May 2018, 17:29:07 UTC
updated the information about the selected lifting strategies in the output file
updated the information about the selected lifting strategies in the output file
Tip revision: 392dbc0
Computing file changes ...