The seq() built-in function in DaphneDSL creates an increasing sequence of numbers from a given start to a given end in increments of a given inc. In fact, the increment is very often 1, so for convenience, it would be great to make the increment an optional argument.
This can and should be done purely at the DSL level (no need for a deeper integration into DaphneDSL or the kernels). The change can be implemented in src/parser/daphnedsl/DaphneDSLBuiltins.cpp. It should be accompanied by some script-level test cases.
The
seq()
built-in function in DaphneDSL creates an increasing sequence of numbers from a givenstart
to a givenend
in increments of a giveninc
. In fact, the increment is very often1
, so for convenience, it would be great to make the increment an optional argument.This can and should be done purely at the DSL level (no need for a deeper integration into DaphneDSL or the kernels). The change can be implemented in
src/parser/daphnedsl/DaphneDSLBuiltins.cpp
. It should be accompanied by some script-level test cases.