Abstract
We give a primality test for two-sided ideals over rings belonging to a class of iterated Ore extensions of a field, which includes differential operators rings and coordinate rings of quantum affine spaces. When applied to ideals of commutative polynomial rings, the test boils down to the given in (Gianni et al. J. Symb. Comput. 1988, 6, 149–167).
ACKNOWLEDGMENT
We thank the referee for a careful reading of the original manuscript and for comments that helped to improve the presentation of the paper. The first three authors were partially supported by DGES PB97-0806. The last author was partially supported by DGESIC PB97-0723.