Transformation of fractions into simple fractions in divisive meadows

DOI10.1016/J.JAL.2016.03.001zbMATH Open1401.68210arXiv1510.06233OpenAlexW3104006239MaRDI QIDQ301374FDOQ301374

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

Publication date: 30 June 2016

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

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.

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

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

zbMATH Keywords

polynomialdivisive meadowrational numbersimple fraction

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

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

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)