DLMF:3.1.E3 (Q1065): Difference between revisions

From testwiki
Jump to navigation Jump to search
imported>Admin
 
imported>Admin
 
(5 intermediate revisions by the same user not shown)
Property / Symbols defined
 
Property / Symbols defined: underflow (locally) / rank
 
Normal rank
Property / Symbols defined
 
Property / Symbols defined: overflow (locally) / rank
 
Normal rank
Property / Symbols used
 
Property / Symbols used: Q10769 / rank
 
Normal rank
Property / Symbols used: Q10769 / qualifier
 
test:

equal-by definition {\displaystyle{\displaystyle\equiv}}

\defeq
Property / Symbols used: Q10769 / qualifier
 
xml-id: introduction.Sx4.p1.t1.r9.m2adec
Property / Symbols used
 
Property / Symbols used: Q11149 / rank
 
Normal rank
Property / Symbols used: Q11149 / qualifier
 
test:

p 𝑝 {\displaystyle{\displaystyle p}}

p
Property / Symbols used: Q11149 / qualifier
 
xml-id: C3.S1.XMD3.m1bdec
Property / Symbols used
 
Property / Symbols used: Q11151 / rank
 
Normal rank
Property / Symbols used: Q11151 / qualifier
 
test:

E min subscript 𝐸 min {\displaystyle{\displaystyle E_{{\rm min}}}}

E_{{\rm min}}
Property / Symbols used: Q11151 / qualifier
 
xml-id: C3.S1.XMD6.m1dec
Property / Symbols used
 
Property / Symbols used: Q11152 / rank
 
Normal rank
Property / Symbols used: Q11152 / qualifier
 
test:

E max subscript 𝐸 max {\displaystyle{\displaystyle E_{{\rm max}}}}

E_{{\rm max}}
Property / Symbols used: Q11152 / qualifier
 
xml-id: C3.S1.XMD7.m1dec

Latest revision as of 16:43, 1 January 2020

No description defined
Language Label Description Also known as
English
DLMF:3.1.E3
No description defined

    Statements

    N min 2 E min | x | 2 E max + 1 ( 1 - 2 - p ) N max . equal-by definition subscript 𝑁 min superscript 2 subscript 𝐸 min 𝑥 superscript 2 subscript 𝐸 max 1 1 superscript 2 𝑝 equal-by definition subscript 𝑁 max {\displaystyle{\displaystyle N_{{\rm min}}\equiv 2^{E_{{\rm min}}}\leq|x|\leq 2% ^{E_{{\rm max}}+1}\left(1-2^{-p}\right)\equiv N_{{\rm max}}.}}
    0 references
    0 references
    equal-by definition {\displaystyle{\displaystyle\equiv}}
    introduction.Sx4.p1.t1.r9.m2adec
    0 references
    p 𝑝 {\displaystyle{\displaystyle p}}
    C3.S1.XMD3.m1bdec
    0 references
    E min subscript 𝐸 min {\displaystyle{\displaystyle E_{{\rm min}}}}
    C3.S1.XMD6.m1dec
    0 references
    E max subscript 𝐸 max {\displaystyle{\displaystyle E_{{\rm max}}}}
    C3.S1.XMD7.m1dec
    0 references