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? |
Hi, 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. Best, -- 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