|
Adds additional random data points to the beginning and end of the given data. Values are
taken at random from the original data.
-
data
:
'a[]
-
An array of values
-
borderpadding
:
int
-
The number of points to add to each end
-
Returns:
'a[]
let data = [|0.1; 0.2; 0.3; 0.4|]
let padding = 2
// padding the data points with 2 artificial random-valued points on each side
let paddedData = Padding.Discrete.padRnd data padding
|
|
Adds additional data points with value zero to the beginning and end of the given data.
-
data
:
'a[]
-
An array of values
-
borderpadding
:
int
-
The number of points to add to each end
-
Returns:
'a[]
-
let data = [|0.1; 0.2; 0.3; 0.4|]
let padding = 2
// padding the data points with 2 artificial zero-valued points on each side
let paddedData = Padding.Discrete.padZero data padding
|