Symbolic Computation Group
David R. Cheriton School of Computer Science


Friday, December 5, 2003, at U. of Western Ontario.
Abstract: We describe a multivariate generalisation of skewpolynomials that does not restrict the commutation relations among the generators or between the generators and the scalars. Our operator rings are thus general enough to emcompass both Ore algebras and PBWtype algebras, while allowing for noncommutative associated graded rings. As application of such rings, we describe an algorithm for computing spans in modules over them. That algorithm generalizes the cyclic vector construction to arbitrary partial functional equations, and also answers the problem of computing solutions of systems whose selected entries are in a given closedform class of functions.

Last modified on Sunday, 04 November 2012, at 15:42 hours.