DLMF:26.10.E20 (Q8596): Difference between revisions

From MaRDI portal
← Older editNewer edit →
‎Changed an Item: Add constraint
‎Changed an Item: Add constraint
Property / Symbols used
 
Property / Symbols used: Q10792 / rank
 
Normal rank
Property / Symbols used: Q10792 / qualifier
 
DLMF defining formula:

ℤ {\displaystyle{\displaystyle\mathbb{Z}}}

\Integers
Property / Symbols used: Q10792 / qualifier
 
xml-id: introduction.Sx4.p2.t1.r20.m2adec

Revision as of 02:30, 22 December 2021

No description defined
Language Label Description Also known as
English
DLMF:26.10.E20
No description defined

    Statements

    DLMF defining formula
    [ [ x ] ] = { x - ⌊ x ⌋ - 1 2 , x ∉ ℤ , 0 , x ∈ ℤ . delimited-[] delimited-[] 𝑥 cases 𝑥 𝑥 1 2 𝑥 0 𝑥 {\displaystyle{\displaystyle[\![x]\!]=\begin{cases}x-\left\lfloor x\right% \rfloor-\tfrac{1}{2},&x\notin\mathbb{Z},\\ 0,&x\in\mathbb{Z}.\end{cases}}}
    0 references
    Symbols used
    Q10758
    DLMF defining formula
    ∈ {\displaystyle{\displaystyle\in}}
    xml-id
    introduction.Sx4.p1.t1.r10.m2agdec
    0 references
    Q11140
    DLMF defining formula
    ⌊ x ⌋ 𝑥 {\displaystyle{\displaystyle\left\lfloor\NVar{x}\right\rfloor}}
    xml-id
    introduction.Sx4.p1.t1.r17.m4adec
    0 references
    Q10792
    DLMF defining formula
    ℤ {\displaystyle{\displaystyle\mathbb{Z}}}
    xml-id
    introduction.Sx4.p2.t1.r20.m2adec
    0 references
     
      Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q8596&oldid=49495"
      Powered by MediaWiki