# Singular

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

 Smilies
 Font size: Tiny Small Normal Large Huge Font colour [quote="mickael"]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? Mickaël[/quote]
Options:
 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
 levandov
 Post subject: Re: exact division of multivariate polynomial
 Hi,there's a functiondivision()which does division with rest. Googling through Manualor 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 NF(p,q); it gives 0 iff p = a*q for some a.Cheers Hi,there's a functiondivision()which does division with rest. Googling through Manualor 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 NF(p,q); it gives 0 iff p = a*q for some a.Cheers
 Posted: Thu Oct 01, 2015 4:23 pm
 mickael
 Post subject: exact division of multivariate polynomial
 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?Mickaël 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?Mickaël
 Posted: Mon Nov 24, 2014 3:42 pm

 It is currently Tue Aug 14, 2018 3:52 pm