New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Generate number with different distributions - Normal/Gaussian #29

Closed

Ana06 opened this issue Dec 20, 2017 · 0 comments · Fixed by #30

Member

Ana06 commented Dec 20, 2017 •

edited

Loading

Currently Rantly only allow to generate numbers with a uniform distribution. It is not possible to use any other distribution. And I would say this is not possible in Rantly, but also not in the Random Ruby class which seems to be really limited.

I would suggest starting with a normal distribution, also called Gaussian distribution. This distribution could be really useful for property testing, for example for generating random numbers that are closer to a limit case:

For example, if 17 is our limit case, the distribution would look like:

The text was updated successfully, but these errors were encountered:

Ana06 added a commit to Ana06/rantly that referenced this issue


          Allow to generate floats using normal distribution

a5da2a9

This allow us to generate points with more probability when we are
closer to a limit/key point.

The sum of 6 draws from a uniform distribution give as a draw of a
normal distribution centered in 3. This is communly used in programming
for simplicity and it is proved by the central limit theorem.

Contributes to rantly-rb#29

Pair-programmed by @Ana06 and @vicgalle.

Ana06 pushed a commit to Ana06/rantly that referenced this issue


          Allow to add the scale for the normal distribution

faf03a2

When generating floats using the normal distribution, allow to specify
the scale. This allow us to decide how close or far away should be the
generated points from the limit/key point.

Contributes to rantly-rb#29

Pair-programmed by @Ana06 and @vicgalle.

Ana06 added a commit to Ana06/rantly that referenced this issue


          Allow to generate floats using normal distribution

dd4d00a

This allow us to generate points with more probability when we are
closer to a limit/key point.

The sum of 6 draws from a uniform distribution give as a draw of a
normal distribution centered in 3. This is commonly used in programming
for simplicity and it is proved by the central limit theorem.

Contributes to rantly-rb#29

Pair-programmed by @Ana06 and @vicgalle.

Ana06 pushed a commit to Ana06/rantly that referenced this issue


          Allow to add the scale for the normal distribution

3f62b62

When generating floats using the normal distribution, allow to specify
the scale. This allow us to decide how close or far away should be the
generated points from the limit/key point.

Contributes to rantly-rb#29

Pair-programmed by @Ana06 and @vicgalle.

Ana06 mentioned this issue

Generate floats with Normal/Gaussian distribution #30

Merged

Ana06 added a commit to Ana06/rantly that referenced this issue


          Allow to generate floats using normal distribution

5308b13

This allow us to generate points with more probability when we are
closer to a limit/key point.

The sum of 6 draws from a uniform distribution give as a draw of a
normal distribution centered in 3. This is commonly used in programming
for simplicity and it is proved by the central limit theorem.

Contributes to rantly-rb#29

Pair-programmed by @Ana06 and @vicgalle.

Ana06 pushed a commit to Ana06/rantly that referenced this issue


          Allow to add the scale for the normal distribution

bfdf885

When generating floats using the normal distribution, allow to specify
the scale. This allow us to decide how close or far away should be the
generated points from the limit/key point.

Contributes to rantly-rb#29

Pair-programmed by @Ana06 and @vicgalle.

Ana06 pushed a commit to Ana06/rantly that referenced this issue


          Allow to add the scale for the normal distribution

8e2712d

When generating floats using the normal distribution, allow to specify
the scale. This allow us to decide how close or far away should be the
generated points from the limit/key point.

Contributes to rantly-rb#29

Pair-programmed by @Ana06 and @vicgalle.

Ana06 added a commit to Ana06/rantly that referenced this issue


          Allow to generate floats using normal distribution

4c71a99

This allow us to generate points with more probability when we are
closer to a limit/key point.

The sum of 6 draws from a uniform distribution give as a draw of a
normal distribution centered in 3. This is commonly used in programming
for simplicity and it is proved by the central limit theorem.

Contributes to rantly-rb#29

Pair-programmed by @Ana06 and @vicgalle.

Ana06 pushed a commit to Ana06/rantly that referenced this issue


          Allow to add the scale for the normal distribution

