Hi Bill, in my own experience Kronecker substitution can be effective in a number of situations. It would also automatically handle the case you mention about working only on a subset of variables (i.e., the ones involved in the multiplication).
I have the description of my implementation and some benchmarks here: http://arxiv.org/abs/1004.4548 The paper is still missing a discussion on the impact of coding/decoding times, the implementation of the highly sparse data structure has changed a bit recently and has better performance than those described in the paper. Cheers, Francesco. -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
