A polynomial question
"Alasdair McAndrew" <[email protected]>
| Newsgroups | gmane.comp.mathematics.axiom.user |
|---|---|
| Message-ID | <[email protected]> |
I was doing some algebra relating to a proof by induction, and I had a polynomial containing terms of the form k(b+1)^(k-1)*x where b is a constant. I wanted to multiply through by x(b+1) or similar. How to I tell Axiom that b is a constant, k is a positive integer, and x is the polynomial's variable? I tried setting the type to UP(x,POLY INT), but I just got Expression Integer instead. This didn't help, as I wanted to perform a monicDivide (w.r.t. x) later on. Thanks, Alasdair _______________________________________________ Axiom-mail mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-mail