A bound for the order of characteristic set elements of an ordinary prime differential ideal and some applications

被引:16
作者
Sadik, B [1 ]
机构
[1] Fac Sci Semlalia, Dept Math, Marrakech, Morocco
关键词
differential algebra; prime differential ideals; characteristic sets; differential dimension; complexity;
D O I
10.1007/s002000050128
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
With respect to an elimination ordering, we give an upper bound for the older of characteristic set elements of an ordinary prime differential ideal. Using some results of complexity in the algebraic case, we show that computing characteristic sets of ordinary prime differential ideals, by change of ordering, is single exponential time.
引用
收藏
页码:251 / 268
页数:18
相关论文
共 16 条
[1]  
[Anonymous], 1991, Proc. 1st Europ. Control Conf
[2]  
BOULIER F, 1994, THESIS LIFL LILLE
[3]  
BOULIER F, P ISSAC 95
[4]  
BOUZIANE D, IN PRESS UNMIXED DIM
[5]  
CARRAFERRO G, SPRINGER LNCS, V365, P129
[6]   THE MEMBERSHIP PROBLEM FOR UNMIXED POLYNOMIAL IDEALS IS SOLVABLE IN SINGLE EXPONENTIAL TIME [J].
DICKENSTEIN, A ;
FITCHAS, N ;
GIUSTI, M ;
SESSA, C .
DISCRETE APPLIED MATHEMATICS, 1991, 33 (1-3) :73-94
[7]  
DIOP S, 1989, THESIS U PARIS SUD
[8]  
FLIESS M, 1989, AUTOMATIQUE CORPS DI
[9]  
FLIESS M, 1995, IFAC C SYST STRUCT C
[10]  
GALLO G, 1991, PROG MATH, V94, P119