DLMF:13.9.E6 (Q4449): Difference between revisions

From testwiki
Jump to navigation Jump to search
← Older editNewer edit →
imported>Admin
imported>Admin
Property / Symbols used
 
Property / Symbols used: Q11169 / rank
 
Normal rank
Property / Symbols used: Q11169 / qualifier
 
test:

⌊ x ⌋ 𝑥 {\displaystyle{\displaystyle\left\lfloor\NVar{x}\right\rfloor}}

\floor{\NVar{x}}
Property / Symbols used: Q11169 / qualifier
 
xml-id: introduction.Sx4.p1.t1.r17.m4aadec

Revision as of 14:59, 2 January 2020

No description defined
Language Label Description Also known as
English
DLMF:13.9.E6
No description defined

    Statements

    test
    p ⁢ ( a , b ) = ⌊ 1 2 ⁢ ( ⌈ - b ⌉ - ⌈ - a ⌉ + 1 ) ⌋ - ⌊ 1 2 ⁢ ( ⌈ - b ⌉ - ⌈ - a ⌉ ) ⌋ , 𝑝 𝑎 𝑏 1 2 𝑏 𝑎 1 1 2 𝑏 𝑎 {\displaystyle{\displaystyle p(a,b)=\left\lfloor\tfrac{1}{2}\left(\left\lceil-% b\right\rceil-\left\lceil-a\right\rceil+1\right)\right\rfloor-\left\lfloor% \tfrac{1}{2}\left(\left\lceil-b\right\rceil-\left\lceil-a\right\rceil\right)% \right\rfloor,}}
    0 references
    DLMF id
    DLMF:13.9.E6
    0 references
    constraint
    ⌈ - b ⌉ > ⌈ - a ⌉ > 0 𝑏 𝑎 0 {\displaystyle{\displaystyle\left\lceil-b\right\rceil>\left\lceil-a\right% \rceil>0}}
    0 references
    Symbols used
    Q11573
    test
    ⌈ x ⌉ 𝑥 {\displaystyle{\displaystyle\left\lceil\NVar{x}\right\rceil}}
    xml-id
    introduction.Sx4.p1.t1.r18.m4abdec
    0 references
    Q11169
    test
    ⌊ x ⌋ 𝑥 {\displaystyle{\displaystyle\left\lfloor\NVar{x}\right\rfloor}}
    xml-id
    introduction.Sx4.p1.t1.r17.m4aadec
    0 references
     
      Retrieved from "https://lct.wmflabs.org/w/index.php?title=Item:Q4449&oldid=24133"