[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## [Axiom-developer] [#227 'random()$Integer' is a strange function]

**From**: |
kratt6 |

**Subject**: |
[Axiom-developer] [#227 'random()$Integer' is a strange function] |

**Date**: |
Mon, 14 Nov 2005 09:46:33 -0600 |

Changes http://wiki.axiom-developer.org/227RandomIntegerIsAStrangeFunction/diff
--
Using browse I found that 'random()' is implemented only for three types:
- 'QuotientFieldCategory' if has 'IntegerNumberSystem'
- 'IntegerNumberSystem'
- 'Finite'
I think the first two should go away, since, mathematically they make no sense.
'random()' is not implemented for 'Float'. In fact, I could not find a single
affected operation! If you find one, could you please post it here? Caution:
there are some domains, for example 'FSAGG' that use 'random()\$Integer', but
only in the finite case. In fact, it appears to me that their use is
mathematically wrong and should be replaced by 'random(n)\$Integer'.
Martin
--
forwarded from http://wiki.axiom-developer.org/address@hidden

**[Axiom-developer] [#227 'random()$Integer' is a strange function]**, *kratt6*, `2005/11/04`
**[Axiom-developer] [#227 'random()$Integer' is a strange function]**, *wyscc*, `2005/11/14`
**[Axiom-developer] [#227 'random()$Integer' is a strange function]**, *wyscc*, `2005/11/14`
**[Axiom-developer] [#227 'random()$Integer' is a strange function]**,
*kratt6* **<=**
**[Axiom-developer] [#227 'random()$Integer' is a strange function]**, *kratt6*, `2005/11/15`
**[Axiom-developer] [#227 'random()$Integer' is a strange function]**, *wyscc*, `2005/11/16`
**[Axiom-developer] [#227 'random()$Integer' is a strange function]**, *kratt6*, `2005/11/21`
**[Axiom-developer] [#227 'random()$Integer' is a strange function]**, *unknown*, `2005/11/21`