diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-08-15 06:37:37 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-08-15 06:37:37 +0000 |
| commit | 48d0edb7ca718e2336c0e3d2417ec541d8008077 (patch) | |
| tree | dbc115407dcad45287169ee5ad0b7e85897dcc6e /src/algebra/float.spad.pamphlet | |
| parent | f6a007e3df81c872452d5a271fbd5dabfa514cc1 (diff) | |
| download | open-axiom-48d0edb7ca718e2336c0e3d2417ec541d8008077.tar.gz | |
* algebra/float.spad.pamphlet (Float): Tidy.
* algebra/limitps.spad.pamphlet (ElementaryFunctionSign): Likewise.
* algebra/view2D.spad.pamphlet (TwoDimensionalViewport): Likewise.
* algebra/view2D.spad.pamphlet (ThreeDimensionalViewport): Likewise.
Diffstat (limited to 'src/algebra/float.spad.pamphlet')
| -rw-r--r-- | src/algebra/float.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/float.spad.pamphlet b/src/algebra/float.spad.pamphlet index 32b0ae98..d8f7aa80 100644 --- a/src/algebra/float.spad.pamphlet +++ b/src/algebra/float.spad.pamphlet @@ -712,7 +712,7 @@ Float(): x = 0 => y = 0 => error "0**0 is undefined" y < 0 => error "division by 0" - y > 0 => 0 + 0 y = 0 => 1 y = 1 => x x = 1 => 1 @@ -724,7 +724,7 @@ Float(): x = 0 => r = 0 => error "0**0 is undefined" r < 0 => error "division by 0" - r > 0 => 0 + 0 r = 0 => 1 r = 1 => x x = 1 => 1 @@ -745,7 +745,7 @@ Float(): x = 0 => n = 0 => error "0**0 is undefined" n < 0 => error "division by 0" - n > 0 => 0 + 0 n = 0 => 1 n = 1 => x x = 1 => 1 |