Skip to content

Commit

Permalink
Add descriptions for {Hour,Min,Sec,ms}FromTime
Browse files Browse the repository at this point in the history
  • Loading branch information
jmdyck committed Jun 6, 2023
1 parent b522f0b commit 9c88526
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions spec.html
Original file line number Diff line number Diff line change
Expand Up @@ -32269,6 +32269,8 @@ <h1>
): an integral Number in the inclusive interval from *+0*<sub>𝔽</sub> to *23*<sub>𝔽</sub>
</h1>
<dl class="header">
<dt>description</dt>
<dd>It returns the hour of the day in which _t_ falls.</dd>
</dl>
<emu-alg>
1. Return 𝔽(floor(ℝ(_t_ / msPerHour)) modulo HoursPerDay).
Expand All @@ -32282,6 +32284,8 @@ <h1>
): an integral Number in the inclusive interval from *+0*<sub>𝔽</sub> to *59*<sub>𝔽</sub>
</h1>
<dl class="header">
<dt>description</dt>
<dd>It returns the minute of the hour in which _t_ falls.</dd>
</dl>
<emu-alg>
1. Return 𝔽(floor(ℝ(_t_ / msPerMinute)) modulo MinutesPerHour).
Expand All @@ -32295,6 +32299,8 @@ <h1>
): an integral Number in the inclusive interval from *+0*<sub>𝔽</sub> to *59*<sub>𝔽</sub>
</h1>
<dl class="header">
<dt>description</dt>
<dd>It returns the second of the minute in which _t_ falls.</dd>
</dl>
<emu-alg>
1. Return 𝔽(floor(ℝ(_t_ / msPerSecond)) modulo SecondsPerMinute).
Expand All @@ -32308,6 +32314,8 @@ <h1>
): an integral Number in the inclusive interval from *+0*<sub>𝔽</sub> to *999*<sub>𝔽</sub>
</h1>
<dl class="header">
<dt>description</dt>
<dd>It returns the millisecond of the second in which _t_ falls.</dd>
</dl>
<emu-alg>
1. Return 𝔽(ℝ(_t_) modulo ℝ(msPerSecond)).
Expand Down

0 comments on commit 9c88526

Please sign in to comment.