Ceiling: Difference between revisions

From APL Wiki
Jump to navigation Jump to search
(Link to ≥)
 
(6 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Built-in|Ceiling|⌈}} is a [[monadic]] [[scalar function]] that gives the [[wikipedia:floor and ceiling functions|ceiling]] of a real number, that is, the least integer [[Comparison tolerance|tolerantly]] [[greater than or equal to]] the given value. This operation is also known as '''round up'''. Ceiling shares the [[glyph]] <source lang=apl inline>⌈</source> with the dyadic arithmetic function [[Maximum]]. [[Comparison_with_traditional_mathematics#Prefix|Traditional mathematics]] derives [[Ken_Iverson#Floor_and_Ceiling|its notation]] and name for ceiling from APL.
{{Built-in|Ceiling|⌈}} is a [[monadic]] [[scalar function]] that gives the [[wikipedia:floor and ceiling functions|ceiling]] of a real number, that is, the least integer tolerantly<ref>[[Robert Bernecky|Bernecky, Robert]]. [https://www.jsoftware.com/papers/satn23.htm "Comparison Tolerance"]. Sharp APL Technical Notes. 1977-06-10;.</ref> [[greater than or equal to]] the given value. This operation is also known as '''round up'''. Ceiling shares the [[glyph]] <syntaxhighlight lang=apl inline>⌈</syntaxhighlight> with the dyadic arithmetic function [[Maximum]]. [[Comparison_with_traditional_mathematics#Prefix|Traditional mathematics]] derives [[Ken_Iverson#Floor_and_Ceiling|its notation]] and name for ceiling from APL.


== Examples ==
== Examples ==
Line 5: Line 5:
Ceiling rounds up the given numbers to the nearest integers.
Ceiling rounds up the given numbers to the nearest integers.


<source lang=apl>
<syntaxhighlight lang=apl>
       ⌈2 2.8 ¯2 ¯2.8
       ⌈2 2.8 ¯2 ¯2.8
2 3 ¯2 ¯2
2 3 ¯2 ¯2
</source>
</syntaxhighlight>


== Properties ==
== Properties ==
Line 16: Line 16:
Ceiling is affected by [[comparison tolerance]]. If the given number is [[tolerant comparison|tolerantly equal]] to its [[floor]], it is rounded to that number instead.
Ceiling is affected by [[comparison tolerance]]. If the given number is [[tolerant comparison|tolerantly equal]] to its [[floor]], it is rounded to that number instead.


<source lang=apl>
<syntaxhighlight lang=apl>
       ⎕PP←16
       ⎕PP←16
       ⊢v←1+0.6×⎕CT×0 1 2
       ⎕←v←1+0.6×⎕CT×0 1 2
1 1.000000000000006 1.000000000000012
1 1.000000000000006 1.000000000000012
       ⌈v
       ⌈v
1 1 2
1 1 2
</source>
</syntaxhighlight>


Ceiling is the dual to [[Floor]] by [[negate|negation]].
Ceiling is the dual to [[Floor]] by [[negate|negation]].


<source lang=apl>
<syntaxhighlight lang=apl>
       v←2 2.8 ¯2 ¯2.8
       v←2 2.8 ¯2 ¯2.8
       (⌈v)≡-⌊-v
       (⌈v)≡-⌊-v
1
1
</source>
</syntaxhighlight>


The extension for [[complex number|complex numbers]] is derived from [[complex Floor]] via this property.
The extension for [[complex number|complex numbers]] is derived from [[complex Floor]] via this property.


<source lang=apl>
<syntaxhighlight lang=apl>
       v←1.8J2.5 2.5J2.2 1.7J2.2
       v←1.8J2.5 2.5J2.2 1.7J2.2
       ⌈v
       ⌈v
Line 40: Line 40:
       (⌈v)≡-⌊-v
       (⌈v)≡-⌊-v
1
1
</source>{{Works in|[[Dyalog APL]]}}
</syntaxhighlight>{{Works in|[[Dyalog APL]]}}


== External links ==
== External links ==
Line 46: Line 46:
=== Documentation ===
=== Documentation ===


* [http://help.dyalog.com/latest/#Language/Primitive%20Functions/Ceiling.htm Dyalog]
* [https://help.dyalog.com/latest/#Language/Primitive%20Functions/Ceiling.htm Dyalog]
* [http://microapl.com/apl_help/ch_020_020_090.htm APLX]
* [http://microapl.com/apl_help/ch_020_020_090.htm APLX]
* [https://www.jsoftware.com/help/dictionary/d021.htm J Dictionary], [https://code.jsoftware.com/wiki/Vocabulary/gtdot NuVoc]
* [https://www.jsoftware.com/help/dictionary/d021.htm J Dictionary], [https://code.jsoftware.com/wiki/Vocabulary/gtdot NuVoc]
* [https://mlochbaum.github.io/BQN/doc/arithmetic.html#additional-arithmetic BQN]
== References ==
<references />
{{APL built-ins}}[[Category:Primitive functions]][[Category:Scalar monadic functions]]
{{APL built-ins}}[[Category:Primitive functions]][[Category:Scalar monadic functions]]

Latest revision as of 21:57, 28 November 2022

⌈

Ceiling (⌈) is a monadic scalar function that gives the ceiling of a real number, that is, the least integer tolerantly[1] greater than or equal to the given value. This operation is also known as round up. Ceiling shares the glyph ⌈ with the dyadic arithmetic function Maximum. Traditional mathematics derives its notation and name for ceiling from APL.

Examples

Ceiling rounds up the given numbers to the nearest integers. 

      ⌈2 2.8 ¯2 ¯2.8
2 3 ¯2 ¯2

Properties

The ceiling of any real number is an integer.

Ceiling is affected by comparison tolerance. If the given number is tolerantly equal to its floor, it is rounded to that number instead. 

      ⎕PP←16
      ⎕←v←1+0.6×⎕CT×0 1 2
1 1.000000000000006 1.000000000000012
      ⌈v
1 1 2

Ceiling is the dual to Floor by negation. 

      v←2 2.8 ¯2 ¯2.8
      (⌈v)≡-⌊-v
1

The extension for complex numbers is derived from complex Floor via this property. 

      v←1.8J2.5 2.5J2.2 1.7J2.2
      ⌈v
2J3 3J2 2J2
      (⌈v)≡-⌊-v
1
Works in: Dyalog APL

External links

Documentation

References

  1. ↑ Bernecky, Robert. "Comparison Tolerance". Sharp APL Technical Notes. 1977-06-10;.
APL built-ins [edit]
Primitives (Timeline) Functions
Scalar
Monadic Conjugate ∙ Negate ∙ Signum ∙ Reciprocal ∙ Magnitude ∙ Exponential ∙ Natural Logarithm ∙ Floor ∙ Ceiling ∙ Factorial ∙ Not ∙ Pi Times ∙ Roll ∙ Type ∙ Imaginary ∙ Square Root ∙ Round
Dyadic Add ∙ Subtract ∙ Times ∙ Divide ∙ Residue ∙ Power ∙ Logarithm ∙ Minimum ∙ Maximum ∙ Binomial ∙ Comparison functions ∙ Boolean functions (And, Or, Nand, Nor) ∙ GCD ∙ LCM ∙ Circular ∙ Complex ∙ Root
Non-Scalar
Structural Shape ∙ Reshape ∙ Tally ∙ Depth ∙ Ravel ∙ Enlist ∙ Table ∙ Catenate ∙ Reverse ∙ Rotate ∙ Transpose ∙ Raze ∙ Mix ∙ Split ∙ Enclose ∙ Nest ∙ Cut (K) ∙ Pair ∙ Link ∙ Partitioned Enclose ∙ Partition
Selection First ∙ Pick ∙ Take ∙ Drop ∙ Unique ∙ Identity ∙ Stop ∙ Select ∙ Replicate ∙ Expand ∙ Set functions (Intersection ∙ Union ∙ Without) ∙ Bracket indexing ∙ Index ∙ Cartesian Product ∙ Sort
Selector Index generator ∙ Grade ∙ Index Of ∙ Interval Index ∙ Indices ∙ Deal ∙ Prefix and suffix vectors
Computational Match ∙ Not Match ∙ Membership ∙ Find ∙ Nub Sieve ∙ Encode ∙ Decode ∙ Matrix Inverse ∙ Matrix Divide ∙ Format ∙ Execute ∙ Materialise ∙ Range
Operators Monadic Each ∙ Commute ∙ Constant ∙ Replicate ∙ Expand ∙ Reduce ∙ Windowed Reduce ∙ Scan ∙ Outer Product ∙ Key ∙ I-Beam ∙ Spawn ∙ Function axis ∙ Identity (Null, Ident)
Dyadic Bind ∙ Compositions (Compose, Reverse Compose, Beside, Withe, Atop, Over) ∙ Inner Product ∙ Determinant ∙ Power ∙ At ∙ Under ∙ Rank ∙ Depth ∙ Variant ∙ Stencil ∙ Cut ∙ Direct definition (operator) ∙ Identity (Lev, Dex)
Quad names Index origin ∙ Comparison tolerance ∙ Migration level ∙ Atomic vector
Retrieved from ‘https://aplwiki.com/index.php?title=Ceiling&oldid=9946’