added lex and tdeg term orders