integer factorization in Z(sqrt(2))
integer, list or set of integers in Z⁡2
Important: The numtheory package has been deprecated. Use the superseding command NumberTheory[FactorNormEuclidean] instead.
The sq2factor function returns the integer factorization of z.
All integers of Z⁡2 have the form a+b⁢2, where a and b are rational integers.
The answer is in the form: ±1⁢u⁢f1e1⁢...⁢fnen such that z=±1⋅⁢u⁢f1e1⁢…⁢⁢fnen where f1,…,fn are distinct prime factors of z, e1,…,en are non-negative integer numbers, u is a unit in Z⁡2 and is represented under the form wn or w&conjugate0;n or −wn or −w&conjugate0;n where w is the fundamental unit (i.e, w=1+2), and n is a non-negative integer.
The expand function may be applied to cause the factors to be multiplied together again.
The command with(numtheory,sq2factor) allows the use of the abbreviated form of this command.
Download Help Document
What kind of issue would you like to report? (Optional)