+
Point of view
All features
expanded class COMPLEX_64
Summary
top
Direct parents
Insert list: COMPLEX_GENERAL
Overview
top
set_i
effective procedure
{ANY}
top
Set Current to the imaginary unit
set (a_real_part: A_SIZE, an_imaginary_part: A_SIZE)
effective procedure
{ANY}
top
set_cartesian (a_real_part: A_SIZE, an_imaginary_part: A_SIZE)
effective procedure
{ANY}
top
set_polar (a_modulus: A_SIZE, a_phase: A_SIZE)
effective procedure
{ANY}
top
infix "+" (other: COMPLEX_64): COMPLEX_64
effective function
{ANY}
top
Sum with other (commutative).
infix "-" (other: COMPLEX_64): COMPLEX_64
effective function
{ANY}
top
Result of subtracting other.
infix "*" (other: COMPLEX_64): COMPLEX_64
effective function
{ANY}
top
Product by other.
infix "/" (other: COMPLEX_64): COMPLEX_64
effective function
{ANY}
top
Division by other.
infix "^" (e: INTEGER_32): COMPLEX_64
effective function
{ANY}
top
prefix "+": COMPLEX_64
effective function
{ANY}
top
Unary plus of Current.
prefix "-": COMPLEX_64
effective function
{ANY}
top
Unary minus of Current.
divisible (other: COMPLEX_64): BOOLEAN
effective function
{ANY}
top
May Current be divided by other ?
hash_code: INTEGER_32
effective function
{ANY}
top
The hash-code value of Current.
real_sign: INTEGER_8
effective function
{ANY}
top
Sign of Current (0 -1 or 1).
sign: COMPLEX_64
effective function
{ANY}
top
is_zero: BOOLEAN
effective function
{ANY}
top
zero: COMPLEX_64
effective function
{ANY}
top
Neutral element for "+" and "-".
one: COMPLEX_64
effective function
{ANY}
top
Neutral element for "*" and "/".
i: COMPLEX_64
effective function
{ANY}
top
Imaginary unit
is_equal (other: COMPLEX_64): BOOLEAN
effective function
{ANY}
top
Is other attached to an object considered equal to current object?
is_near_equal (other: COMPLEX_64): BOOLEAN
effective function
{ANY}
top
infix "~=" (other: COMPLEX_64): BOOLEAN
effective function
{ANY}
top
conjugate: COMPLEX_64
effective function
{ANY}
top
real: A_SIZE
writable attribute
{ANY}
top
imaginary: A_SIZE
writable attribute
{ANY}
top
modulus: A_SIZE
effective function
{ANY}
top
phase: A_SIZE
effective function
{ANY}
top
squared_modulus: A_SIZE
effective function
{ANY}
top
out: STRING
effective function
{ANY}
top
do 
   Result := "("
   real.append_in(Result)
   Result.append(once ", ")
   imaginary.append_in(Result)
   Result.append_character(')')
