Transformation of fractions into simple fractions in divisive meadows

DOI10.1016/j.jal.2016.03.001zbMath1401.68210arXiv1510.06233OpenAlexW3104006239MaRDI QIDQ301374

Jan 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)

Related Items

Partial arithmetical data types of rational numbers and their equational specification, Arithmetical datatypes with true fractions, Eager Equality for Rational Number Arithmetic, The wheel of rational numbers as an abstract data type

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A process calculus with finitary comprehended terms
• Inversive meadows and divisive meadows
• Straight-line instruction sequence completeness for total calculation on cancellation meadows
• Complete theories
• 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
• The rational numbers as an abstract data type
• Subvarieties of the Variety of Meadows
• The initial meadows