Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Constructor query



P1788

The group has discussed interval constructors at various times and there is probably a consensus that there should be these, where REAL means an unspecified floating point type and STRING a text-string type.
  nums2interval(REAL l, REAL u)   constructs [l,u] if l <= u. 
  num2interval(REAL x)            same as nums2interval(x,x). Vienna§4.1.
  text2interval(STRING t)         on the lines of Vienna §6.