Revision #748 → #1101 · back to history
addedComplex conjugate4d00d7cc8ba6
addedConjugate in polar form0e74bfb217aa
addedProduct of a number and its conjugate is real0141a622cc64
addedComplex conjugate root theoreme52025aef33b
addedConjugation distributes over arithmetica2a5c7e7fb0a
addedFixed points of conjugation are reals0131542f7c82
addedConjugation preserves modulus5b51a429960d
addedConjugation is an involution72ab8baea36e
addedProduct with conjugate equals modulus squared1e4a42c7ad91
addedConjugation commutes with exp, log, integer powers923344b73011
addedReal polynomial roots in conjugate pairsc81429d097f2
addedConjugation commutes with real-valued holomorphic functions58b64d583d36
addedConjugation is a field automorphism fixing R6ab5067336c4
addedRecovering real/imaginary parts, modulus, argument from conjugate5118a43528ed
addedLines in the plane via conjugate753a10809ec1
addedConjugation on matricesb49662995c3b
addedQuaternion conjugation8a442b81f538
addedGeneralized conjugation is multiplicative with reversal1465bc628c46
addedComplex conjugation / real structure on a vector spaceb5669639ff4d