Transformation of fractions into simple fractions in divisive meadows

DOI10.1016/J.JAL.2016.03.001MaRDI QIDQ301374zbMATH OpenOpenAlexFDO

Authors J. A. Bergstra, C. A. Middelburg

Publication date 30 June 2016

Published in Journal of Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

polynomialdivisive meadowrational numbersimple fraction

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Abstract: Meadows are alternatives for fields with a purely equational axiomatization. At the basis of meadows lies the decision to make the multiplicative inverse operation total by imposing that the multiplicative inverse of zero is zero. Divisive meadows are meadows with the multiplicative inverse operation replaced by a division operation. Viewing a fraction as a term over the signature of divisive meadows that is of the form p / q, we investigate which divisive meadows admit transformation of fractions into simple fractions, i.e. fractions without proper subterms that are fractions.

Recommendations

• A forest of linear fractional transformations
• Continued fractions and linear fractional transformations
• scientific article; zbMATH DE number 65892
• A fast method to transform continued fractions to common fractions
• Fractionalization

Cites work

• scientific article; zbMATH DE number 3654207 (Why is no real title available?)
• scientific article; zbMATH DE number 3566907 (Why is no real title available?)
• scientific article; zbMATH DE number 3566908 (Why is no real title available?)
• scientific article; zbMATH DE number 7020130 (Why is no real title available?)
• scientific article; zbMATH DE number 5268066 (Why is no real title available?)
• A process calculus with finitary comprehended terms
• Basic algebra. Along with a companion volume `Advanced algebra'
• Complete theories
• Division by zero in non-involutive meadows
• Equational theories and universal theories of fields
• Inversive meadows and divisive meadows
• Meadows and the equational specification of division
• Straight-line instruction sequence completeness for total calculation on cancellation meadows
• Subvarieties of the Variety of Meadows
• The initial meadows
• The rational numbers as an abstract data type
• The structure of finite meadows

Cited in

(11)

• Partial arithmetical data types of rational numbers and their equational specification
• Which arithmetical data types admit fracterm flattening?
• Fracpairs and fractions over a reduced commutative ring
• Inversive meadows and divisive meadows
• Meadows and the equational specification of division
• Division by zero in common meadows
• 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
• The wheel of rational numbers as an abstract data type

This page was built for publication: Transformation of fractions into simple fractions in divisive meadows

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