Common meadows are fields expanded with a total multiplicative 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.
CITATION STYLE
Bergstra, J. A., & Ponse, A. (2015). Division by zero in common Meadows. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8950, 46–61. https://doi.org/10.1007/978-3-319-15545-6_6
Mendeley helps you to discover research relevant for your work.