|exact division of multivariate polynomial
|Page 1 of 1|
|Author:||mickael [ Mon Nov 24, 2014 3:42 pm ]|
|Post subject:||exact division of multivariate polynomial|
I have two multivariate polynomials A and B over the integer ring.
I know that B divides exactly A. I need to perform this division using the monomial ordering that I choose.
I can't find in the documentation any exact division function.
The following code does not work :
I obtain the following message.
? division over a coefficient domain only implemented for terms
? error occurred in or before STDIN line 6: `poly q=p/s2;`
If I replace r by the following definition, it works :
Does it exist a function for exact division?
|Author:||levandov [ Thu Oct 01, 2015 4:23 pm ]|
|Post subject:||Re: exact division of multivariate polynomial|
there's a function
which does division with rest. Googling through Manual
or checking the index of the Manual is a good idea to try.
If you want to know that q divides p exactly,
this could be checked via
it gives 0 iff p = a*q for some a.
|Page 1 of 1||All times are UTC + 1 hour [ DST ]|
|Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group