Assumptions:
TeX:
\operatorname{xgcd}\!\left(a, a\right) = \left(\left|a\right|, 0, \operatorname{sgn}\!\left(a\right)\right) a \in \mathbb{Z}
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
XGCD | Extended greatest common divisor | |
Abs | Absolute value | |
Sign | Sign function | |
ZZ | Integers |
Source code for this entry:
Entry(ID("945be9"), Formula(Equal(XGCD(a, a), Tuple(Abs(a), 0, Sign(a)))), Variables(a), Assumptions(Element(a, ZZ)))