This work has been in part supported by research and equipment grants from the Natural Sciences and Engineering Research Council of Canada (NSERC). We would also like to thank the Centre for Experimental & Constructive Mathematics.