Initial work

This commit is contained in:
bluepython508 committed 2023-11-01 08:55:40 +00:00
1 parent 996ea45153
commit 688d1ec426
48 files changed
+1148

No files matched your search

+9
View File
@@ -0,0 +1,9 @@
Leading coefficient of a polynomial is the coefficient of the highest power of x.
Leading coefficient is inherently non-zero
Monic polynomials: leading coefficient == 1
Rational Root Theorem:
forall P(x): polynomial of degree n with integer coefficients
forall p, q: Z such that p/q is a root of P(x)
p is a factor of a[0]
q is a factor of a[n]