Name
Abstract | ||
|---|---|---|
Polynomials over the Gaussian integers Z[i] are a unique factorization domain, and the units in Z[i] are 1, -1, i and --i. To implement the advantageous uniqueness, we might have to factor one of these units out of some multinomial factors to make all of the factors unit normal. Not doing so can lead to unnecessarily complicated results, disastrous unrecognized division by 0, and lost opportunities to obtain closed-form integrals, sums, limits, equation solutions, etc. For example, the default simplification of at least two major computer algebra systems don't recognize that the linear factors in the numerator and denominator of the following ratio are proportional, hence do not simplify the ratio to 1: --i ((1 + i) z + i) / (1 -- i) z + 1 →1. Unlike polynomials over the integers or rational numbers, the literature doesn't appear to address unit normalization over the Gaussian integers. Therefore this note proposes two alternative definitions. They are easy to implement, execute quickly, and can't greatly increase the bulk of an expression. Consequently they are good candidates for inclusion in the default simplification of every computer algebra system. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1145/1823931.1823934 | ACM Comm. Computer Algebra |
Keywords | Field | DocType |
gaussian integers z,following ratio,factors unit,unit normalization,computer algebra system,major computer algebra system,advantageous uniqueness,gaussian integer,default simplification,alternative definition,rational number | Integer,Discrete mathematics,Gaussian integer,Uniqueness,Combinatorics,Rational number,Polynomial,Symbolic computation,Unique factorization domain,Mathematics,Fraction (mathematics) | Journal |
Volume | Issue | Citations |
43 | 3/4 | 3 |
PageRank | References | Authors |
0.52 | 0 | 1 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| David R. Stoutemyer | 1 | 49 | 19.14 |