Division safe calculation in totalised fields
| Authors |
|
|---|---|
| Publication date | 12-2008 |
| Journal | Theory of Computing Systems |
| Volume | Issue number | 43 | 3-4 |
| Pages (from-to) | 410-424 |
| Organisations |
|
| Abstract | A 0-totalised field is a field in which division is a total operation with 0(−1)=0. Equational reasoning in such fields is greatly simplified but in deriving a term one still wishes to know whether or not the calculation has invoked 0(−1). If it has not then we call the derivation division safe. We propose three methods of guaranteeing division safe calculations in 0-totalised fields. |
| Document type | Article |
| Language | English |
| Published at | https://doi.org/10.1007/s00224-007-9035-4 |
| Downloads |
294416.pdf
(Final published version)
|
| Permalink to this page | |