f4dbd29

When generating floats using the normal distribution, allow to specify
the scale. This allow us to decide how close or far away should be the
generated points from the limit/key point.

Contributes to rantly-rb#29

Pair-programmed by @Ana06 and @vicgalle.

Ana06 added a commit to Ana06/rantly that referenced this issue


          Allow to generate floats using normal distribution

009b9a3

This allow us to generate points with more probability when we are
closer to a limit/key point.

The sum of 6 draws from a uniform distribution give as a draw of a
normal distribution centered in 3. This is commonly used in programming
for simplicity and it is proved by the central limit theorem.

Contributes to rantly-rb#29

Pair-programmed by @Ana06 and @vicgalle.

Ana06 pushed a commit to Ana06/rantly that referenced this issue


          Allow to add the scale for the normal distribution

45b26f4

When generating floats using the normal distribution, allow to specify
the scale. This allow us to decide how close or far away should be the
generated points from the limit/key point.

Contributes to rantly-rb#29

Pair-programmed by @Ana06 and @vicgalle.

Ana06 added a commit to Ana06/rantly that referenced this issue


          Allow to generate floats using normal distribution

52cc1d9

This allow us to generate points with more probability when we are
closer to a limit/key point.

The sum of 6 draws from a uniform distribution give as a draw of a
normal distribution centered in 3. This is commonly used in programming
for simplicity and it is proved by the central limit theorem.

Contributes to rantly-rb#29

Pair-programmed by @Ana06 and @vicgalle.

Ana06 pushed a commit to Ana06/rantly that referenced this issue


          Allow to add the scale for the normal distribution

29722ae

When generating floats using the normal distribution, allow to specify
the scale. This allow us to decide how close or far away should be the
generated points from the limit/key point.

Contributes to rantly-rb#29

Pair-programmed by @Ana06 and @vicgalle.

Ana06 pushed a commit to Ana06/rantly that referenced this issue


          Allow to add the scale for the normal distribution

0e4b1f2

When generating floats using the normal distribution, allow to specify
the scale. This allow us to decide how close or far away should be the
generated points from the limit/key point.

Contributes to rantly-rb#29

Pair-programmed by @Ana06 and @vicgalle.

Ana06 added a commit to Ana06/rantly that referenced this issue


          Allow to generate floats using normal distribution

606b39c

This allow us to generate points with more probability when we are
closer to a limit/key point.

The sum of 6 draws from a uniform distribution give as a draw of a
normal distribution centered in 3. This is commonly used in programming
for simplicity and it is proved by the central limit theorem.

Contributes to rantly-rb#29

Co-authored-by: Víctor Gallego Alcalá <vicgalle@ucm.es>

Ana06 added a commit to Ana06/rantly that referenced this issue


          Allow to add the scale for the normal distribution

7564cf7

When generating floats using the normal distribution, allow to specify
the scale. This allow us to decide how close or far away should be the
generated points from the limit/key point.

Contributes to rantly-rb#29

Co-authored-by: Víctor Gallego Alcalá <vicgalle@ucm.es>

Ana06 added a commit to Ana06/rantly that referenced this issue


          Allow to generate floats using normal distribution

b1d8041

This allow us to generate points with more probability when we are
closer to a limit/key point.

The sum of 6 draws from a uniform distribution give as a draw of a
normal distribution centered in 3. This is commonly used in programming
for simplicity and it is proved by the central limit theorem.

Contributes to rantly-rb#29

Co-authored-by: Víctor Gallego Alcalá <vicgalle@ucm.es>

Ana06 added a commit to Ana06/rantly that referenced this issue


          Allow to add the scale for the normal distribution

f79d28d

When generating floats using the normal distribution, allow to specify
the scale. This allow us to decide how close or far away should be the
generated points from the limit/key point.

Contributes to rantly-rb#29

Co-authored-by: Víctor Gallego Alcalá <vicgalle@ucm.es>

Ana06 closed this as completed in #30

Ana06 added a commit to Ana06/rantly that referenced this issue


          Prepare version 1.2.0

