Real

Real part of a complex number.

✓ checked against that system · ! checked, with disagreements (hover a chip)FungrimRe✓↗Fungrim entryWolfram LanguageRe✓↗

Real(complex | infinity) -> numberthe real part; of a directed infinity, the infinity of its sign, or 0 when it has none.

SageMathreal_part(complex | infinity)SymPyre(complex | infinity)mpmathre(complex | infinity)Juliaenumeratio_ball(real, complex | infinity)

Typed signatures

Type	Package	Applies
(complex | infinity) -> number	analyticreplaces compute-engine	always
(complex | infinity) -> number	compute-engine	always

Domain: Compute engine

Plot

ComplexPlot

real slice

Examples

Basic #

$\operatorname{Re}(3+4i) = 3$

live ↗

In$\Re(3+4i)$Out$3$

Properties #

Of a directed infinity, the infinity of its sign

live ↗

In$\Re(∞)$Out$∞$

About

Examples	2
Checked against	Wolfram Language 2 agreeSageMath 2 agreeSymPy 2 agreempmath 2 agreeJulia 1 agree1 error
Crosswalk	FungrimFungrim entry ×24Wolfram LanguageSageMathSymPympmathJulia

Implementation

mappedsympypackages/oracle/src/mappings.ts

mappedmpmathpackages/oracle/src/mappings.ts

mappedsagepackages/oracle/src/mappings.ts

mappedjuliapackages/oracle/src/mappings.ts