Hi -

How c=
an I code an assumption in axiom?

In my case, I'm analyzin=
g a polynomial differential equation.=C2=A0 I want to compute the order of =
a polynomial at a factor, which is the power of the factor that appears in =
the polynomial.

For example, consider D(f,x), where f is some =
unspecified polynomial.=C2=A0 I want to write a function "ord" an=
d compute ord(D(f,x), ifac), where ifac is some unspecified irreducible fac=
tor.=C2=A0 I can't do this calculation with the information given.=C2=
=A0 However, if I assert that ord(f, ifac) > 0, then ord(D(f,x), ifac) =
=3D ord(f, ifac) - 1.

In other words, differentiation causes t=
he order of an irreducible factor to drop by one, but only if the factor wa=
s actually present in the original polynomial.