Division by zero in common meadows

DOI10.1007/978-3-319-15545-6_6MaRDI QIDQ5256337zbMATH OpenOpenAlexFDO

Authors J. A. Bergstra, Alban Ponse

Publication date 22 June 2015

Published in Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1406.6878, http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.748.8851

zbMATH Keywords

abstract datatypeadditional valuecommon meadowdivision by zeromeadow

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Abstract: Common meadows are fields expanded with a total inverse function. Division by zero produces an additional value denoted with "a" that propagates through all operations of the meadow signature (this additional value can be interpreted as an error element). We provide a basis theorem for so-called common cancellation meadows of characteristic zero, that is, common meadows of characteristic zero that admit a certain cancellation law.

Recommendations

• Division by zero in non-involutive meadows
• Inversive meadows and divisive meadows
• Meadows and the equational specification of division
• Transformation of fractions into simple fractions in divisive meadows
• The initial meadows

Cites work

• Division by zero in non-involutive meadows
• Equational theories and universal theories of fields
• scientific article; zbMATH DE number 1703931 (Why is no real title available?)
• scientific article; zbMATH DE number 3723836 (Why is no real title available?)
• scientific article; zbMATH DE number 3723898 (Why is no real title available?)
• scientific article; zbMATH DE number 3566907 (Why is no real title available?)
• Inversive meadows and divisive meadows
• The initial meadows
• The rational numbers as an abstract data type
• Wheels on division by zero

Cited in

(19)

• Division safe calculation in totalised fields
• Division by zero in non-involutive meadows
• Partial arithmetical data types of rational numbers and their equational specification
• Arithmetical datatypes with true fractions
• The wheel of rational numbers as an abstract data type
• Dividing by Zero—and Other Mathematical Fallacies
• Fracpairs and fractions over a reduced commutative ring
• Inversive meadows and divisive meadows
• Wheels on division by zero
• Note on paraconsistency and reasoning about fractions
• Datatype defining rewrite systems for naturals and integers
• Eager Equality for Rational Number Arithmetic
• Symmetric transrationals: the data type and the algorithmic degree of its equational theory
• Towards an enumeration of finite common meadows
• Strolling through common meadows
• Logical models of mathematical texts: the case of conventions for division by zero.
• Bridging meadows and sheaves
• Logical models of mathematical texts. II: legality conventions for division by zero in inconsistent contexts
• A complete finite axiomatisation of the equational theory of common meadows

This page was built for publication: Division by zero in common meadows

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5256337)