Fernando Rodriguez-Villegas on Mon, 10 Jan 2000 10:44:20 -0600

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

Bug in classno, qbfclassno?


 Sorry if I'm out of date on this. By pure chance I found the
 following wrong outputs of the function classno (or it's new
 incarnation qbfclassno). I'm using version 2.0.17.

 classno(-174660)= 168 
 classno(-272580)= 180

 Perhaps significantly in both cases the right answer is 192. 

Fernando Rodriguez Villegas

Department of Mathematics     | villegas@math.utexas.edu
University of Texas at Austin | RLM 9.164
Austin, Texas 78712-1082      | http://www.ma.utexas.edu/users/villegas
Tel:   (512) 471-1137         | fax:   (512) 471-9038