On 18 May 2012 18:48, Emil <[email protected]> wrote: > Looking at the code, the cardinality() is done sensibly for > IntegerVectors_nkconstraints, but not for IntegerVectors_nk, which is > what will be used by default. It should be a simple patch (I can do it > if no-one else wants to) - as the code is essentially already there in > IntegerVectors_nkconstraints.
Actually, it looks like the sensible thing to do is to get rid of IntegerVectors_nk entirely and just have IntegerVectors_nkconstraints. Perhaps someone more familiar with the code could say if this looks like the right thing to do. Emil -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
