Post new topic Reply to topic  [ 2 posts ] 
Author Message
 Post subject: p_IsUnit and p_Invers
PostPosted: Wed Mar 08, 2017 9:13 pm 
I am using singular via its integration in Sage. Both p_IsUnit and p_Invers are called by Sage for multivariate polynomials over rings like the integers or the integers mod n. In the case of integers mod n, where n is composite, p_IsUnit does not give the expected result. As a polynomial over the integers mod 4, for example, 1+2*x is a unit (it is in fact self-inverse), but p_Unit reports that it is not. (A polynomial like this is a unit iff the constant term is a unit in the base ring, and all other coefficients are nilpotent.)

p_Invers, the way it is called by Sage, never seems to give the correct result in these cases, and looking at the code gives me some doubt that it is meant to. However, I could not find the documentation describing exactly what it is meant to do.

Are these functions are meant to work in rings that are not integral domains?

Report this post
Reply with quote  
 Post subject: Re: p_IsUnit and p_Invers
PostPosted: Thu Mar 09, 2017 5:06 pm 

Joined: Wed May 25, 2005 4:16 pm
Posts: 177
p_Invers: is only a helper routine for the 3-argument forms of jet
(see ... ng_265.htm).
It should not be used otherwise: is a static routine in newer releases
Furthermore, the coefficients must be from a field.

p_IsUnit: is currently only used to simplify ideals,
and currently defined as: p is a constant polynomial and the constant is a unit.
I will try to extend that.....but it is of low priority.

Report this post
Reply with quote  
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 2 posts ] 

You can post new topics in this forum
You can reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

It is currently Sat Oct 21, 2017 7:37 pm
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group