Post a reply
Note:If not registered, provide any username. For more comfort, register here.
Message body:
Enter your message here, it may contain no more than 60000 characters. 

:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:
Font size:
Font colour
BBCode is ON
[img] is ON
[flash] is OFF
[url] is ON
Smilies are ON
Disable BBCode
Disable smilies
Do not automatically parse URLs
Confirmation of post
To prevent automated posts the board requires you to enter a confirmation code. The code is displayed in the image you should see below. If you are visually impaired or cannot otherwise read this code please contact the %sBoard Administrator%s.
Confirmation code:
Enter the code exactly as it appears. All letters are case insensitive, there is no zero.

Topic review - exact division of multivariate polynomial
Author Message
  Post subject:  Re: exact division of multivariate polynomial  Reply with quote

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.
Post Posted: Thu Oct 01, 2015 4:23 pm
  Post subject:  exact division of multivariate polynomial  Reply with quote
Hi all,

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 :
int degre=4;
ring r=integer,(x,y,z,t),lp;
poly s1=(1+x+y+z+t)^5;
poly s2=s1+1;
poly p=s2*s1;
poly q=p/s2;

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 :
ring r=0,(x,y,z,t),lp;

Does it exist a function for exact division?

Post Posted: Mon Nov 24, 2014 3:42 pm

It is currently Tue Dec 12, 2017 4:08 pm
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group