Fungrim home page

Fungrim entry: ce8ee4

Symbol: Csgn csgn(z)\operatorname{csgn}(z) Real-valued sign function for complex numbers
Domain Codomain
zCz \in \mathbb{C} csgn(z){1,0,1}\operatorname{csgn}(z) \in \left\{-1, 0, 1\right\}
Table data: (P,Q)\left(P, Q\right) such that (P)        (Q)\left(P\right) \;\implies\; \left(Q\right)
Fungrim symbol Notation Short description
Csgncsgn(z)\operatorname{csgn}(z) Real-valued sign function for complex numbers
CCC\mathbb{C} Complex numbers
Source code for this entry:
    SymbolDefinition(Csgn, Csgn(z), "Real-valued sign function for complex numbers"),
    Table(TableRelation(Tuple(P, Q), Implies(P, Q)), TableHeadings(Description("Domain"), Description("Codomain")), List(Tuple(Element(z, CC), Element(Csgn(z), Set(-1, 0, 1))))),

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC