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>