Bill Allombert on Thu, 30 Jan 2014 16:05:38 +0100

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: bnfcertify: missing units in bnf

On Thu, Jan 30, 2014 at 04:58:13PM +0200, Georgi Guninski wrote:
> 2.5.5 on linux x86_64
> K=bnfinit(x^3+2^2^3+1);bnfcertify(K)
>  *** bnfcertify: missing units in bnf.

bnfcertify requires the fundamental units to be computed.
Use the flags 1 to bnfinit to force their computation:

See the documentation:

? ?bnfinit
bnfinit(P,{flag=0},{tech=[]}): compute the necessary data for future use in ideal and unit 
group computations, including fundamental units if they are not too large. flag and tech 
are both optional. flag can be any of 0: default, 1: insist on having fundamental units. 
See manual for details about tech.