The term orderings which are compatible with composition II
نویسندگان
چکیده
منابع مشابه
Karlin’s Basic Composition Theorems and Stochastic Orderings
Suppose λ,x,ζ traverse the ordered sets Λ, X and Z, respectively and consider the functions f(λ,x,ζ) and g(λ,ζ) satisfying the following conditions, (a) f(λ,x,ζ) > 0 and f is TP2 in each pairs of variables when the third variable is held fixed and (b) g(λ,ζ) is TP2. Then the function h(λ,x) =∫Z f(λ,x,ζ)g(λ,ζ)dµ(ζ), defined on Λ×X is TP2 in (λ,x). The aim of this note is to use a new stochast...
متن کاملThe Existential Theories of Term Algebras with the Knuth-Bendix Orderings are Decidable
We consider term algebras with simpliication orderings (which are mono-tonic, and well-founded). Solving constraints (quantiier-free formulas) in term algebras with this kind of orderings has several important applications like pruning search space in automated deduction and proving termination and connuence of term rewriting systems. Two kinds of ordering are normally used in automated deducti...
متن کاملLexicographic Composition of Fuzzy Orderings
The present paper introduces an approach to construct lexicographic compositions of similarity-based fuzzy orderings. This construction is demonstrated by means of non-trivial examples. As this is a crucial feature of lexicographic composition, the preservation of linearity is studied in detail. We obtain once again that it is essential for meaningful results that the t-norm under consideration...
متن کاملTerm Rewriting with Conditionals and Priority Orderings
Conditional re,vriting and priority re,vriting are two recent generalizations of term rewriting systems. In the former, each re\vrite rule is accompanied by an antecedent which must be sho,vn to hold before rewriting can OCCUI. In the latter, re,vrite rules can be used only' in a particular order. We compare these formalisms: neither formalism encompasses the other in a practical sense, but we ...
متن کاملOn Computing Janet Bases for Degree Compatible Orderings
We consider three modifications of our involutive algorithm for computing Janet bases. These modifications are related to degree compatible monomial orders and specify selection strategies for non-multiplicative prolongations. By using the standard data base of polynomial benchmarks for Gröbner bases software we compare the modifications and confront them with Magma that implements Faugère’s F4...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2003
ISSN: 0747-7171
DOI: 10.1016/s0747-7171(02)00129-3