6ad2d84

- Allow to generate floats using Gaussian distribution
  - [Issue rantly-rb#29][29]
  - thanks [Ana María Martínez Gómez][Ana María Martínez Gómez] and
    [Víctor Gallego][Víctor Gallego]
- NoMethodError` - undefined method`retry?` - when a test using `dict`
  fails
  - [Issue rantly-rb#39][39]
  - thanks [Ana María Martínez Gómez][Ana María Martínez Gómez]
- Correct typo in _Too many tries_ message
  - thanks [Ana María Martínez Gómez][Ana María Martínez Gómez]

Ana06 added a commit to Ana06/rantly that referenced this issue


          Prepare version 1.2.0

4a03468

- Allow to generate floats using Gaussian distribution
  - [Issue rantly-rb#29][29]
  - thanks [Ana María Martínez Gómez][Ana María Martínez Gómez] and
    [Víctor Gallego][Víctor Gallego]
- `NoMethodError` - undefined method `retry?` - when a test using `dict`
  fails
  - [Issue rantly-rb#39][39]
  - thanks [Ana María Martínez Gómez][Ana María Martínez Gómez]
- Correct typo in _Too many tries_ message
  - thanks [Ana María Martínez Gómez][Ana María Martínez Gómez]

Ana06 added a commit to Ana06/rantly that referenced this issue


          Prepare version 1.2.0

5d0a205

- Allow to generate floats using Gaussian distribution
  - [Issue rantly-rb#29](rantly-rb#29)
  - thanks [Ana María Martínez Gómez][Ana María Martínez Gómez] and [Víctor Gallego][Víctor Gallego]
- `NoMethodError` - undefined method `retry?` - when a test using `dict` fails
  - [Issue rantly-rb#39](rantly-rb#39)
  - thanks [Ana María Martínez Gómez][Ana María Martínez Gómez]
- Correct typo in _Too many tries_ message
  - thanks [Ana María Martínez Gómez][Ana María Martínez Gómez]

Ana06 added a commit to Ana06/rantly that referenced this issue


          Prepare version 1.2.0

72c4481

- Allow to generate floats using Gaussian distribution
  - Issue rantly-rb#29
  - thanks @Ana06 and @vicgalle
- `NoMethodError` - undefined method `retry?` - when a test using `dict` fails
  - Issue rantly-rb#39
  - thanks @Ana06
- Correct typo in _Too many tries_ message
  - thanks @Ana06

Ana06 added a commit to Ana06/rantly that referenced this issue


          Prepare version 1.2.0

6ab7a3f

- Allow to generate floats using Gaussian distribution
  - [Issue rantly-rb#29](rantly-rb#29)
  - thanks @Ana06 and [Víctor Gallego][Víctor Gallego]
- `NoMethodError` - undefined method `retry?` - when a test using `dict` fails
  - [Issue rantly-rb#39](rantly-rb#39)
  - thanks @Ana06
- Correct typo in _Too many tries_ message
  - thanks @Ana06

Ana06 added a commit to Ana06/rantly that referenced this issue


          Prepare version 1.2.0

7b440e0

- Allow to generate floats using Gaussian distribution
  - Issue rantly-rb#29
  - thanks @Ana06 and @vicgalle
- `NoMethodError` - undefined method `retry?` - when a test using `dict` fails
  - Issue rantly-rb#39
  - thanks @Ana06
- Correct typo in _Too many tries_ message
  - thanks @Ana06

Ana06 added a commit to Ana06/rantly that referenced this issue


          Prepare version 1.2.0

58e60e0

== New features ==
- Allow to generate floats using Gaussian distribution
  - Issue rantly-rb#29
  - thanks @Ana06 and @vicgalle
== Bug fixes ==
- `NoMethodError` - undefined method `retry?` - when a test using `dict` fails
  - Issue rantly-rb#39
  - thanks @Ana06
== Changes ==
- Correct typo in _Too many tries_ message
  - thanks @Ana06

Ana06 mentioned this issue

Merged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment