diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-12-27 19:16:40 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-12-27 19:16:40 +0000 |
| commit | e51b2aa30afc0e65cca5bfc32d32dd9471fd65ea (patch) | |
| tree | 4d2fd56347cc09adba11747665d1cddcbf7c8ce7 /src/algebra/strap/UFD-.lsp | |
| parent | fdc64c2abcdf53d9afee4541503d1d17763ee92c (diff) | |
| download | open-axiom-e51b2aa30afc0e65cca5bfc32d32dd9471fd65ea.tar.gz | |
* algebra/catdef.spad.pamphlet (OrderedFinite): Export `min' and
`max' values.
* algebra/si.spad.pamphlet (SingleInteger): Now satisfies
OrderedFinite. Tidy.
Diffstat (limited to 'src/algebra/strap/UFD-.lsp')
0 files changed, 0 insertions, 0 deletions