.

Published in: ACM Commun. Comput. Algebra (2015)