Division by zero in common meadows
| Authors | |
|---|---|
| Publication date | 2015 |
| Host editors |
|
| Book title | Software, Services, and Systems |
| Book subtitle | essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Lecture Notes in Computer Science, 8950 |
| Pages (from-to) | 46-61 |
| Publisher | Cham: Springer |
| Organisations |
|
| 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. |
| Document type | Chapter |
| Note | Appeared earlier as arXiv:1406.6878 [math.RA] |
| Language | English |
| Published at | https://doi.org/10.1007/978-3-319-15545-6_6 |
| Published at | https://arxiv.org/abs/1406.6878 |
| Downloads |
1406.6878v2.pd
(Submitted manuscript)
|
| Permalink to this page | |
