Complexity of Janet basis of a D-module

Alexander Chistov, Dima Grigoriev

We prove a double-exponential upper bound on the degree and on the complexity of constructing a Janet basis of a $D$-module. This generalizes a well known bound on the complexity o…