Which Arithmetical Data Types Admit Fracterm Flattening?
نویسندگان
چکیده
The formal theory of division in arithmetical algebras reconstructs fractions as syntactic objects called fracterms. Basic to calculation, is the simplification fracterms with one operator, a process fracterm attening. We consider equational axioms calculus for calculating determine what necessary and sufficient allow flattening. For computation, require operators be total which there are several semantical methods. It shown under constraints up isomorphism, unique minimal enlargement field Q(\div) rational numbers equipped partial operator \div has
منابع مشابه
Which point sets admit a k-angulation?
For k ≥ 3, a k-angulation is a 2-connected plane graph in which every internal face is a k-gon. We say that a point set P admits a plane graph G if there is a straight-line drawing of G that maps V (G) onto P and has the same facial cycles and outer face as G. We investigate the conditions under which a point set P admits a k-angulation and find that, for sets containing at least 2k2 points, th...
متن کامل3-manifolds Which Admit Finite Group Actions
We prove several results which support the following conjectures: (1) Any smooth action of a finite group on a geometric 3-manifold can be conjugated to preserve the geometric structure. (2) Every irreducible closed 3-manifold M with infinite nx(M) is finitely covered by a Haken 3-manifold.
متن کاملFour-manifolds which admit Zp ×Zp actions
We show that the simply-connected four-manifolds which admit locally linear, homologically trivial Zp ×Zp actions are homeomorphic to connected sums of ±CP 2 and S × S (with one exception: pseudofree Z3 × Z3 actions on the Chern manifold), and also establish an equivariant decomposition theorem. This generalizes results from a 1970 paper by Orlik and Raymond about torus actions, and complements...
متن کاملGroups Which Do Not Admit Ghosts
A ghost in the stable module category of a group G is a map between representations of G that is invisible to Tate cohomology. We show that the only non-trivial finite p-groups whose stable module categories have no non-trivial ghosts are the cyclic groups C2 and C3. We compare this to the situation in the derived category of a commutative ring. We also determine for which groups G the second p...
متن کاملWhich Riemannian manifolds admit a geodesic flow of Anosov type?∗
In 1961 Steve Smale visited the Soviet Union and made several conjectures on the structural stability of certain toral automorphisms and geodesic flows of negative curvature. A year later D. V. Anosov proved all of Smale’s conjectures; his results about geodesic flows of manifolds with strictly negative sectional curvature can be found in his paper [1]. In this paper we will describe several ge...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scientific Annals of Computer Science
سال: 2022
ISSN: ['1843-8121', '2248-2695']
DOI: https://doi.org/10.7561/sacs.2022.1.87