Georgi Guninski on Thu, 30 Jan 2014 15:58:22 +0100 |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
bnfcertify: missing units in bnf |
2.5.5 on linux x86_64 K=bnfinit(x^3+2^2^3+1);bnfcertify(K) *** bnfcertify: missing units in bnf. *** Break loop: type 'break' to go back to GP break>