fill_tagged_out_memory
effective procedure
{ANY}
top
Append a viewable information in tagged_out_memory in order to affect the behavior of out, tagged_out, etc.
Pi: REAL_64
is 3.1415926535897932384626
constant attribute
{ANY}
top
Pi
Pi_2: REAL_64
is 1.5707963267948966192313
constant attribute
{ANY}
top
Pi divided by 2
Pi_4: REAL_64
is 0.7853981633974483096156
constant attribute
{ANY}
top
Pi divided by 4
Inv_pi: REAL_64
is 0.31830988618379067153
constant attribute
{ANY}
top
Inverse pi
Sqr_2pi: REAL_64
is 2.50662827463100050241
constant attribute
{ANY}
top
Square root of 2 pi
Tau: REAL_64
is 6.2831852707795864769252
constant attribute
{ANY}
top
Tau (2Pi)
Sqr_tau: REAL_64
is 2.50662827463100050241
constant attribute
{ANY}
top
Square root of Tau
Inv_tau: REAL_64
is 0.15915494401391811225565
constant attribute
{ANY}
top
Inverse of tau
Evalue: REAL_64
is 2.7182818284590452353602
constant attribute
{ANY}
top
e (Euler's number)
Inv_evalue: REAL_64
is 0.36787944117144232159
constant attribute
{ANY}
top
Inverse e
Deg: REAL_64
is 57.2957795130823208767981
constant attribute
{ANY}
top
Degrees/Radian
Phi: REAL_64
is 1.6180339887498948482045
constant attribute
{ANY}
top
Golden Ratio
Cheb: REAL_64
is 0.59017029950804811302
constant attribute
{ANY}
top
Chebyshev constant
Zeta_2: REAL_64
is 1.64493406684822643647
constant attribute
{ANY}
top
Riemann Function
Check_instruction: INTEGER_32
is 1
constant attribute
{ANY}
top
Exception code for violated check.
Class_invariant: INTEGER_32
is 2
constant attribute
{ANY}
top
Exception code for violated class invariant.
Developer_exception: INTEGER_32
is 3
constant attribute
{ANY}
top
Exception code for developer exception.
Incorrect_inspect_value: INTEGER_32
is 4
constant attribute
{ANY}
top
Exception code for inspect statement.
Loop_invariant: INTEGER_32
is 5
constant attribute
{ANY}
top
Exception code for violated loop invariant
Loop_variant: INTEGER_32
is 6
constant attribute
{ANY}
top
Exception code for non-decreased loop variant
No_more_memory: INTEGER_32
is 7
constant attribute
{ANY}
top
Exception code for failed memory allocation
Postcondition: INTEGER_32
is 8
constant attribute
{ANY}
top
Exception code for violated postcondition.
Precondition: INTEGER_32
is 9
constant attribute
{ANY}
top
Exception code for violated precondition.
Routine_failure: INTEGER_32
is 10
constant attribute
{ANY}
top
Exception code for failed routine.
Os_signal: INTEGER_32
is 11
constant attribute
{ANY}
top
Exception code for a signal received from the OS.
Void_attached_to_expanded: INTEGER_32
is 12
constant attribute
{ANY}
top
Exception code for attachment of Void value to expanded entity.
Void_call_target: INTEGER_32
is 13
constant attribute
{ANY}
top
Exception code for feature applied to Void reference
System_level_type_error: INTEGER_32
is 14
constant attribute
{ANY}
top
Exception code for the system-level type error (this kind of error mostly arise with covariant redefinition).
exception_name: STRING
effective function
{ANY}
top
name_of_exception (a_exception: INTEGER_32): STRING
effective function
{ANY}
top
developer_exception: EXCEPTION
effective function
{ANY}
top
The last developer-thrown exception.
developer_exception_name: STRING
effective function
{ANY}
top
Name of last developer-raised exception.
is_developer_exception: BOOLEAN
effective function
{ANY}
top
Is the last exception originally due to a developer exception?
is_developer_named_exception: BOOLEAN
effective function
{ANY}
top
Is the last exception originally due to a developer exception?
is_developer_exception_of_name (name: STRING): BOOLEAN
effective function
{ANY}
top
Is the last exception originally due to a developer exception of name name?
assertion_violation: BOOLEAN
effective function
{ANY}
top
Is last exception originally due to a violated assertion or non-decreasing variant?
exception: INTEGER_32
{ANY}
top
Code of last exception that occurred.
is_signal: BOOLEAN
effective function
{ANY}
top
Is last exception originally due to an external event (operating system signal) ?
die (code: INTEGER_32)
effective procedure
{ANY}
top
Terminate execution with exit status code, without triggering an exception.
raise (name: STRING)
effective procedure
{ANY}
top
Raise a developer exception of name name.
throw (a_exception: EXCEPTION)
effective procedure
{ANY}
top
signal_number: INTEGER_32
{ANY}
top
Signal Number received from OS.
named_exception: NAMED_EXCEPTION
once function
{}
top
developer_exception_memory: REFERENCE[EXCEPTION]
once function
{}
top
raise_exception (code: INTEGER_32)
{}
top