32 lines
		
	
	
		
			1.5 KiB
		
	
	
	
		
			Factor
		
	
	
			
		
		
	
	
			32 lines
		
	
	
		
			1.5 KiB
		
	
	
	
		
			Factor
		
	
	
USING: help.markup help.syntax math math.private math.functions
 | 
						|
math.complex.private ;
 | 
						|
IN: math.complex
 | 
						|
 | 
						|
ARTICLE: "complex-numbers-zero" "Embedding of real numbers in complex numbers"
 | 
						|
"Constructing a complex number with an imaginary component equal to an integer zero simply returns the real number corresponding to the real component:"
 | 
						|
{ $example "C{ 1 2 } C{ 3 -2 } + ." "4" }
 | 
						|
"Constructing a complex number with an imaginary component equal to floating point zero will still output a new complex number, however:"
 | 
						|
{ $example "C{ 0.0 2.0 } C{ 0.0 1.0 } * ." "C{ -2.0 0.0 }" }
 | 
						|
"Unlike math, where all real numbers are also complex numbers, Factor only considers a number to be a complex number if its imaginary part is non-zero. However, complex number operations are fully supported for real numbers; they are treated as having an imaginary part of zero." ;
 | 
						|
 | 
						|
ARTICLE: "complex-numbers" "Complex numbers"
 | 
						|
{ $subsections complex }
 | 
						|
"Complex numbers arise as solutions to quadratic equations whose graph does not intersect the " { $emphasis "x" } " axis. Their literal syntax is covered in " { $link "syntax-complex-numbers" } "."
 | 
						|
$nl
 | 
						|
"Complex numbers can be taken apart:"
 | 
						|
{ $subsections
 | 
						|
    real-part
 | 
						|
    imaginary-part
 | 
						|
    >rect
 | 
						|
}
 | 
						|
"Complex numbers can be constructed from real numbers:"
 | 
						|
{ $subsections
 | 
						|
    rect>
 | 
						|
    "complex-numbers-zero"
 | 
						|
}
 | 
						|
{ $see-also "syntax-complex-numbers" } ;
 | 
						|
HELP: complex
 | 
						|
{ $class-description "The class of complex numbers with non-zero imaginary part." } ;
 | 
						|
 | 
						|
ABOUT: "complex-numbers"
 |