1990-10-13 16:23:40 -03:00
|
|
|
# module 'poly' -- Polynomials
|
|
|
|
|
|
|
|
# A polynomial is represented by a list of coefficients, e.g.,
|
|
|
|
# [1, 10, 5] represents 1*x**0 + 10*x**1 + 5*x**2 (or 1 + 10x + 5x**2).
|
|
|
|
# There is no way to suppress internal zeros; trailing zeros are
|
|
|
|
# taken out by normalize().
|
|
|
|
|
|
|
|
def normalize(p): # Strip unnecessary zero coefficients
|
2004-07-18 03:16:08 -03:00
|
|
|
n = len(p)
|
|
|
|
while n:
|
|
|
|
if p[n-1]: return p[:n]
|
|
|
|
n = n-1
|
|
|
|
return []
|
1990-10-13 16:23:40 -03:00
|
|
|
|
|
|
|
def plus(a, b):
|
2004-07-18 03:16:08 -03:00
|
|
|
if len(a) < len(b): a, b = b, a # make sure a is the longest
|
|
|
|
res = a[:] # make a copy
|
|
|
|
for i in range(len(b)):
|
|
|
|
res[i] = res[i] + b[i]
|
|
|
|
return normalize(res)
|
1990-10-13 16:23:40 -03:00
|
|
|
|
|
|
|
def minus(a, b):
|
2004-07-18 03:16:08 -03:00
|
|
|
neg_b = map(lambda x: -x, b[:])
|
|
|
|
return plus(a, neg_b)
|
1990-10-13 16:23:40 -03:00
|
|
|
|
|
|
|
def one(power, coeff): # Representation of coeff * x**power
|
2004-07-18 03:16:08 -03:00
|
|
|
res = []
|
|
|
|
for i in range(power): res.append(0)
|
|
|
|
return res + [coeff]
|
1990-10-13 16:23:40 -03:00
|
|
|
|
|
|
|
def times(a, b):
|
2004-07-18 03:16:08 -03:00
|
|
|
res = []
|
|
|
|
for i in range(len(a)):
|
|
|
|
for j in range(len(b)):
|
|
|
|
res = plus(res, one(i+j, a[i]*b[j]))
|
|
|
|
return res
|
1990-10-13 16:23:40 -03:00
|
|
|
|
|
|
|
def power(a, n): # Raise polynomial a to the positive integral power n
|
2004-07-18 03:16:08 -03:00
|
|
|
if n == 0: return [1]
|
|
|
|
if n == 1: return a
|
|
|
|
if n/2*2 == n:
|
|
|
|
b = power(a, n/2)
|
|
|
|
return times(b, b)
|
|
|
|
return times(power(a, n-1), a)
|
1990-10-13 16:23:40 -03:00
|
|
|
|
|
|
|
def der(a): # First derivative
|
2004-07-18 03:16:08 -03:00
|
|
|
res = a[1:]
|
|
|
|
for i in range(len(res)):
|
|
|
|
res[i] = res[i] * (i+1)
|
|
|
|
return res
|
1990-10-13 16:23:40 -03:00
|
|
|
|
|
|
|
# Computing a primitive function would require rational arithmetic...
|