Beefy Boxes and Bandwidth Generously Provided by pair Networks
Perl-Sensitive Sunglasses
 
PerlMonks  

Re^3: How to get better exponentiation? (undefined)

by LanX (Saint)
on Jan 24, 2022 at 13:18 UTC ( [id://11140789]=note: print w/replies, xml ) Need Help??


in reply to Re^2: How to get better exponentiation? (undefined)
in thread How to get better exponentiation?

Yes, thanks.

But I was talking about mathematical definitions and these are CS standards.

For instance: pure math has no big notion of floating point numbers.

Personally I'm fine with allowing root($x,$o) with $x<0 and $o odd integer in a computer.

But I could imagine reasons in the realm of mathematical modeling of functions to consider them undefined.

> the second argument has a non-integer value

I'd say because there is no way to express 1/$o loss free as binary floating point number ('$o odd integer')

update

see also https://en.wikipedia.org/wiki/Cube_root#Complex_numbers

    With this definition, the principal cube root of a negative number is a complex number, and for instance 3√−8 will not be −2, but rather 1 + i√3.

Cheers Rolf
(addicted to the Perl Programming Language :)
Wikisyntax for the Monastery

Replies are listed 'Best First'.
Re^4: How to get better exponentiation? (undefined)
by syphilis (Archbishop) on Jan 25, 2022 at 06:37 UTC
    see also https://en.wikipedia.org/wiki/Cube_root#Complex_numbers

    I don't think they are intending to cast aspersions on the validity of taking a cube root of a -ve Real number.
    They even state "For real numbers, we can define a unique cube root of all real numbers.".
    They follow that immediately with "If this definition is used, the cube root of a negative number is a negative number."
    That wording is a bit odd, but I don't think they're suggesting that there's some alternative stance to take wrt cube roots of -ve Real numbers in the *Real* field.
    Rather, I think they're acknowledging that this definition is deficient in the Complex field (even for -ve Real numbers in the Complex field) because, in the *Complex* field, the relationship between a -ve Real and its cube root is no longer one-to-one. It's one-to-three.

    Cheers,
    Rob

Log In?
Username:
Password:

What's my password?
Create A New User
Domain Nodelet?
Node Status?
node history
Node Type: note [id://11140789]
help
Chatterbox?
and the web crawler heard nothing...

How do I use this?Last hourOther CB clients
Other Users?
Others wandering the Monastery: (4)
As of 2024-04-24 21:11 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?

    No recent polls found