Division by zero in common meadows

DOI10.1007/978-3-319-15545-6_6zbMATH Open1453.68104arXiv1406.6878OpenAlexW2171361542MaRDI QIDQ5256337FDOQ5256337

Authors: J. A. Bergstra, Alban Ponse 

Publication date: 22 June 2015

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

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.

Full work available at URL: https://arxiv.org/abs/1406.6878

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

zbMATH Keywords

abstract datatypecommon meadowdivision by zeromeadowadditional value

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• Title not available (Why is that?)
• The rational numbers as an abstract data type
• Inversive meadows and divisive meadows
• The initial meadows
• Equational theories and universal theories of fields
• Division by zero in non-involutive meadows
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Wheels on division by zero

Cited In (16)

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

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)