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 datatypecommon meadowdivision by zeromeadowadditional value

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

• 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?)
• Division by zero in non-involutive meadows
• Equational theories and universal theories of fields
• Inversive meadows and divisive meadows
• The initial meadows
• The rational numbers as an abstract data type
• Wheels on division by zero

Cited in

(16)

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

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)